Формализация представления отказоустойчивых систем при проектировании структуры системы

Аннотация

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