Верифікація та валідація програмованих керуючих систем АЕС

Анотація

Розглядаються питання, пов’язані з підтвердженням технології розробки програмованих керуючих систем (верифікация ПКС) та їх відповідності вимогам технічного завдання на систему в процесі передавання в промислову експлуатацію (валідація ПКС) на АС. Зазначено переваги й недоліки ПКС, роль нормативних документів у розроблянні керуючих систем, важливих для безпеки, та обмеження застосування ПКС для реалізації функцій, важливих для безпеки АС.

https://doi.org/10.32918/nrs.2010.3(47).05
ARTICLE PDF

Посилання

МАГАТЭ NS-G-1.1. Программное обеспечение управляющих систем, важных для безопасности, выполненных на основе компьютерной техники. — 2000.

НП-026-04. Требования к управляющим системам, важным для безопасности атомных станций. — М.:НТЦ ЯРБ, 2004.

НП-082-07. Правила ядерной безопасности реакторных установок атомных станций. — М.: НТЦ ЯРБ, 1997.