Методика побудови дерева відмов складної технічної системи на основі графу станів і переходів

Abstract

Запропоновано методику, за якою мінімальні перерізи визначаються не з дерева відмов об'єкта дослідження, а з його моделі у вигляді графу станів і переходів. Власне дерево відмов будується на основі мінімальних перерізів. Такий підхід дає змогу перевірити достовірність оцінок безпечності програмно-технічних комплексів.