Reliability analysis of discrete event dynamic systems with Petri nets

• Published in: Reliability engineering & system safety 2009-11, Vol.94 (11), p.1848-1861
• Main Authors: Sadou, Nabil, Demmou, Hamid
• Format: Article
• Language: English
• Subjects: Applied sciences; Automatic Control Engineering; Computer Science; Embedded systems; Exact sciences and technology; Feared scenarios; Fracture mechanics (crack, fatigue, damage...); Fundamental areas of phenomenology (including applications); Linear logic; Mechanical engineering. Machine design; Minimality; Operational research and scientific management; Operational research. Management science; Petri net; Physics; Reliability analysis; Reliability theory. Replacement problems; Solid mechanics; Structural and continuum mechanics
• ISSN: 0951-8320; 1879-0836
• DOI: 10.1016/j.ress.2009.06.006

This paper deals with dynamic reliability of embedded systems. It presents a method for deriving feared scenarios (which might lead the system to a critical situation) in Petri nets. A classical way to obtain scenarios in Petri nets is to generate the reachability graph. However, for complex systems, it leads to the state space explosion. To avoid this problem, in our approach, Petri net reachability is translated into provability of linear logic sequents. Linear logic bases are introduced and used to formally define scenarios and minimality of scenarios. These definitions allow the method to produce only pertinent scenarios. The steps of the method are described and illustrated through a landing-gear system example.