Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС
This article is devoted to the analysis of results of using of program code static analysis of NPPs Instrumentation and Control Systems (I&C), which was performed in accordance to recommendations of standards of IAEA (International Atomic Energy Agency) and IEC (International Electrotechnica...
Збережено в:
| Дата: | 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| Резюме: | This article is devoted to the analysis of results of using of program code static analysis of NPPs Instrumentation and Control Systems (I&C), which was performed in accordance to recommendations of standards of IAEA (International Atomic Energy Agency) and IEC (International Electrotechnical Commission). The following questions are considered in the article:
an analysis of requirements of an international normative base to performing of program code static analysis;
techniques of program code static analysis;
an experience of staff of Kharkiv subsidiary ofSSTC NRS in using of static analysis tools during performing of state expertise’s of nuclear and radiation safety.
|
|---|