Emerging segments such as Urban Air Mobility require new safety-critical avionic systems. The complexity of these avionic systems has ever been increasing, but even more rapidly in the last two decades in form of the number of components, functions, and interactions. At the same time, demanding time-to-market requirements have to be adhered to by development companies. To cope with these challenges, agile development approaches are required that guarantee safety-by-construction. This paper presents an endeavor to tackle these challenges by holistic utilization of Model-based Systems Engineering, System-Theoretic Process Analysis, and formal methods. The approach is demonstrated in a use-case that analyzes a simplified Collision Avoidance System architecture. Results show that the presented approach is able to improve the development by automating and validating error-prone tasks of the safety assessment.
Integrating Safety into MBSE Processes with Formal Methods
03.10.2021
2797140 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
The FoReVer Methodology: A MBSE Framework for Formal Verification
British Library Conference Proceedings | 2013
|Bringing Manufacturing into the MDO domain using MBSE
AIAA | 2022
|