id: 05867741
dt: a
an: 05867741
au: Pecheur, Charles
ti: Challenges arising from applications.
so: Hinchey, Michael G. (ed.) et al., Formal approaches to agent-based systems.
    Second international workshop, FAABS 2002, Greenbelt, MD, USA, October
    29‒21, 2002. Revised papers. Berlin: Springer (ISBN
    3-540-40665-4/pbk). Lecture Notes in Computer Science 2699, 236-238
    (2003).
py: 2003
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-540-45133-4_20
ab: Summary: 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 .ight quali.cation.
rv: