Backward reachability of Colored Petri Nets for systems diagnosis - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Reliability Engineering and System Safety Année : 2012

Backward reachability of Colored Petri Nets for systems diagnosis

Résumé

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 nature 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 informations applied on the original CPN. The second part is the analysis implementation. This part needs some complementary concepts. Among them, the most important is marking enhancement. The proposed approach is studied under two complementary aspects: algorithmic and theoretic aspects. The first one proposes transformations of 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.
Fichier principal
Vignette du fichier
RESS_v1.pdf (681.65 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01005556 , version 1 (12-06-2014)

Identifiants

Citer

Mohamed Bouali, Pavol Barger, Walter Schon. Backward reachability of Colored Petri Nets for systems diagnosis. Reliability Engineering and System Safety, 2012, 99, pp.1-14. ⟨10.1016/j.ress.2011.10.003⟩. ⟨hal-01005556⟩
86 Consultations
353 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More