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