Open AccessВерифікація та валідація програмованих керуючих систем АЕС
Author(s) -
A. Alpeev
Publication year - 2010
Publication title -
âderna ta radìacìjna bezpeka
Language(s) - Ukrainian
Resource type - Journals
SCImago Journal Rank - 0.221
H-Index - 5
ISSN - 2073-6231
DOI - 10.32918/nrs.2010.3(47).05
Subject(s) - computer science
Розглядаються питання, пов’язані з підтвердженням технології розробки програмованих керуючих систем (верифікация ПКС) та їх відповідності вимогам технічного завдання на систему в процесі передавання в промислову експлуатацію (валідація ПКС) на АС. Зазначено переваги й недоліки ПКС, роль нормативних документів у розроблянні керуючих систем, важливих для безпеки, та обмеження застосування ПКС для реалізації функцій, важливих для безпеки АС.