Diagnosing Complex Systems with Software-Extended Behavior using Constraint Optimization

Model-based diagnosis has traditionally operated on hardware systems. However, in most complex systems today, hardware is augmented with software functions that inuence the system’s behavior. In this paper hardware models are extended to include the behavior of associated embedded software, resulting in more comprehensive diagnoses. Capturing the behavior of software is much more complex than that of hardware due to the potentially enormous state space of a program. This complexity is addressed by using probabilistic, hierarchical, constraint-based automata (PHCA) that allow the uniform and compact encoding of both hardware and software behavior. We introduce a novel approach that frames PHCA-based diagnosis as a soft constraint optimization problem over a nite time horizon. The problem is solved using efcient, decomposition-based optimization techniques. The solutions correspond to the most likely evolutions of the software-extended system.

[1]  Rina Dechter,et al.  Constraint Processing , 1995, Lecture Notes in Computer Science.

[2]  Peter Struss,et al.  The Consistency-based Approach to Automated Diagnosis of Devices , 1996, KR 1996.

[3]  P. Pandurang Nayak,et al.  Back to the Future for Consistency-Based Trajectory Tracking , 2000, AAAI/IAAI.

[4]  Georg Gottlob,et al.  A Comparison of Structural CSP Decomposition Methods , 1999, IJCAI.

[5]  Nils J. Nilsson,et al.  Artificial Intelligence , 1974, IFIP Congress.

[6]  Thomas Schiex,et al.  Valued Constraint Satisfaction Problems: Hard and Easy Problems , 1995, IJCAI.

[7]  Brian C. Williams,et al.  Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior , 2001, IJCAI.

[8]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[9]  W. Mayer,et al.  Approximate Modeling for Debugging of Program Loops , 2004 .

[10]  Gérard Berry,et al.  The Esterel Synchronous Programming Language: Design, Semantics, Implementation , 1992, Sci. Comput. Program..

[11]  R. Dechter,et al.  Unifying Cluster-Tree Decompositions for Automated Reasoning , 2003 .

[12]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[13]  Irene Grosclaude.  Model-based monitoring of component-based software systems , 2004 .

[14]  Brian C. Williams,et al.  Diagnosis as Semiring-Based Constraint Optimization , 2004, ECAI.

[15]  Daniele Theseider Dupré,et al.  Model-Based Diagnosis Meets Error Diagnosis in Logic Programs , 1993, IJCAI.