Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС
Ця стаття присвячена аналізу результатів застосування статичного аналізу програмного забезпечення інформаційних та керуючих систем (ІКС) АЕС, який виконувався згідно рекомендацій стандартів МАГАТЕ (Міжнародної агенції з атомної енергії) та МЕК (Міжнародної електротехнічної комісії). У дійсній статті...
Saved in:
| Date: | 2007 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
State Scientific and Technical Center for Nuclear and Radiation Safety
2007
|
| Online Access: | https://nuclear-journal.com/index.php/journal/article/view/1088 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Nuclear and Radiation Safety |
Institution
Nuclear and Radiation Safety| Summary: | Ця стаття присвячена аналізу результатів застосування статичного аналізу програмного забезпечення інформаційних та керуючих систем (ІКС) АЕС, який виконувався згідно рекомендацій стандартів МАГАТЕ (Міжнародної агенції з атомної енергії) та МЕК (Міжнародної електротехнічної комісії). У дійсній статті:
проведено аналіз вимог міжнародної нормативної бази до виконання процедур статичного аналізу програмного коду;
розглянуто методики статичного аналізу програмного коду;
проаналізовано досвід застосування інструментальних засобів статичного аналізу, який отримано співробітниками Харківської філії ДНТЦ ЯРБ у ході виконання державних експертиз ядерної та радіаційної безпеки.
|
|---|