ПросмотрФакультет радіоелектроніки, комп’ютерних систем та інфокомунікацій (№ 5) по теме "FTA"
Отображаемые элементы 1-2 из 2
-
Возможности совместного использования современных методов анализа отказов систем, важных для безопасности
(ХАІ, 2009)В статье проанализированы существующие методы анализа отказов, применяющиеся при разработке систем, важных для безопасности. Показаны их достоинства и недостатки, предложены критерии, по которым можно произвести сравнение ... -
Использование метода анализа деревьев отказов для создания спецификаций функционально безопасных систем в Event-B
(ХАІ, 2010)Предложен метод, который позволяет объединить метод анализа деревьев отказов (FTA) и формальную спецификацию в Event-B. Использование методики формальной разработки гарантирует корректность внедрения требований по ...