Early validation and verification of system behaviour in model-based systems engineering: a systematic literature review
J Cederbladh, A Cicchetti, J Suryadevara - ACM Transactions on …, 2024 - dl.acm.org
In the Systems Engineering (SE) domain there has been a paradigm shift from document-
based to model-based system development artefacts; in fact, new methodologies are …
based to model-based system development artefacts; in fact, new methodologies are …
A formal approach for the specification and verification of a trustworthy human resource discovery mechanism in the expert cloud
NJ Navimipour - Expert Systems with Applications, 2015 - Elsevier
Expert Cloud as a new class of Cloud computing systems enables its users to request the
skill, knowledge and expertise of people without any information of their location by …
skill, knowledge and expertise of people without any information of their location by …
Integration of learning-based testing and supervisory control for requirements conformance of black-box reactive systems
A fundamental requirement of the supervisory control theory (SCT) of discrete-event systems
is a finite automaton model of the plant. The requirement does not hold for black-box …
is a finite automaton model of the plant. The requirement does not hold for black-box …
Data aggregation processes: a survey, a taxonomy, and design guidelines
Data aggregation processes are essential constituents for data management in modern
computer systems, such as decision support systems and Internet of Things systems, many …
computer systems, such as decision support systems and Internet of Things systems, many …
Verification and validation of a cyber-physical system in the automotive domain
Software development for Cyber-Physical Systems (CPS), eg, autonomous vehicles,
requires both functional and non-functional quality assurance to guarantee that the CPS …
requires both functional and non-functional quality assurance to guarantee that the CPS …
Analyzing industrial architectural models by simulation and model-checking
R Marinescu, H Kaijser, M Mikučionis… - Formal Techniques for …, 2015 - Springer
The software architecture of any automotive system has to be decided well in advance of
production, so it is very desirable to assess its quality in order to obtain quick indications of …
production, so it is very desirable to assess its quality in order to obtain quick indications of …
An actor-based framework for asynchronous event-based cyber-physical systems
I Jahandideh, F Ghassemi, M Sirjani - Software and Systems Modeling, 2021 - Springer
In cyber-physical systems like automotive systems, there are components like sensors,
actuators, and controllers that communicate asynchronously with each other. The …
actuators, and controllers that communicate asynchronously with each other. The …
A model-based testing framework for automotive embedded systems
R Marinescu, M Saadatmand… - 2014 40th …, 2014 - ieeexplore.ieee.org
Architectural models, such as those described in the east language, represent convenient
abstractions to reason about automotive embedded software systems. To enjoy the fully …
abstractions to reason about automotive embedded software systems. To enjoy the fully …
A formal framework for the safe design of the autonomous driving supervision
R Cuer, L Piétrac, E Niel, S Diallo… - Reliability Engineering & …, 2018 - Elsevier
The autonomous vehicle is meant to drive by itself, without any driver intervention (for the
levels 4 and 5 of automated driving, according to the National Highway Traffic Safety …
levels 4 and 5 of automated driving, according to the National Highway Traffic Safety …
Hybrid rebeca: Modeling and analyzing of cyber-physical systems
I Jahandideh, F Ghassemi, M Sirjani - … , WESE 2018, Turin, Italy, October 4 …, 2019 - Springer
In cyber-physical systems like automotive systems, there are components like sensors,
actuators, and controllers that communicate asynchronously with each other. The …
actuators, and controllers that communicate asynchronously with each other. The …