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 …
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 …
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 …
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 …
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
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 …
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 …
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 …
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 …
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
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 …
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
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 …
performance and achieve sustainable urban development. Urban roads are a crucial …