Abstract
The Application: Health Maintenance for a Next-Gen Space Shuttle NASA is investigating automated and integrated technologies for monitoring the health of future space shuttles and their ground support equipment. This application .eld, known as Integrated Vehicle Health Management (IVHM), is being developed in by the aerospace industry under the auspices of NASA’s Space Launch Initiative (SLI) program. The proposed IVHM system includes advanced software technologies such as model-based diagnosis using NASA’s Livingstone system. This holds the promise of automating the diagnosis across a number of subsystem components and possible scenarios that is not tractable for more conventional diagnosis techniques. On the .ip side, however, it also raises multiple technical challenges, both related to the diagnosis techniques themselves and to their veri.cation and validation (V&V) for fight qualification.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Pecheur, C. (2003). Challenges Arising from Applications. In: Hinchey, M.G., Rash, J.L., Truszkowski, W.F., Rouff, C., Gordon-Spears, D. (eds) Formal Approaches to Agent-Based Systems. FAABS 2002. Lecture Notes in Computer Science(), vol 2699. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45133-4_20
Download citation
DOI: https://doi.org/10.1007/978-3-540-45133-4_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40665-5
Online ISBN: 978-3-540-45133-4
eBook Packages: Springer Book Archive