Wolfram Library Archive

All Collections Articles Books Conference Proceedings
Courseware Demos MathSource Technical Notes
Title Downloads

Dependability modelling and analysis with continuous time Markov chains

Bjarne E. Helvik
Organization: The Norwegian University of Science and Technology
Department: Centre for Quantifiable Quality of Service in Communication Systems
Revision date


The package evaluates dependability models based on continuous time discrete state Markov chains, i.e. so called state-models, with respect to the availability, reliability, MTBF, MUT, MDT, MTTF, and MTFF of the modelled system. The package also includes functionality for assisting the composition of system models from models of subsystems by the use of Krönecker addition, state merging, etc. A function which plots annotated state diagrams is also included.

An accompanying notebook demonstrates the use of the package.

*Applied Mathematics > Computer Science
*Mathematics > Probability and Statistics

Dependability, availability, reliability, MTBF, MUT, MDT, MTTF, MTFF, Markov, modelling, CTMC
Downloads Download Wolfram CDF Player

StateDiagrams.m (16.4 KB) - Mathematica Package
StateDiagrams.nb (215.3 KB) - Mathematica Notebook