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

摘要

The contribution first describes the implementation of Continuous-Time Markov Chains (CTMC) in the language Modelica; this enables the simulation by powerful solvers making typical Functional Safety applications numerically more efficient and reliable than with classically used Discrete-Time Markov Chains (DTMC). Secondly, the CTMC are extended to Multi-Phase Markov Chains (CTMCMP) enabling the inclusion of maintenance (restoration) actions as well as online diagnostics, which is finally elaborated to the online prediction of an individual system's safety quantities.