Formal Methods, and in particular Model Checking, are seeing an increasing use in the Aerospace domain. In recent years, Formal Methods are now commonly used to verify systems and software and its correctness as a way to augment traditional methods relying on simulation and testing. Recent updates to the relevant Aerospace regulations (e.g. DO178C, DO331 and DO333) now have explicit provisions for utilization of models and formal methods. At the system level, Model Checking has seen more limited uses due to the complexity and abstractions needed. In this paper we propose several methods to increase the capability of applying Model Checking to complex Aerospace Systems. An aircraft electrical power system is used to highlight the methodology. Automated model-based methods such as Cone of Influence and Timer Abstractions are described. Results of those simplifications, in combination with traditional Assume-Guarantee approaches will be shown for the Electric Power System application.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A Methodology for Increasing the Efficiency and Coverage of Model Checking and its Application to Aerospace Systems


    Weitere Titelangaben:

    Sae Int. J. Aerosp


    Beteiligte:
    Ferrari, Alberto (Autor:in) / Sofronis, Christos (Autor:in) / Pinello, Claudio (Autor:in) / Liu, Cong (Autor:in) / Scholte, Eelco (Autor:in) / Mangeruca, Leonardo (Autor:in) / Ferrante, Orlando (Autor:in)

    Kongress:

    SAE 2016 Aerospace Systems and Technology Conference ; 2016


    Erschienen in:

    Erscheinungsdatum :

    2016-09-20


    Format / Umfang :

    11 pages




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch




    A Methodology for Increasing the Efficiency and Coverage of Model Checking and its Application to Aerospace Systems

    Ferrante, Orlando / Scholte, Eelco / Pinello, Claudio et al. | British Library Conference Proceedings | 2016



    Aerospace Payloads Leak Test Methodology

    O. Lvovsky / C. M. Grayson | NTIS | 2010


    A Methodology for Integrated Cost Engineered Systems Within Aerospace

    Curran, Richard / Raghunathan, S. / Price, M. et al. | AIAA | 2004