| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 715288 | IFAC Proceedings Volumes | 2013 | 6 Pages |
Abstract
Integrated Deterministic and Probabilistic Dependability Analysis (IDPDA) is respectively required for safety properties verification 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.
Related Topics
Physical Sciences and Engineering
Engineering
Computational Mechanics
