Backward reachability of Colored Petri Nets for systems diagnosis

Mohamed Bouali, Pavol Barger and Walter Schon

Reliability Engineering and System Safety, 2012, vol. 99, issue C, 1-14

Abstract: Embedded systems development creates a need of new design, verification and validation technics. Formal methods appear as a very interesting approach for embedded systems analysis, especially for dependability studies. The chosen formalism for this work is based on Colored Petri Net (CPN) for two main reasons: the expressivity and the formal nature. Also, they model easily the static and the dynamic natures of the studied systems. The main challenge of this work is to use existing models, which describe the system structure and/or behavior, to extract the dependability information in a most general case and failure diagnosis information in a particular case. The proposed approach is a CPN structural backward reachability analysis. It can be split into two parts. The first one is to perform the proposed analysis: inverse CPN. It is obtained thanks to structural transformations applied on the original CPN. The second part is the analysis implementation. This part needs some complementary concepts. Among them, the most important is the marking enhancement. The proposed approach is studied under two complementary aspects: algorithmic and theoretic aspects. The first one proposes transformations for the CPN inversion and the analysis implementation. The second aspect (the theoretical one) aims to offer a formal proof for the approach by applying two methods which are linear algebra and Linear Logic.

Keywords: Colored Petri Nets (CPN); Backward reachability; Structural analysis; Dependability; Embedded systems; Diagnosis (search for similar items in EconPapers)
Date: 2012
References: View references in EconPapers View complete reference list from CitEc
Citations: View citations in EconPapers (2)

Downloads: (external link)
http://www.sciencedirect.com/science/article/pii/S095183201100202X
Full text for ScienceDirect subscribers only

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:eee:reensy:v:99:y:2012:i:c:p:1-14

DOI: 10.1016/j.ress.2011.10.003

Access Statistics for this article

Reliability Engineering and System Safety is currently edited by Carlos Guedes Soares

More articles in Reliability Engineering and System Safety from Elsevier
Bibliographic data for series maintained by Catherine Liu ().