An Optimized Algorithm for Diagnosability of Component-based Systems - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2010

An Optimized Algorithm for Diagnosability of Component-based Systems


Diagnosability is a crucial system property that determines at design stage how accurate any diagnosis algorithm can be on a partially observable system. The existence of two indistinguishable behaviors, i.e. holding the same observations, with exactly one of them containing the fault violates the diagnosability property. A classical approach for diagnosability verification consists in constructing a finite state machine called twin plant to search for a path representing such indistinguishable behaviors, called a critical path. To avoid the unrealistic hypothesis about the monolithic model of a complex system, recent work constructs local twin plants and then incrementally synchronizes some of them until diagnosability is decided without computing the impractical global twin plant. In this paper, we optimize the distributed approach by abstracting necessary and sufficient diagnosability information from local twin plants to check the existence of critical paths. Thus diagnosability can be analyzed with as small search space as possible. Furthermore, our approach describes how to improve the diagnosis algorithm by using our diagnosability results in a formal way when the system is verified to be diagnosable. Finally, when the system is not diagnosable, the algorithm returns some useful information about its indistinguishable behaviors, which can help in upgrading system diagnosable level.
Fichier principal
Vignette du fichier
wodes2010_paper63.pdf (265.22 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

inria-00540764 , version 1 (29-11-2010)


  • HAL Id : inria-00540764 , version 1


Lina Ye, Philippe Dague. An Optimized Algorithm for Diagnosability of Component-based Systems. 10th International Conference on Discrete Event Systems WODES'10, Aug 2008, Berlin, Germany. ⟨inria-00540764⟩
105 View
174 Download


Gmail Facebook X LinkedIn More