The time and cost associated with the development and certification of flight-critical software bled air vehicles. This upward trend is expected to continue as future vehicles will be increasingly autonomous and intelligent. Affordable, efficient processes and tools are needed to control development costs and schedule, as well as to ensure the safety of these vehicles. This paper presents the results of a U. S. Air Force Research Laboratory (AFRL) sponsored project on the development of validation and verification (V&V) technologies for flight-critical software. The purpose of the project is to improve the affordability and safety for software V& V, specifically, for adaptive and/or mixed-criticality software. Adaptive software introduces uncertainties; mixed-criticality refers to the information passed between flight critical and mission critical software partitions, hence affecting in-flight adaptation (or control reconfiguration). The methodology developed in this project strongly suggests that an integrated, model-based approach be used in the V&V of adaptive software. In this approach, the same physical model is used for design, implementation, and testing, while emphasis has been placed on checking the uncertainty and the accuracy of the models, which often are implemented in flight control and health management software. In the paper, we use a scenario to illustrate the capabilities of the proposed V& V methodology. The scenario describes an unmanned air vehicle (UAV) executing an autonomous aerial refueling mission. have been escalating at an alarming rate for modern, software-ena


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Model-based Approach to Validation and Verification of Flight Critical Software


    Beteiligte:
    Jaw, Link C. (Autor:in) / Van, H. T. (Autor:in) / Homan, David (Autor:in) / Crum, Vince (Autor:in) / Chou, Wendy (Autor:in) / Keller, Kirby (Autor:in) / Swearingen, Kevin (Autor:in) / Smith, Timothy (Autor:in)


    Erscheinungsdatum :

    01.03.2008


    Format / Umfang :

    2446541 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Model-based independent verification and validation for dependable flight software

    Kohtake, N. / Katoh, A. / Ishihama, N. et al. | Tema Archiv | 2009


    Model-based independent verification and validation for dependable flight software

    Naohiko Kohtake, / Atsushi Katoh, / Naoki Ishihama, et al. | IEEE | 2009


    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005