Результати застосування статичного аналізу для оцінки безпеки програмного забезпечення інформаційних та керуючих систем АЕС
Ця стаття присвячена аналізу результатів застосування статичного аналізу програмного забезпечення інформаційних та керуючих систем (ІКС) АЕС, який виконувався згідно рекомендацій стандартів МАГАТЕ (Міжнародної агенції з атомної енергії) та МЕК (Міжнародної електротехнічної комісії). У дійсній статті...
Gespeichert in:
| Datum: | 2007 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainian |
| Veröffentlicht: |
State Scientific and Technical Center for Nuclear and Radiation Safety
2007
|
| Online Zugang: | https://nuclear-journal.com/index.php/journal/article/view/1088 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Nuclear and Radiation Safety |
Institution
Nuclear and Radiation Safety| Zusammenfassung: | Ця стаття присвячена аналізу результатів застосування статичного аналізу програмного забезпечення інформаційних та керуючих систем (ІКС) АЕС, який виконувався згідно рекомендацій стандартів МАГАТЕ (Міжнародної агенції з атомної енергії) та МЕК (Міжнародної електротехнічної комісії). У дійсній статті:
проведено аналіз вимог міжнародної нормативної бази до виконання процедур статичного аналізу програмного коду;
розглянуто методики статичного аналізу програмного коду;
проаналізовано досвід застосування інструментальних засобів статичного аналізу, який отримано співробітниками Харківської філії ДНТЦ ЯРБ у ході виконання державних експертиз ядерної та радіаційної безпеки.
|
|---|