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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Integrating Safety into MBSE Processes with Formal Methods


    Beteiligte:


    Erscheinungsdatum :

    03.10.2021


    Format / Umfang :

    2797140 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    The FoReVer Methodology: A MBSE Framework for Formal Verification

    Baracchi, L. / Mazzini, S. / Cimatti, A. et al. | British Library Conference Proceedings | 2013


    (MBSE)2: Using MBSE to Architect, Implement, and Operate the MBSE System

    Noguchi, Ryan A. / Martin, James / Wheaton, Marilee J. | AIAA | 2020


    Integrating MBSE into Ongoing Projects: Requirements Validation and Test Planning for the ISS SAFER

    Williams, Antony G. / Anderson, Herbert A. / Pierce, Gregory J. | AIAA | 2016


    Bringing Manufacturing into the MDO domain using MBSE

    van der Laan, Ton / Bruggeman, Anne-Liza / van Manen, Bas et al. | AIAA | 2022