Одарущенко, Олег МиколайовичОдарущенко, Олена БорисівнаХарченко, В. С.2026-08-032026-08-032019Одарущенко О. М., Одарущенко О. Б., Харченко В. С. Марковські моделі оцінювання функціональної безпеки програмно-технічних комплексів на самодіагностовних програмовних платформах з урахуванням помилок засобів контролю. Радіоелектронні і комп’ютерні системи. № 4 (92). 2019. С. 17-29.1814-42252663-2012УДК 621.311.25-529-192:004.052.32https://dspace.pdau.edu.ua/handle/123456789/22166Забезпечення безпечної експлуатації АЕС залишається однією із найважливіших задач безпеки енергетики та енергетичного комплексу в цілому. В забезпеченні безпеки АЕС важливу роль відіграють ін-формаційно-керуючі системи (ІКС) та їх складові – програмно-технічні комплекси (ПТК). До таких комплексів висуваються надзвичайно високі вимоги, перш за все, до їх надійності та функціональної безпеки. Об’єктом дослідження і аналізу в даній роботі є ПТК ІКС АЕС, зокрема, керуючої системи нормальної експлуатації (СНЕ) та системи аварійного захисту (САЗ), які розроблено з використанням програмовної платформи RadICS. Метою статті є розроблення та аналіз результатів дослідження марковськіх моделей оцінювання надійності та функціональної безпеки програмно-технічних комплек-сів (ПТК), які розробляються на основі самодіагностовних програмовних платформ. Розроблено дерева відмов таких платформ і ПТК на їх основі. На наступному етапі розроблено кілька марковських моде-лей резервованих ПТК. Моделі враховують помилки засобів контролю та діагностування, а саме поми-лки, пов’язані з невиявленням збоїв і відмов відповідних компонентів ПТК і каналів резервованих стру-ктур. Розроблено моделі для різних варіантів резервованих структур з урахуванням застосування принципу диверсності для ІКС САЗ і процесів відновлення, параметрів потоків відмов, обумовлених де-фектами проектування. Досліджено також багатофрагментні марковські моделі відновлюваних ПТК для одно- та двохверсійних структур. Проаналізовано результати моделювання для систем при вико-ристанні різних пакетів комп’ютерної математики. Сформульовано висновки щодо вибору пакетів та налаштувань при вирішенні систем диференційних рівнянь Колмогорова-Чепмена. Наукова новизна результатів полягає у тому, що запропоновані моделі ураховують розширену множину параметрів самодіагностовних платформ на програмовній логіці, ПТК та ІКС, процесів їх використання та обслу-говування. Сформульовано рекомендації щодо вибору параметрів та варіантів структур для ПТК си-стем нормальної експлуатації та аварійного захисту.ukсистеми нормальної експлуатаціїсистеми аварійного захистудерево відмовфункціональна безпекафункція готовностібагатофрагментна марковська модельArticle