Моделирование доступности системы

В целом, можно выделить 2 больших группы: non-state space model (модель состояний) и state space model (непрерывная модель).
Первая группа призвана описывать зависимость систем (dependability). Но в то же время данный тип модели с трудом описывает совокупное  взаимодействие компонентов системы, элементы с различной производительностью. Также трудности могут возникнуть с моделированием синхронизации, согласованности элементов.
Использование второй группы позволяет избежать всех этих проблем. Типичным примером являются цепи Маркова.
Примером программы для расчета цепей Маркова может являться MEADEP by Solar.
Ключевое понятие теории - вероятность перехода из одного состояния в другое.
Пример: http://ethesis.inp-toulouse.fr/archive/00000187/01/martinello.pdf
Готовые программные продукты

Availability Calculator by IBM
System Availability Calculator
Список программ
Другой список ПО