Track 2 Session 2

10:30 to 11:30 a.m. Wednesday March 28, 2012

Automated Graphical Markov Modeling (AGraMM)

The dependability analysis of a technical system means not only qualitative (e.g., FMEA) but also quantitative analysis. The most accurate and at the same time the most complex method to perform numerical dependability evaluation is the Markov method. This session gives an overview of the typical problems with the Markov method in terms of practical usage and how to deal with them in order to make the method applicable for the real tasks of dependability engineering.

Key Words: Markov-Method

Alexei Konnov