Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС
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...
Збережено в:
Видавець: | State Scientific and Technical Center for Nuclear and Radiation Safety |
---|---|
Дата: | 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 Safetyid |
oai:ojs2.nuclear-journal.com:article-1088 |
---|---|
record_format |
ojs |
spelling |
oai:ojs2.nuclear-journal.com:article-10882024-03-28T12:57:43Z Results of Using of Program Code Static Analysis for Safety Assessment of Software off NPP’s Instrumentation and Control Systems Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС Sklyar, V. 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. Ця стаття присвячена аналізу результатів застосування статичного аналізу програмного забезпечення інформаційних та керуючих систем (ІКС) АЕС, який виконувався згідно рекомендацій стандартів МАГАТЕ (Міжнародної агенції з атомної енергії) та МЕК (Міжнародної електротехнічної комісії). У дійсній статті: проведено аналіз вимог міжнародної нормативної бази до виконання процедур статичного аналізу програмного коду; розглянуто методики статичного аналізу програмного коду; проаналізовано досвід застосування інструментальних засобів статичного аналізу, який отримано співробітниками Харківської філії ДНТЦ ЯРБ у ході виконання державних експертиз ядерної та радіаційної безпеки. State Scientific and Technical Center for Nuclear and Radiation Safety 2007-06-21 Article Article application/pdf https://nuclear-journal.com/index.php/journal/article/view/1088 Nuclear and Radiation Safety; Vol 10 No 2 (2007): Nuclear and Radiation Safety; 36-49 Ядерна та радіаційна безпека; Том 10 № 2 (2007): Ядерна та радіаційна безпека; 36-49 2073-6231 uk https://nuclear-journal.com/index.php/journal/article/view/1088/791 |
institution |
Nuclear and Radiation Safety |
collection |
OJS |
language |
Ukrainian |
format |
Article |
author |
Sklyar, V. |
spellingShingle |
Sklyar, V. Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС |
author_facet |
Sklyar, V. |
author_sort |
Sklyar, V. |
title |
Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС |
title_short |
Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС |
title_full |
Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС |
title_fullStr |
Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС |
title_full_unstemmed |
Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС |
title_sort |
результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем аес |
title_alt |
Results of Using of Program Code Static Analysis for Safety Assessment of Software off NPP’s Instrumentation and Control Systems |
description |
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.
|
publisher |
State Scientific and Technical Center for Nuclear and Radiation Safety |
publishDate |
2007 |
url |
https://nuclear-journal.com/index.php/journal/article/view/1088 |
work_keys_str_mv |
AT sklyarv resultsofusingofprogramcodestaticanalysisforsafetyassessmentofsoftwareoffnppsinstrumentationandcontrolsystems AT sklyarv rezulʹtatizastosuvannâstatičnogoanalízudlâocínkibezpekiprogramnogozabezpečennâínformacíjnihtakeruûčihsistemaes |
first_indexed |
2024-09-01T17:42:24Z |
last_indexed |
2024-09-01T17:42:24Z |
_version_ |
1809016469807169536 |