A taxonomy of MBSE approaches by languages, tools and methods
P De Saqui-Sannes, RA Vingerhoeds, C Garion… - IEEE …, 2022 - ieeexplore.ieee.org
Systems engineering has gained in maturity over the last decades and started a transition
from document-centric approaches to Model-Based Systems Engineering (MBSE). Several …
from document-centric approaches to Model-Based Systems Engineering (MBSE). Several …
Mbse and mdao for early validation of design decisions: a bibliography survey
JC Chaudemar… - 2021 IEEE International …, 2021 - ieeexplore.ieee.org
Switching from document-centric engineering to Model Based Systems Engineering
(MBSE), Systems Engineering (SE) has significantly evolved in terms of standard practices …
(MBSE), Systems Engineering (SE) has significantly evolved in terms of standard practices …
TwinOps-DevOps meets model-based engineering and digital twins for the engineering of CPS
J Hugues, A Hristosov, JJ Hudak, J Yankel - Proceedings of the 23rd …, 2020 - dl.acm.org
The engineering of Cyber-Physical Systems (CPS) requires a large set of expertise to
capture the system requirements and to derive a correct solution. Model-based Engineering …
capture the system requirements and to derive a correct solution. Model-based Engineering …
Evaluating virtualization for fog monitoring of real-time applications in mixed-criticality systems
Technological advances in embedded systems and the advent of fog computing led to
improved quality of service of applications of cyber-physical systems. In fact, the deployment …
improved quality of service of applications of cyber-physical systems. In fact, the deployment …
Formalization of the AADL run-time services
Abstract The Architecture and Analysis Definition Language (AADL) is an industry standard
modeling language distinguished by its emphasis on strong semantics for modeling real …
modeling language distinguished by its emphasis on strong semantics for modeling real …
A domain-specific language for modeling and analyzing solution spaces for technology roadmapping
The introduction of major innovations in industry requires a collaboration across the whole
value chain. A common way to organize such a collaboration is the use of technology …
value chain. A common way to organize such a collaboration is the use of technology …
Formal verification of AADL models by event-B
ASA Hadad, C Ma, AAO Ahmed - IEEE Access, 2020 - ieeexplore.ieee.org
AADL is widely used to depict the architecture and behavior of real-time safety-critical
systems such as avionics and aerospace. The development of these systems has strict …
systems such as avionics and aerospace. The development of these systems has strict …
C2AADL_Reverse: A model-driven reverse engineering approach to development and verification of safety-critical software
Z Yang, Z Qiu, Y Zhou, Z Huang, JP Bodeveix… - Journal of Systems …, 2021 - Elsevier
The safety-critical system communities have been struggling to manage and maintain their
legacy softwaresystems because upgrading such systems has been a complex challenge …
legacy softwaresystems because upgrading such systems has been a complex challenge …
Performability modeling of safety-critical systems through AADL
Nowadays, computers are used in almost every domain. The dependency on computer
systems increases rapidly. The failure or unavailability of such systems leads to …
systems increases rapidly. The failure or unavailability of such systems leads to …
Automated compositional verification for robotic state machines using Isabelle/HOL
RoboChart is a graphical language for model-based engineering of robotic systems, in the
style of UML and SysML. It contains notations for data structures, system architecture, and …
style of UML and SysML. It contains notations for data structures, system architecture, and …