Automatic formal verification of SysML state machine diagrams for vehicular control systems
Vehicular control systems are characterized with numerous complex interactions with a
steady rise of autonomous functions, which makes it more challenging for designers and …
steady rise of autonomous functions, which makes it more challenging for designers and …
Simulation architecture definition for complex systems design: A tooled methodology
For the design of complex systems like in the automotive industry, the use of Model Based
Systems Engineering (MBSE) is being considered as a promising solution in order to …
Systems Engineering (MBSE) is being considered as a promising solution in order to …
Ontology‐Based Search Engine For Simulation Models From Their Related System Function
S Mejdal, O Penas, R Barbedienne… - INCOSE …, 2021 - Wiley Online Library
In a highly competitive industrial environment, reducing development time while maintaining
a low level of risk makes simulation‐based design an effective way to cope with the …
a low level of risk makes simulation‐based design an effective way to cope with the …
Considerations for Cyber-Physical Design Teams Tasked with Engineering Safe and Secure Systems for a Notional Electrified Aircraft Concept
This work uses a systems thinking approach to investigate challenges associated with
designing safe and secure Cyber-Physical Systems (CPS). First, a brief review the CPS …
designing safe and secure Cyber-Physical Systems (CPS). First, a brief review the CPS …
A SysML-centric integration framework for helicopter fuel system development
H Zhao, WK Wu, XM Hu, YQ Guo… - Journal of Physics …, 2023 - iopscience.iop.org
Data and model exchange between SysML (Systems Modeling Language) Modeling tools
and other system development tools is a critical aspect of Model-Based Systems …
and other system development tools is a critical aspect of Model-Based Systems …
Optimized design of embedded energy systems
M Tout - 2020 - theses.hal.science
Decision-making is a difficult and important step in the design process. It aims at guiding
designers in the selection of design solutions between numerous alternatives. A specific …
designers in the selection of design solutions between numerous alternatives. A specific …
Systems Thinking and Model Based Systems Engineering's Utility to Solve Complex Organizational Problems-Cyber-Physical System Design Teams
The Systems Engineering community has embraced Systems Thinking and Model Based
Engineering (MBSE) in system design and development activities to grapple the growing …
Engineering (MBSE) in system design and development activities to grapple the growing …