Reliability analysis of discrete event dynamic systems with Petri nets - AUTomatic control Accéder directement au contenu
Article Dans Une Revue Reliability Engineering and System Safety Année : 2009

Reliability analysis of discrete event dynamic systems with Petri nets

Résumé

The purpose of this paper is to illustrate a method for addressing dynamic reliability of embedded systems using the Petri net model. The approach is based on the search of feared scenarios (which might lead the system to a critical situation) by proving some linear logic sequents that correspond to the ¯ring of a list of transitions of a Petri net. To avoid state space explosion, Petri net reachability is translated into provability of linear logic sequents. The method produces a number of scenarios, which may be redundant. To give relevant information to designers the scenarios must be minimal which means that only necessary events are included in a scenario. The concept of minimality of a scenario is de¯ned and introduced on the ESA-PetriNet tool that we have developed to implement the algorithm for the search of feared scenarios.

Domaines

Automatique
Fichier non déposé

Dates et versions

hal-00446444 , version 1 (12-01-2010)

Identifiants

  • HAL Id : hal-00446444 , version 1

Citer

Nabil Sadou, Hamid Demmou. Reliability analysis of discrete event dynamic systems with Petri nets. Reliability Engineering and System Safety, 2009, Vol.94 (11), pp. 1848-1861. ⟨hal-00446444⟩
123 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More