As the space applications become more complex and timing constraints on control actions are more stringent, the task of integrating and testing NASA's real-time systems (such as X-38 Crew Return Vehicle, and certain International Space Station autonomous systems) has become a great challenge. A testing environment where can preserve consistent temporal behaviors as in the target execution must be established for system-level verification and software quality assurance. Our goal is to develop an analysis suite for validation and verification of real-time systems that are used to perform human- in-the-loop control operations during safety-critical missions. The suite will be able to carry out quantitative approaches of coverage diagnostic and temporal behavior evaluation in order to measure test coverage, to optimize test utilization, and to verify timing correctness.
Real-Time Embedded Software Verification and Validation 2001
2002-01-01
Sonstige
Keine Angabe
Englisch
An Advanced System for the Verification and Validation of Real-Time Avionics Software
British Library Conference Proceedings | 1992
|Validation of real-time, distributed software
AIAA | 1989
|CONFERENCES - ERTS 2008 Embedded Real Time Software
Online Contents | 2008
Program verification and embedded aerospace software
AIAA | 1981
|