Today's software for aerospace systems typically is very complex. This is due to the increasing number of features as well as the high demand for safety, reliability, and quality. This complexity also leads to significant higher software development costs. To handle the software complexity, a structured development process is necessary. Additionally, compliance with relevant standards for quality assurance is a mandatory concern. To assure high software quality, techniques for verification are necessary. Besides traditional techniques like testing, automated verification techniques like model checking become more popular. The latter examine the whole state space and, consequently, result in a full test coverage. Nevertheless, despite the obvious advantages, this technique is rarely yet used for the development of aerospace systems.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    A methodology for model-based development and automated verification of software for aerospace systems


    Contributors:


    Publication date :

    2013-03-01


    Size :

    2977210 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Adopting Model-Based Software Design and Verification for Aerospace Systems

    Jha, Ashutosh Kumar / Choudhary, Prakash | SAE Technical Papers | 2017


    Adopting Model-Based Software Design and Verification for Aerospace Systems

    Jha, Ashutosh Kumar / Choudhary, Prakash | British Library Conference Proceedings | 2017




    Software Development Process Model for Aerospace Systems

    Plant, R. / Tsoumpas, P. / AIAA | British Library Conference Proceedings | 1993