NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Formal Verification for a Next-Generation Space ShuttleThis paper discusses the verification and validation (V&2) of advanced software used for integrated vehicle health monitoring (IVHM), in the context of NASA's next-generation space shuttle. We survey the current VBCV practice and standards used in selected NASA projects, review applicable formal verification techniques, and discuss their integration info existing development practice and standards. We also describe two verification tools, JMPL2SMV and Livingstone PathFinder, that can be used to thoroughly verify diagnosis applications that use model-based reasoning, such as the Livingstone system.
Document ID
20030018894
Acquisition Source
Ames Research Center
Document Type
Preprint (Draft being sent to journal)
Authors
Nelson, Stacy D. (Nelson Consulting Moffett Field, CA United States)
Pecheur, Charles (Research Inst. for Advanced Computer Science Moffett Field, CA United States)
Koga, Dennis
Date Acquired
September 7, 2013
Publication Date
December 31, 2002
Subject Category
Space Transportation And Safety
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available