ВИЗНАЧЕННЯ ПОКАЗНИКІВ БЕЗПЕЧНОСТІ ВІДМОВОСТІЙКОЇ СИСТЕМИ ВІДПОВІДАЛЬНОГО ПРИЗНАЧЕННЯ БЕЗ ВІДНОВЛЕННЯ МЕТОДОМ ПРОСТОРУ СТАНІВ

Системи відповідального призначення (англ. – Safety Critical System – SCS) відіграють ключову роль у критичних сферах діяльності, де необхідна висока безпечність, надійність і безперервність роботи. До таких систем належать військові, космічні, енергетичні, авіаційні, медичні та транспортні комплекси, що функціонують в екстремальних умовах і мають виконувати свої функції незалежно від зовнішніх та внутрішніх впливів. Основними характеристиками таких систем є здатність виконувати свої функції при втраті працездатності їх підсистем чи модулів, можливість адаптації до змінних умов експлуатації та високий рівень захисту від зовнішніх загроз. Об’єктом дослідження, в даній роботі, є відмовостійка система відповідального призначення з мажоритарною структурою. Така система складається з непарної кількості однотипних модулів та мажоритарного елемента. Предметом дослідження є показники безпечності відмовостійкої системи відповідального призначення. В статті представлено методику визначення показників безпечності системи відповідального призначення методом простору стану. Цей метод, на відміну від методів дерев відмов, динамічних дерев відмов, дерев подій та FMEA/FMECA-аналізу, дає змогу враховувати вплив алгоритму поведінки відмовостійкої системи на виникнення аварійних ситуацій і в результаті цього отримувати достовірні кількісні значення показників безпечності. Особливістю методу простору станів є те, що показники безпечності та показники надійності визначаються з єдиної моделі. Це дає змогу встановити вплив конфігурації структури відмовостійкої системи та алгоритму надійнісної поведінки на показники її безпечності, що є неможливим при використанні інших методів аналізу безпечності. Методика проілюстрована на конкретному прикладі системи відповідального призначенння. Для валідації результатів дослідження використано метод аналізу дерев відмов. Розроблена методика формування показників безпечності з підпростору непрацездатних станів дає змогу отримати функції аварійності вімовостійких систем, які є часовими залежностями ймовірності появи мінімальних січень. Функції аварійності, на відміну від мінімальних січень, дають змогу врахувати вплив на показники безпечності особливості алгоритму поведінки відмовостійкої системи при порушеннях працездатності.