Публікація: Марковські моделі оцінювання функціональної безпеки програмно-технічних комплексів на самодіагностовних програмовних платформах з урахуванням помилок засобів контролю
Дата
2019
Автори
Одарущенко, Олег Миколайович
Одарущенко, Олена Борисівна
Харченко, В. С.
Назва видання
ISSN
Назва тому
Видання
Радіоелектронні і комп’ютерні системи
Анотація
Забезпечення безпечної експлуатації АЕС залишається однією із найважливіших задач безпеки енергетики та енергетичного комплексу в цілому. В забезпеченні безпеки АЕС важливу роль відіграють ін-формаційно-керуючі системи (ІКС) та їх складові – програмно-технічні комплекси (ПТК). До таких комплексів висуваються надзвичайно високі вимоги, перш за все, до їх надійності та функціональної безпеки. Об’єктом дослідження і аналізу в даній роботі є ПТК ІКС АЕС, зокрема, керуючої системи нормальної експлуатації (СНЕ) та системи аварійного захисту (САЗ), які розроблено з використанням програмовної платформи RadICS. Метою статті є розроблення та аналіз результатів дослідження марковськіх моделей оцінювання надійності та функціональної безпеки програмно-технічних комплек-сів (ПТК), які розробляються на основі самодіагностовних програмовних платформ. Розроблено дерева відмов таких платформ і ПТК на їх основі. На наступному етапі розроблено кілька марковських моде-лей резервованих ПТК. Моделі враховують помилки засобів контролю та діагностування, а саме поми-лки, пов’язані з невиявленням збоїв і відмов відповідних компонентів ПТК і каналів резервованих стру-ктур. Розроблено моделі для різних варіантів резервованих структур з урахуванням застосування принципу диверсності для ІКС САЗ і процесів відновлення, параметрів потоків відмов, обумовлених де-фектами проектування. Досліджено також багатофрагментні марковські моделі відновлюваних ПТК для одно- та двохверсійних структур. Проаналізовано результати моделювання для систем при вико-ристанні різних пакетів комп’ютерної математики. Сформульовано висновки щодо вибору пакетів та налаштувань при вирішенні систем диференційних рівнянь Колмогорова-Чепмена. Наукова новизна результатів полягає у тому, що запропоновані моделі ураховують розширену множину параметрів самодіагностовних платформ на програмовній логіці, ПТК та ІКС, процесів їх використання та обслу-говування. Сформульовано рекомендації щодо вибору параметрів та варіантів структур для ПТК си-стем нормальної експлуатації та аварійного захисту.
Опис
Ключові слова
системи нормальної експлуатації, системи аварійного захисту, дерево відмов, функціональна безпека, функція готовності, багатофрагментна марковська модель
Бібліографічний опис
Одарущенко О. М., Одарущенко О. Б., Харченко В. С. Марковські моделі оцінювання функціональної безпеки програмно-технічних комплексів на самодіагностовних програмовних платформах з урахуванням помилок засобів контролю. Радіоелектронні і комп’ютерні системи. № 4 (92). 2019. С. 17-29.