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


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


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


    Publication date :

    2008-03-01


    Size :

    2446541 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Model-based independent verification and validation for dependable flight software

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


    Model-based independent verification and validation for dependable flight software

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



    Verification, Validation, and Certification Challenges for Adaptive Flight-Critical Control System Software

    Jacklin, Stephen / Schumann, Johann / Gupta, Pramod et al. | AIAA | 2004