Survey of smart parking systems

MG Diaz Ogás, R Fabregat, S Aciar - Applied Sciences, 2020 - mdpi.com
The large number of vehicles constantly seeking access to congested areas in cities means
that finding a public parking place is often difficult and causes problems for drivers and …

Model-based system engineering of the Internet of Things: A bibliometric literature analysis

E Ahmad - IEEE Access, 2023 - ieeexplore.ieee.org
Model-based System Engineering (MBSE) of the Internet of Things (IoT) literature is broad,
and analysis of this literature enables the identification of themes and potential future study …

Towards an understanding of reliability of software-intensive systems-of-systems

FHC Ferreira, EY Nakagawa, RP dos Santos - Information and Software …, 2023 - Elsevier
Context: Large-scale software-intensive Systems-of-Systems (SoS) have become present in
several critical domains and have sometimes depended on diverse trending technologies …

Reliability in software-intensive systems: challenges, solutions, and future perspectives

FH Ferreira, EY Nakagawa… - 2021 47th Euromicro …, 2021 - ieeexplore.ieee.org
Large software-intensive systems have emerged in several application domains, such as
healthcare, transportation, smart environments, and Industry 4.0. Sometimes referred to as …

Methodological proposals for the development of services in a smart city: A literature review

J Serey, L Quezada, M Alfaro, G Fuertes, R Ternero… - Sustainability, 2020 - mdpi.com
This literature review analyzes and classifies methodological contributions that answer the
different challenges faced by smart cities. This study identifies city services that require the …

Identification of the unique attributes and topics within Smart Things Open Innovation Communities

M Olmedilla, H Send, SL Toral - Technological Forecasting and Social …, 2019 - Elsevier
One of the main challenges of open innovation communities is how to create value from
shared content either by selecting those ideas that are worthy of pursuit and implementation …

Smart city architecture development methodology (SCADM): A Meta-analysis using SOA-EA and SoS approach

YA Prasetyo, M Lubis - Sage Open, 2020 - journals.sagepub.com
Architecture and methodology development for smart city are still being carried out together
in clarifying the scope of smart city. This is because the application of Enterprise Architecture …

Edge-based runtime verification for the Internet of Things

C Tsigkanos, MM Bersani… - IEEE Transactions …, 2021 - ieeexplore.ieee.org
Complex distributed systems such as the ones induced by Internet of Things (IoT)
deployments, are expected to operate in compliance to their requirements. This can be …

On the Usability of a Modeling Language for IoT-Based Public Transportation Systems

S Arslan, G Kardas, H Alfraihi - Applied Sciences, 2024 - mdpi.com
Internet of Things (IoT)-based public transportation systems face distinct challenges within
the broader realm of IoT. Developers of such systems encounter a notably intricate …

Combining SysML and Timed Coloured Petri Nets for Designing Smart City Applications

LS Souza, MS Soares - Journal of Universal Computer …, 2023 - search.proquest.com
A smart city is an urban centre that integrates a variety of solutions to improve infrastructure
performance and achieve sustainable urban development. Urban roads are a crucial …