Skip to Main content Skip to Navigation
Journal articles

Reliability analysis of discrete event dynamic systems with Petri nets

Abstract : 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.
Document type :
Journal articles
Complete list of metadatas

https://hal-supelec.archives-ouvertes.fr/hal-00446444
Contributor : Myriam Andrieux <>
Submitted on : Tuesday, January 12, 2010 - 4:23:40 PM
Last modification on : Monday, October 5, 2020 - 9:50:13 AM

Identifiers

  • HAL Id : hal-00446444, version 1

Citation

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

Share

Metrics

Record views

305