Using Coloured Petri Nets for integrated reliability and safety evaluations

Bruno Pinna (1) , Génia Babykina (1) , Nicolae Brinzei (1) , Jean-François Pétin (1)

1 CRAN - Centre de Recherche en Automatique de Nancy

Integrated Deterministic and Probabilistic Dependability Analysis (IDPDA) is respectively required for safety properties veri cation and reliability & availability assessment of critical systems. This paper presents an approach towards IDPDA using Coloured Petri Nets (CPN). Contributions are related to: (a) hierarchical modelling guidelines that cover deterministic and probabilistic features of a physical system under control, (b) coupling Monte-Carlo simulation with CPN model checking that requires a previous determinisation of the CPN stochastic model. Our approach is illustrated using a toy case study.

Mots clés: reliability and availability probabilistic assessment; safety deterministic verification; Coloured Petri Nets; stochastic modelling; determinisation

Domaines: Automatique / Robotique; Performance et fiabilité [cs.PF]

Bruno Pinna, Génia Babykina, Nicolae Brinzei, Jean-François Pétin. Using Coloured Petri Nets for integrated reliability and safety evaluations. 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS'13, Sep 2013, York, United Kingdom. pp.19-24, ⟨10.3182/20130904-3-UK-4041.00016⟩. ⟨hal-00872417⟩