5.7.2.7 Розроблення звіту про результати аналізу

Результати аналізу повинні бути задокументовані таким чином, щоб вони могли бути переглянуті та модифіковані з обліком будь-яких необхідних змін проекту, процедур експлуатації або вдосконалення розуміння природи відмов.

Звіт про результати SFTA повинен включати:

а) мету та область аналізу;

б)опис системи та ПЗ:

1) опис проекту;

2) опис роботи ПЗ і системи;

3) опис меж ПЗ та системи;

в) допущення:

1) допущення щодо проекту;

2) допущення щодо експлуатації, супроводу, випробувань та експертизи;

3) допущення щодо моделювання надійності та безпеки;

г) визначення та критерії відмови;

д) аналіз дерева відмов:

1) опис процедур виконання аналізу;

2) похідні дані;

3) використані символи;

е) результати та висновки.

До звіту про результати SFTA додатково можуть бути включені:

• блоки–схеми ПЗ;

• чисельні значення метрик ПЗ;

• опис дерева відмов у форматі, придатному для автоматизованого оброблення за допомогою комп'ютера.

5.7.3 Умовні позначки для дерева відмов

5.7.3.1 Кожна подія на дереві відмов повинна бути однозначно визначена. Події повинні бути марковані так, щоб могло бути встановлене посилання дерева відмов на відповідну проектну документацію. Необхідно, щоб тільки єдина кінцева подія могла бути пов'язана з цим деревом. Якщо кілька подій на дереві відмов відносяться до різних видів відмов одного елемента, такі події повинні бути відзначені таким чином, щоб їх можна було відрізнити. У той же час повинно бути ясно, що вони є групою подій, пов'язаних з тим самим елементом.

5.7.3.2 Якщо конкретна подія виникає на дереві відмов у декількох випадках, або, якщо це відбувається у декількох деревах, то всі такі події повинні мати однакове марковання. Однак, події, які є подібними, але які впливають на різні елементи, не повинні мати тієї ж ідентифікації. Код типової події повинен містити інформацію щодо ідентифікації системи, ідентифікації компонентів і виду відмови.

5.7.3.2 Кожний елемент дерева відмов повинен мати одну вихідну подію та одну або більше вхідних подій. Вхідні події ідентифікують можливі причини та умови виникнення вихідних подій. Однак, такий зв'язок не обов'язково визначає послідовні (часові) відносини між подіями. Основне дерево відмов використовує елементи «І», «АБО» та «НЕ». Однак, для аналізу складних систем можуть знадобитися додаткові логічні символи. Для побудови дерева відмов повинна використовуватися відповідна символіка та ідентифікація, для з'ясування, за необхідністі того, що:

• подію або цілу гілку також використовують в іншому місці на дереві;

• зображена частина дерева включає події, які використовують також в іншій частині дерева;

• подія із загальної причини, яка показана в одній частині дерева, далі розроблена в іншому місці.

Далі у таблиці 5.24 представлено перелік стандартизованих символів, які використовують для побудови дерев відмов. Символи надані відповідно до [13].

Таблиця 5.24—Символи, які використовують на діаграмах дерев відмов

Символ	Альтернативний символ	Назва символу	Опис
		Елемент «І»	Подія відбудеться тільки, якщо усі вхідні події відбудуться одночасно
		Елемент «АБО»	Подія відбудеться, якщо відбудеться одна із вхідних подій або відбудеться будь-яка комбінація вхідних подій
		Елемент «Виключаюче АБО»	Подія відбудеться, якщо відбудеться тільки одна із вхідних подій
		Елемент «НЕ»	Подія представляє умову, що є інверсною стосовно вхідної події
		Резервована структура	Подія відбудеться, якщо принаймні відбудуться m з n вхідних подій
		Загальний елемент	Загальний символ для введення додаткових елементів (якщо це необхідно)
	–	Елемент затримки	Подія відбудеться тільки, якщо вхідна подія відбудеться за умови формування вихідної події
	–	Блок опису елемента	Ім'я, код, опис або імовірність події

Кінець таблиці 5.24

Символ	Альтернативний символ	Назва символу	Опис
	–	Базова подія	Подія, що не може бути розділена
	–	Нерозглянута подія	Подія, яка не розглядається через відсутність такої необхідності
	–	Подія, розглянута на іншому дереві відмов	Подія, що буде розглянута на іншому дереві відмов
	–	Обов'язкова подія	Подія, що відбулася або обов'язково відбудеться
	–	Неймовірна подія	Подія, що не може відбутися
	–	Перехід у дерево відмов	Подія визначена в іншому місці дерева відмов
	–	Перехід з дерева відмов	Повторювана подія, що використовується також у іншому місці