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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Martin, Lukas (Autor:in) / Schatalov, Maxim (Autor:in) / Hagner, Matthias (Autor:in) / Goltz, Ursula (Autor:in) / Maibaum, Olaf (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    01.03.2013


    Format / Umfang :

    2977210 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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