Two important elements in the avionics suite of modern aircraft are: the flight control system (FCS) and the flight management system (FMS). The FCS provides the capability to stabilize and control the aircraft, while the FMS is responsible for flight planning and navigation. A clear trend in the aerospace industry is to place greater reliance on software systems, and many FCS and FMS subsystems are implemented primarily in software. For example, within the FCS is the flight guidance system (FGS) that generates roll and pitch guidance commands. Similarly, within the FMS is the vertical navigation (VNAV) function that acts like a third crew member in the cockpit, ordering mode change requests and resetting target altitude values to enable the aircraft to track the vertical flight plan. We have developed formal, executable models of the requirements for the mode logic of a FGS and for portions of the VNAV functionality. We have also conducted a comprehensive software safety analysis on the FGS mode logic model, and are completing the analysis of the VNAV model. This analysis uses as its starting point several "traditional" safety analysis techniques such as a functional hazard assessment (FHA), a fault tree analysis (FTA), and a failure mode effects analysis (FMEA). However, we are also using formal methods techniques known as model checking and theorem proving to verify the presence of safety properties in the model. This paper summarizes the (now completed) safety analysis that was performed on the FGS model, and highlights the similarities and differences with the (still on-going) safety analysis of the FMS model. In particular, we summarize progress made to date in the use of formal methods to verify the presence of the required safety properties in the models themselves.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Software intensive systems safety analysis


    Beteiligte:
    Tribble, A.C. (Autor:in) / Miller, S.P. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2004-10-01


    Format / Umfang :

    443541 byte




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Software Intensive Systems Safety Analysis

    Tribble, A.C. | Online Contents | 2004


    Safety analysis of software-intensive motion control systems

    Debouk,R. / Czerny,B. / DAmbrosio,J. et al. | Kraftfahrwesen | 2009


    Safety Analysis of Software-intensive Motion Control Systems

    Czerny, Barbara / Joyce, Jeffrey / D’Ambrosio, Joseph et al. | SAE Technical Papers | 2009


    Safety Assessment of Complex, Software-Intensive Systems

    Leveson, N.G. / Fleming, C.H. / Spencer, M. et al. | British Library Conference Proceedings | 2012


    Safety Assessment of Complex, Software-Intensive Systems

    Wilkinson, Chris / Fleming, Cody Harrison / Thomas, John et al. | SAE Technical Papers | 2012