|
Using Auto-Generated Diagnostic Trees To Support Verification of Safety-Critical Test Procedures
|
|
Point of Contact
|
Ann Patterson-Hine
apatterson-hine@mail.arc.nasa.gov
|
|
Dates
|
October 2008 - December 2012
|
|
Problem
|
Prior to launch a complex set of ground launch procedures must be executed to verify that all launch commit criteria have been met. Development, inspection and execution of these test procedures are currently labor-intensive and critically dependent on human expertise. They generate thousands of pages of documentation and many opportunities for human error. The research problem is that verification of these test procedures is exceedingly labor-intensive.
We propose to use automatically generated trouble-shooting trees to provide an independent perspective and reduce the manual effort involved in verifying the completeness and consistency of the ground launch test procedures. The diagnostic trees will be auto-generated from existing TEAMS models for Ares I, thus making this new technology easy to adopt. This proposal seeks to provide an automated technique for additional assurance that safety-critical Ares launch criteria are met. This technique to improve verification of launch test procedures will also be generally applicable to future NASA missions.
|
|
Objective
|
The goal is to provide automated techniques to improve verification of safety-critical launch test procedures.
|
|
Results
|
SAS 2009 Executive Presentation.ppt 
|
|
Keywords
|
Diagnostic trees, verification, safety-critical, autonomy, fault/failure tolerance, launch test procedures, test coverage metrics
|
|
Categories
|
Test Analysis
|
|
