Using Coloured Petri Nets for integrated reliability and safety evaluations
Résumé
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.
Origine : Fichiers produits par l'(les) auteur(s)
Loading...