Multi-Phase Markov models for functional safety prediction: Efficient simulation of Markov models used for safety engineering and the online integration of individual systems' diagnostic and maintenance history

2011 3rd International Workshop on Dependable Control of Discrete Systems, DCDS'11 - Conference Proceedings

Volumn , Issue , 2011, Pages 133-140

  Felgner, Felix ^a   Frey, Georg ^a  

^a SAARLAND UNIVERSITY   (Germany)

Author keywords

Continuous Time Markov Chains; CTMC; diagnostics and maintenance; efficient simulation; Functional Safety prediction; hybrid; Modelica; Multi Phase Markov Chains

Indexed keywords

CONTINUOUS TIME MARKOV CHAIN; CTMC; EFFICIENT SIMULATION; FUNCTIONAL SAFETY; HYBRID; MARKOV CHAIN; MODELICA;

COMPUTER SIMULATION; COMPUTER SIMULATION LANGUAGES; CONTINUOUS TIME SYSTEMS; FORECASTING; MAINTENANCE; MODELS; ONLINE SYSTEMS; SAFETY ENGINEERING;

MARKOV PROCESSES;

EID: 80052108791     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DCDS.2011.5970331     Document Type: Conference Paper

References (16)

1. J. Börscök, "Functional Safety: Basic Principles of Safety-relaged Systems," Hüthig, Heidelberg, 2007.
2. D. Düpont, "Merging Top-down and Bottom-up Availability for Realistic Analysis of Safety-related Loops," Shaker, Aachen, 2010.
3. T. Gabriel, L. Litz, B. Schrörs, "A formal approach to derive configurable Markov models for arbitrarily structures safety loops," Proc. of the 9th International Conference on Probabilistic Safety Assessment and Management (PSAM9), Hong Kong (China), 2008.
4. M. Hauke et al., "Functional safety of machine controls-Application of EN ISO 13849," BGIA Report 2/2008e of the German Social Accident Insurance (DGUV), Berlin, 2009.
5. K. E. Brenan, S. L. Campbell, L. R. Petzold, "Numerical Solution of Initial-Value Problems in Differential-Algebraic Equations," Elsevier Science Publishing Co., Inc., New York, 1989.
6. K. Radhakrishnan, A. C. Hindmarsh, "Description and Use of LSODE, the Livermore Solver for Ordinary Differential Equations," Lawrence Livermore Laboratory Report UCRL-ID-113855, Livermore, 1993.
7. P. Fritzson, "Principles of object-oriented modeling and simulation with Modelica 2.1," Wiley-IEEE Press, 2003.
8. M. Tiller, "Introduction to physical modeling with Modelcia," Kluwer Academic Publishers, 2001.
9. F. Felgner, G. Frey, "Effiziente Modellierung zeitkontinuierlicher Markov-Modelle in Modelica," Proc. of Entwurf komplexer Automatisierungssysteme (EKA 2010), pp. 245-254, Magdeburg, 2010.
10. EN 61511, parts 1 - 3: "Functional safety - Safety instrumented systems for the process industry sector," 2003.
11. ICE 61508, part 7: "Functional safety of electrical / electronic / programmable electronic safety-related systems," 2008.
12. EN ISO 13849, part 1: "Safety of machinery-Safety-related parts of control systems," 2006.
13. IEC 62061: "Safety of machinery-Functional safety of safety-related electrical, electronic and programmable electronic control systems," 2005.
14. G. Becker, L. Camarinopoulos, W. Ohlmeyer, "Discontinuities in homogeneous markov processes and their use in modelling technical systems under inspections," Microlectronics Reliability, 34(5) 1994, pp. 771-788. (Pubitemid 124015551)
15. J. Bukowski, "Modeling and analysing the effects of periodic inspection on the performance of safety-critical systems," IEEE Transactions on Reliability, 50(3) 2001, pp. 321-329. (Pubitemid 34099648)
16. Y. Langeron, A. Barros, A. Grall, C. Bérenguer, "Combination of safety integrity levels (SILs): A study of IEC 61508 merging rules," Journal of Loss Prevention in the Process Industries 21 (2008), pp. 437-449.