Title: ESA_Petri net: dynamic reliability analysis tool

Authors: R. Guillerm, H. Demmou, N. Sadou

Addresses: CNRS, LAAS, 7 Avenue du Colonel Roche, F-31077 Toulouse, France; Universite de Toulouse, UPS, INSA, INP, ISAE, LAAS, F-31077, Toulouse, France. ' CNRS, LAAS, 7 Avenue du Colonel Roche, F-31077 Toulouse, France; Universite de Toulouse, UPS, INSA, INP, ISAE, LAAS, F-31077, Toulouse, France. ' Supelec – IETR, Avenue de la Boulaie, BP 81127, F-35511 Cesson-Sevigne Cedex, France

Abstract: This paper presents a new version of critical (feared) scenarios derivation tool ESA PetriNet (extraction scenarios algorithm from Petri net) available from: http://www.laas.fr/ESA. ESA PetriNet allows to derive scenarios leading to critical (feared) situation. In the past version of the tool hybrid aspect (both discrete and continuous dynamic) of system is tacked into account by temporal abstraction. In the version presented in this paper, the system model is given by a hybrid Petri net (differential predicate-transition Petri net) and the hybrid model is directly considered (without temporal abstraction). The algorithm implemented deals with both continuous and discrete dynamics. Furthermore, generated scenarios are minimal (only necessary events). Only necessary information is provided to designer.

Keywords: hybrid systems; dynamic reliability; critical scenarios derivation; Petri nets; reliability analysis; extraction scenarios algorithm; critical situations; feared situations.

DOI: 10.1504/IJAIS.2010.034800

International Journal of Adaptive and Innovative Systems, 2010 Vol.1 No.3/4, pp.201 - 215

Published online: 23 Aug 2010 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article