ДОСЛІДЖЕННЯ НОРМАТИВНИХ ДОКУМЕНТІВ ТА ГАЛУЗЕВИХ СТАНДАРТІВ РОЗРОБКИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ КОМП’ЮТЕРНИХ СИСТЕМ УПРАВЛІННЯ AEC, ВАЖЛИВИХ ДЛЯ БЕЗПЕКИ

Анотація

На сьогоднішній день одним з основних джерел електричної енергії є атомні електростанції (АЕС). В сучасному світі для управління технологічними процесами та забезпечення безпеки на АЕС використовуються цифрові системи управління з широким застосуванням комп’ютерів та контролерів. Від якості та надійності програмного забезпечення таких систем залежить безпечна експлуатація АЕС. В даній роботі проведено дослідження нормативних документів та стандартів, які мають відношення до розробки програмного забезпечення комп’ютерних систем управління АЕС, важливих для безпеки. Метою роботи є визначення стандартів, що можуть використовуватися розробниками програмного забезпечення для комп’ютерних систем управління АЕС, важливих для безпеки. Об’єктом дослідження є процес розробки програмного забезпечення для комп’ютерних систем управління АЕС. Предметом є дослідження нормативних документів та галузевих стандартів розробки програмного забезпечення для комп’ютерних систем управління АЕС. У результаті дослідження визначені критерії безпеки комп’ютерних систем управління, досліджено стандарти IEC 61508 та IEC 61513, досліджена настанова з безпеки МАГАТЕ SSG-39, визначені категорії функцій управління та класи безпеки систем АЕС, досліджені стандарти, що містять вимоги до програмного забезпечення, інтерфейсів користувача та кодування MISRA C/C++. Висновки. З метою створення високонадійного та якісного програмного забезпечення комп’ютерних систем керування АЕС, важливих для безпеки, в світі існують стандарти проектування та галузеві нормативні документи. Результатом дослідження стандартів та галузевих нормативних документів, які мають відношення до розробки програмного забезпечення комп’ютерних систем управління АЕС, важливих для безпеки є наступне: міжнародні стандарти та нормативні документи мають різні рівні спеціалізації. В документах вищого рівня наводяться загальні вимоги до всіх етапів життєвого циклу комп’ютерних систем управління та містяться посилання на документи наступного рівня. Документи наступного рівня є більш спеціалізованими і мають відношення до більш вузьких сфер діяльності; кожна країна світу може визначати свій набір стандартів та нормативних документів, який вимагається використовувати під час проектування та реалізації комп’ютерних систем управління для АЕС; в нормативних документах містяться вимоги та рекомендації як щодо організації процесу розробки, так і загальні рекомендації та приклади написання коду програм різними мовами програмування; через те, що вимоги розглянутих стандартів мають бути актуальними протягом тривалого часу, ці стандарти не містять формалізованих методик написання коду програм; не існує формалізованих методик сертифікації коду на відповідність вимог розглянутих стандартів; кожна організація, яка займається проектуванням, розробкою та верифікацією програмного забезпечення комп’ютерних систем управління для АЕС, повинна розробити власні методики з застосування вимог та оцінки критеріїв виконання вимог стандартів та нормативів. Таким чином, зроблено висновок, що перспективами подальших досліджень є детальний аналіз вимог міжнародних стандартів та галузевих нормативних документів до програмного забезпечення комп’ютерних систем управління АЕС та розробка методики його написання й оцінки відповідності вимогам стандартів.