Metric-based approach and tool for modeling the I&C system using Markov chains

Markov’s chains (MC) are well-know and widely applied in dependability and performability analysis of safety-critical systems, because of the flexible representation of system components dependenci...