Title :
Finding system-level failures in flight-critical software systems
Author :
Misty, D. ; Limes, Greg
Author_Institution :
Davies Research Computer Engineer NASA Ames Research Center
Abstract :
Goals: •To explain how the NASA Ames RSE technical area´s testing tools differ from standard testing. •To describe the preliminary application to a conflict detection & resolution algorithm •To illuminate future research directions
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2011 IEEE/AIAA 30th
Conference_Location :
Seattle, WA, USA
Print_ISBN :
978-1-61284-797-9
DOI :
10.1109/DASC.2011.6096283
