Model-based monitoring and diagnosis of systems with software-extended behavior

Model-based diagnosis of devices has largely operated on hardware systems. However, in most complex systems today, such as aerospace vehicles, automobiles and medical devices, hardware is augmented with software functions that influence the system's behavior. As these sophisticated systems are required to perform increasingly ambitious tasks. there is a growing need to ensure their robustness and safety. Prior work introduced probabilistic, hierarchical, constraint automata (PHCA), to allow compact encoding of both hardware and software behavior. The contribution of this thesis is a capability for monitoring and diagnosing software-extended systems in the presence of delayed symptoms, based on the expressive PHCA modeling formalism. Hardware models are extended to include the behavior of associated embedded software, resulting in more comprehensive diagnoses. This work introduces a novel approach that frames diagnosis over a finite time horizon as a soft constraint optimization problem (COP), which is then decomposed into independent subproblems using tree decomposition techniques. There are two advantages to this approach. First, the approach enables finite-horizon diagnosis in the presence of delayed symptoms. Second, the soft COP formulation provides convenient expressivity for encoding the PHCA models and their execution semantics, and enables the use of decomposition-based, efficient optimal constraint solvers. The solutions to the COP correspond to the most likely state trajectories of the software- extended system.

Department dc:contributor.department

Massachusetts Institute of Technology. Dept. of Aeronautics and Astronautics.

Grantor dc:publisher

Massachusetts Institute of Technology

Year dc:date.issued

2005

Author dc:creator

• Mikaelian, Tsoline

Advisor dc:contributor.advisor

• Brian C. Williams.

• Aeronautics and Astronautics.

Statement dc:rights

• M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission.

Licence dc:rights.uri

• http://dspace.mit.edu/handle/1721.1/7582

Language dc:language.iso

eng

Handle dc:identifier.uri

http://hdl.handle.net/1721.1/32445

OAI identifier oai:identifier

oai:dspace.mit.edu:1721.1/32445