Felgner, F.; Frey, G.: Multi-Phase Markov Models fpr Functional Safety Prediction. Proceedings of the 3rd International Workshop on Dependable Control of Discrete Systems, Saarbrücken, Germany, June 2011.


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.

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