论文信息 - Fault Isolation using Process Algebra Models

Fault Isolation using Process Algebra Models

We investigate the problem of doing post mortem fault isolation for concurrent systems using a behavioral model. The aim is to isolate the action that has caused the failure of the system, the root ...

Inger Klein | Ulf Nilsson | Dan Lawesson

[1] Konstantinos Sagonas,et al. Xsb as an Eecient Deductive Database Engine , 1994 .

[2] Raymond Reiter,et al. A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[3] Konstantinos Sagonas,et al. XSB as an efficient deductive database engine , 1994, SIGMOD '94.

[4] Inger Klein,et al. Model-Checking Based Fault Isolation in UML , 2001 .

[5] Stephan Merz,et al. Model Checking , 2000 .

[6] Luca Console,et al. Diagnosis and Diagnosability Analysis Using PEPA , 2000, ECAI.

[7] Ivan P Paltor. The Semantics of UML State Machines , 1999 .

[8] Inger Klein,et al. Fault Isolation in Object Oriented Control Systems , 2000 .

[9] Luca Console,et al. Readings in Model-Based Diagnosis , 1992 .

[10] Magnus Larsson,et al. Behavioral and Structural Model Based Approaches to Discrete Diagnosis , 1999 .

[11] Y. Pencole,et al. Incremental decentralized diagnosis approach for the supervision of a telecommunication network , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[12] Dan Lawesson. Towards Behavioral Model Fault Isolation for Object Oriented Control Systems , 2001 .

[13] Robin Milner,et al. Communication and concurrency , 1989, PHI Series in computer science.

[14] Raja Sengupta,et al. Diagnosability of discrete-event systems , 1995, IEEE Trans. Autom. Control..

[15] Alexander Knapp. Semantics of UML State Machines , 1999 .