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.
V&V of flight and mission-critical software
Verifizierung und Validierung von flug- und auftragskritischer Software
IEEE Software ; 6 , 3 ; 39-45
1989
7 Seiten, 10 Quellen
Article (Journal)
English
Flight Software for the LADEE Mission
NTIS | 2015
|Flight Software for the LADEE Mission
NTRS | 2015
|Assuring NASA's Safety and Mission Critical Software
NTRS | 2015
|