Integrating model checking with SysML in complex system safety analysis
H Wang, D Zhong, T Zhao, F Ren - IEEE Access, 2019 - ieeexplore.ieee.org
Modern complex systems are characterized by numerous complex interactions and high
levels of integration of functions, which present new challenges from the viewpoints of …
levels of integration of functions, which present new challenges from the viewpoints of …
A survey on what users think about sysml
TLS Santos, MS Soares - Systems Engineering, 2023 - Wiley Online Library
Abstract Systems Modeling Language (SysML) has been applied in the past years to a
variety of software and systems engineering projects, by hundreds of researchers …
variety of software and systems engineering projects, by hundreds of researchers …
Towards a verification-driven iterative development of software for safety-critical cyber-physical systems
Software systems are complicated, and the scientific and engineering methodologies for
software development are relatively young. Cyber-physical systems are now in every corner …
software development are relatively young. Cyber-physical systems are now in every corner …
[PDF][PDF] Automating Model Transformations for Railway Systems Engineering.
ABSTRACT Model-Based Systems Engineering (MBSE) enables system development and
analysis on a suitable level of abstraction. In the context of railway systems engineering …
analysis on a suitable level of abstraction. In the context of railway systems engineering …
Towards sustainable information infrastructure platform for smart mobility-project overview
Smart mobility systems, which include Intelligent Transportation System (ITS) and smart
energy systems, become more important. There is, however, lack of its platform studies. This …
energy systems, become more important. There is, however, lack of its platform studies. This …
Sysml to nusmv model transformation via object-orientation
G Caltais, F Leitner-Fischer, S Leue… - Cyber Physical Systems …, 2017 - Springer
This paper proposes a transformation of SysML models into the NuSMV input language. The
transformation is performed automatically using SysMV-Ja and relies on a notion of …
transformation is performed automatically using SysMV-Ja and relies on a notion of …
[PDF][PDF] Fault-Tolerant Consistency Management in Model-Driven Engineering
N Weidmann - 2021 - d-nb.info
Abstract Models play an important role in nowadays' software engineering processes,
providing stakeholders with a suitable level of abstraction for specifying software systems …
providing stakeholders with a suitable level of abstraction for specifying software systems …
A qualitative study on SysML based on perceived views from industry professionals
TLS Santos, MS Soares - … Science and Its Applications–ICCSA 2021: 21st …, 2021 - Springer
SysML is a UML profile, proposed more than 15 years ago, as a systems modeling language
supporting specification, design, development, verification and validation of a variety of …
supporting specification, design, development, verification and validation of a variety of …
Toward sustainable smart mobility information infrastructure platform: Project overview
Smart mobility systems, which include Intelligent Transportation Systems (ITS) and smart
energy ones, become more important. There is, however, lack of its platform studies. This …
energy ones, become more important. There is, however, lack of its platform studies. This …
Toward sustainable smart mobility information infrastructure platform-current status
A Fukuda, T Nakanishi, K Hisazumi… - … Informatics (IIAI-AAI), 2018 - ieeexplore.ieee.org
Smart mobility systems, which include Intelligent Transportation Systems (ITS) and smart
energy systems, become more important. There is, however, lack of its platform studies. We …
energy systems, become more important. There is, however, lack of its platform studies. We …