The adoption of model-based development tools is changing the cost-benefit equation for the industrial use of formal methods. The integration of formal methods such as model checking into software development environments makes it possible to fight increasing cost and complexity with automation and rigor. This paper describes how formal analysis tools can be inserted into a model-based development process to decrease costs and increase quality of safety-critical avionics software.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Software model checking for avionics systems


    Beteiligte:
    Cofer, Darren (Autor:in) / Whalen, Michael (Autor:in) / Miller, Steven (Autor:in)


    Erscheinungsdatum :

    01.10.2008


    Format / Umfang :

    422311 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Avionics software support cost model

    Ferens, D.V. | Tema Archiv | 1983




    Avionics software performability

    Tai, A.T. / Hecht, H. / Pitarys, M. | IEEE | 1992


    Software version synchronization for avionics systems

    LEIBHAM TERRENCE R / HANSON MICHAEL J / REITER DAVE | Europäisches Patentamt | 2020

    Freier Zugriff