Пошук академічних текстів

Інформація × Реєстраційний номер 2123U001456, Матеріали видань та локальних репозитаріїв Категорія Стаття, Опубліковано, Рецензована стаття Назва роботи ДОСЛІДЖЕННЯ НОРМАТИВНИХ ДОКУМЕНТІВ ТА ГАЛУЗЕВИХ СТАНДАРТІВ РОЗРОБКИ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ КОМП’ЮТЕРНИХ СИСТЕМ УПРАВЛІННЯ AEC, ВАЖЛИВИХ ДЛЯ БЕЗПЕКИ Автор Vintenko BorisSmirnov OleksiiKovalenko OleksandrSmirnov SerhiiKovalenko AnnaVintenko BorisSmirnov OleksiiKovalenko OleksandrSmirnov SerhiiKovalenko Anna Дата публікації 09-06-2023 Постачальник інформації Національний університет «Полтавська політехніка імені Юрія Кондратюка» Першоджерело https://journals.nupp.edu.ua/sunz/article/view/2978 Видання Національний університет «Полтавська політехніка імені Юрія Кондратюка» Опис На сьогоднішній день одним з основних джерел електричної енергії є атомні електростанції (АЕС). В сучасному світі для управління технологічними процесами та забезпечення безпеки на АЕС використовуються цифрові системи управління з широким застосуванням комп’ютерів та контролерів. Від якості та надійності програмного забезпечення таких систем залежить безпечна експлуатація АЕС. В даній роботі проведено дослідження нормативних документів та стандартів, які мають відношення до розробки програмного забезпечення комп’ютерних систем управління АЕС, важливих для безпеки. Метою роботи є визначення стандартів, що можуть використовуватися розробниками програмного забезпечення для комп’ютерних систем управління АЕС, важливих для безпеки. Об’єктом дослідження є процес розробки програмного забезпечення для комп’ютерних систем управління АЕС. Предметом є дослідження нормативних документів та галузевих стандартів розробки програмного забезпечення для комп’ютерних систем управління АЕС. У результаті дослідження визначені критерії безпеки комп’ютерних систем управління, досліджено стандарти IEC 61508 та IEC 61513, досліджена настанова з безпеки МАГАТЕ SSG-39, визначені категорії функцій управління та класи безпеки систем АЕС, досліджені стандарти, що містять вимоги до програмного забезпечення, інтерфейсів користувача та кодування MISRA C/C++. Висновки. З метою створення високонадійного та якісного програмного забезпечення комп’ютерних систем керування АЕС, важливих для безпеки, в світі існують стандарти проектування та галузеві нормативні документи. Результатом дослідження стандартів та галузевих нормативних документів, які мають відношення до розробки програмного забезпечення комп’ютерних систем управління АЕС, важливих для безпеки є наступне: міжнародні стандарти та нормативні документи мають різні рівні спеціалізації. В документах вищого рівня наводяться загальні вимоги до всіх етапів життєвого циклу комп’ютерних систем управління та містяться посилання на документи наступного рівня. Документи наступного рівня є більш спеціалізованими і мають відношення до більш вузьких сфер діяльності; кожна країна світу може визначати свій набір стандартів та нормативних документів, який вимагається використовувати під час проектування та реалізації комп’ютерних систем управління для АЕС; в нормативних документах містяться вимоги та рекомендації як щодо організації процесу розробки, так і загальні рекомендації та приклади написання коду програм різними мовами програмування; через те, що вимоги розглянутих стандартів мають бути актуальними протягом тривалого часу, ці стандарти не містять формалізованих методик написання коду програм; не існує формалізованих методик сертифікації коду на відповідність вимог розглянутих стандартів; кожна організація, яка займається проектуванням, розробкою та верифікацією програмного забезпечення комп’ютерних систем управління для АЕС, повинна розробити власні методики з застосування вимог та оцінки критеріїв виконання вимог стандартів та нормативів. Таким чином, зроблено висновок, що перспективами подальших досліджень є детальний аналіз вимог міжнародних стандартів та галузевих нормативних документів до програмного забезпечення комп’ютерних систем управління АЕС та розробка методики його написання й оцінки відповідності вимогам стандартів. Додано в НРАТ 2026-04-19 Закрити