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