Анотація
Розглядаються питання, пов’язані з підтвердженням технології розробки програмованих керуючих систем (верифікация ПКС) та їх відповідності вимогам технічного завдання на систему в процесі передавання в промислову експлуатацію (валідація ПКС) на АС. Зазначено переваги й недоліки ПКС, роль нормативних документів у розроблянні керуючих систем, важливих для безпеки, та обмеження застосування ПКС для реалізації функцій, важливих для безпеки АС.
Посилання
МАГАТЭ NS-G-1.1. Программное обеспечение управляющих систем, важных для безопасности, выполненных на основе компьютерной техники. — 2000.
НП-026-04. Требования к управляющим системам, важным для безопасности атомных станций. — М.:НТЦ ЯРБ, 2004.
НП-082-07. Правила ядерной безопасности реакторных установок атомных станций. — М.: НТЦ ЯРБ, 1997.