The use of software verification and validation to assure the safety of flight control systems is described. The process considered is performed by the system's developers, not by a separate group as is typical, and it examines the software as part of the system, with emphasis on techniques for review, simulation, and integration and system testing. The use of hardware-in-the-loop simulations for dynamic system verification and flight qualification is discussed.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    V&V of flight and mission-critical software


    Additional title:

    Verifizierung und Validierung von flug- und auftragskritischer Software


    Contributors:
    Duke, E.L. (author)

    Published in:

    IEEE Software ; 6 , 3 ; 39-45


    Publication date :

    1989


    Size :

    7 Seiten, 10 Quellen



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English




    Flight Software for the LADEE Mission

    Cannon H. N. | NTIS | 2015


    Flight Software for the LADEE Mission

    Cannon, Howard N. | NTRS | 2015



    Rover Flight Software for the VIPER Mission

    Hans Utz / Lorenzo Fluckiger | NTRS