Многошаговая процедура построения графа состояний при исследовании вычислительных систем с использованием аппарата марковских процессов

Abstract

Выполнен анализ задач моделирования вычислительных систем (ВС) с использованием аппарата теории марковских процессов. Предложена методика построения графа состояний путем систематизации и пошагового учета допущений, связанных с их функциональностью и надежностью. Приведен пример пошагового построения марковского графа состояний для двухпроцессорной ВС, в которой учитываются различные режимы функционирования и сбои процессоров при выполнении задач.

Виконано аналіз завдань моделювання обчислювальних систем (ВС) з використанням апарату теорії марківських процесів. Запропоновано методику побудови графа станів шляхом систематизації та покрокового обліку припущень, пов'язаних з їхньою функціональністю та надійністю. Наведено приклад покрокової побудови марківського графа станів для двопроцесорної ЗС, в якій враховуються різні режими функціонування та збої процесорів під час виконання завдань.