| Verifying Diagnostic Software |
|
|
| Nov 01 2004 | |
|
advertisement: Livingstone PathFinder (LPF) is a simulation-based computer program for verifying autonomous diagnostic software. LPF is designed especially to be applied to NASA's Livingstone computer program, which implements a qualitative-model-based algorithm that diagnoses faults in a complex automated system (e.g.,an exploratory robot, spacecraft, or aircraft). LPF forms a software test bed containing a Livingstone diagnosis engine, embedded in a simulated operating environment consisting of a simulator of the system to be diagnosed by Livingstone and a driver program that issues commands and faults according to a non-deterministic scenario provided by the user. LPF runs the test bed through all executions allowed by the scenario, checking for various selectable error conditions after each step. All components of the test bed are instrumented, so that execution can be single-stepped both backward and forward. The architecture of LPF is modular and includes generic interfaces to facilitate substitution of alternative versions of its different parts. Altogether, LPF provides a flexible, extensible framework for simulation-based analysis of diagnostic software; these characteristics also render it amenable to application to diagnostic programs other than Livingstone.
This program was written by Tony Lindsey and Charles Pecheur of Ames Research Center. For further information, access the Technical Support Package (TSP) free on-line at www.techbriefs.com/tsp under the Software category. Inquiries concerning rights for the commercial use of this invention should be addressed to the Patent Counsel, Ames Research Center, (650) 604-5104.Refer to ARC-14780-1. This Brief includes a Technical Support Package (TSP).
Verifying Diagostics Software (reference ARC-14780-1) is currently available for download from the TSP library. Login first to download.
|
