Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС
Ця стаття присвячена аналізу результатів застосування статичного аналізу програмного забезпечення інформаційних та керуючих систем (ІКС) АЕС, який виконувався згідно рекомендацій стандартів МАГАТЕ (Міжнародної агенції з атомної енергії) та МЕК (Міжнародної електротехнічної комісії). У дійсній статті...
Збережено в:
| Дата: | 2007 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Ukrainian |
| Опубліковано: |
State Scientific and Technical Center for Nuclear and Radiation Safety
2007
|
| Онлайн доступ: | https://nuclear-journal.com/index.php/journal/article/view/1088 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Nuclear and Radiation Safety |
Репозитарії
Nuclear and Radiation Safety| Резюме: | Ця стаття присвячена аналізу результатів застосування статичного аналізу програмного забезпечення інформаційних та керуючих систем (ІКС) АЕС, який виконувався згідно рекомендацій стандартів МАГАТЕ (Міжнародної агенції з атомної енергії) та МЕК (Міжнародної електротехнічної комісії). У дійсній статті:
проведено аналіз вимог міжнародної нормативної бази до виконання процедур статичного аналізу програмного коду;
розглянуто методики статичного аналізу програмного коду;
проаналізовано досвід застосування інструментальних засобів статичного аналізу, який отримано співробітниками Харківської філії ДНТЦ ЯРБ у ході виконання державних експертиз ядерної та радіаційної безпеки.
|
|---|