Skip to Main content Skip to Navigation
Theses

Contributions à l'analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec l'accessibilité arrière

Abstract : Embedded system 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 study is based on Colored Petri Net (CPN). Among the CPN models interests : expressivity, formal nature. Also, they express easily the double nature of the studied systems : static and dynamic. The main challenge of this thesis is to use existing models, which describe the system structure and/or behavior, to extract dependability information in a most general use and failure diagnosis information in a special use. The proposed approach is a CPN structural backward reachability analysis. It can be split in two parts. The first is the tool to perform the proposed analysis. This tool is the inverse CPN. It is obtained thanks to structural transformation applied on an original CPN. The second part is the analysis implementation. This part needs some complementary concepts whose the most important is the marking enhancement. The proposed approach is studied under two complementary aspects: algorithmic aspect and theoretic aspect. 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 different methods: linear algebra and linear logic.
Document type :
Theses
Complete list of metadatas

Cited literature [103 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00447700
Contributor : Mohamed Bouali <>
Submitted on : Friday, January 15, 2010 - 4:11:44 PM
Last modification on : Friday, October 23, 2020 - 4:40:55 PM
Long-term archiving on: : Thursday, June 17, 2010 - 10:50:49 PM

Identifiers

  • HAL Id : tel-00447700, version 1

Collections

Citation

Mohamed Bouali. Contributions à l'analyse formelle et au diagnostic à partir de réseaux de Petri colorés avec l'accessibilité arrière. Informatique [cs]. Université de Technologie de Compiègne, 2009. Français. ⟨tel-00447700⟩

Share

Metrics

Record views

543

Files downloads

1391