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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Software model checking for avionics systems


    Contributors:


    Publication date :

    2008-10-01


    Size :

    422311 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Avionics software support cost model

    Ferens, D.V. | Tema Archive | 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 | European Patent Office | 2020

    Free access