Публікація:
Марковські моделі оцінювання функціональної безпеки програмно-технічних комплексів на самодіагностовних програмовних платформах з урахуванням помилок засобів контролю

Скорочена інформація про документ
dc.contributor.authorОдарущенко, Олег Миколайович
dc.contributor.authorОдарущенко, Олена Борисівна
dc.contributor.authorХарченко, В. С.
dc.date.issued2019
dc.description.abstractЗабезпечення безпечної експлуатації АЕС залишається однією із найважливіших задач безпеки енергетики та енергетичного комплексу в цілому. В забезпеченні безпеки АЕС важливу роль відіграють ін-формаційно-керуючі системи (ІКС) та їх складові – програмно-технічні комплекси (ПТК). До таких комплексів висуваються надзвичайно високі вимоги, перш за все, до їх надійності та функціональної безпеки. Об’єктом дослідження і аналізу в даній роботі є ПТК ІКС АЕС, зокрема, керуючої системи нормальної експлуатації (СНЕ) та системи аварійного захисту (САЗ), які розроблено з використанням програмовної платформи RadICS. Метою статті є розроблення та аналіз результатів дослідження марковськіх моделей оцінювання надійності та функціональної безпеки програмно-технічних комплек-сів (ПТК), які розробляються на основі самодіагностовних програмовних платформ. Розроблено дерева відмов таких платформ і ПТК на їх основі. На наступному етапі розроблено кілька марковських моде-лей резервованих ПТК. Моделі враховують помилки засобів контролю та діагностування, а саме поми-лки, пов’язані з невиявленням збоїв і відмов відповідних компонентів ПТК і каналів резервованих стру-ктур. Розроблено моделі для різних варіантів резервованих структур з урахуванням застосування принципу диверсності для ІКС САЗ і процесів відновлення, параметрів потоків відмов, обумовлених де-фектами проектування. Досліджено також багатофрагментні марковські моделі відновлюваних ПТК для одно- та двохверсійних структур. Проаналізовано результати моделювання для систем при вико-ристанні різних пакетів комп’ютерної математики. Сформульовано висновки щодо вибору пакетів та налаштувань при вирішенні систем диференційних рівнянь Колмогорова-Чепмена. Наукова новизна результатів полягає у тому, що запропоновані моделі ураховують розширену множину параметрів самодіагностовних платформ на програмовній логіці, ПТК та ІКС, процесів їх використання та обслу-говування. Сформульовано рекомендації щодо вибору параметрів та варіантів структур для ПТК си-стем нормальної експлуатації та аварійного захисту.
dc.identifier.citationОдарущенко О. М., Одарущенко О. Б., Харченко В. С. Марковські моделі оцінювання функціональної безпеки програмно-технічних комплексів на самодіагностовних програмовних платформах з урахуванням помилок засобів контролю. Радіоелектронні і комп’ютерні системи. № 4 (92). 2019. С. 17-29.
dc.identifier.issn1814-4225
dc.identifier.issn2663-2012
dc.identifier.otherУДК 621.311.25-529-192:004.052.32
dc.identifier.urihttps://dspace.pdau.edu.ua/handle/123456789/22166
dc.language.isouk
dc.publisherРадіоелектронні і комп’ютерні системи
dc.relation.ispartofseries№ 4(92)
dc.subjectсистеми нормальної експлуатації
dc.subjectсистеми аварійного захисту
dc.subjectдерево відмов
dc.subjectфункціональна безпека
dc.subjectфункція готовності
dc.subjectбагатофрагментна марковська модель
dc.titleМарковські моделі оцінювання функціональної безпеки програмно-технічних комплексів на самодіагностовних програмовних платформах з урахуванням помилок засобів контролю
dc.title.alternativeMarkov models for assessing functional safety of software and hardware complexes on self-diagnostic software platforms taking into account control measures errors
dc.typeArticle
dspace.entity.typePublication
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
6_MARKOV MODELS FOR FUNCTIONAL SAFE.pdf
Розмір:
1.3 MB
Формат:
Adobe Portable Document Format
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
17.09 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Друковані видання