ГОСТ Р МЭК 60880—2010
Введение
a) Техническое обоснование, основные проблемы и организация настоящего стандарта
Проектирование систем контроля и управления, основанных на программном обеспечении и исполь
зуемыхдля целей ядерной безопасности, является сложной задачей из-за требований безопасности, кото
рыедолжны быть выполнены. Программное обеспечение безопасности, используемое на атомныхэлект
ростанциях (АЭС), которое часто требуется только ваварийных ситуациях, должно пройти полную валида
цию и аттестацию перед его применением в эксплуатации.Для достижения необходимой высокой надежно
сти систем контроля и управления специальные меры должны приниматься в течение всего жизненного
цикла программного обеспечения, начиная с формулирования базовых требований на различных фазах
проектирования и кончая процедурами верификации и валидации для эксплуатации и обслуживания. Це
лью настоящего стандарта является освещение соответствующих аспектов безопасности и обеспечение
требований для достижения высокого качества программного обеспечения.
Настоящий стандарт разработан на основе использования и обобщения опыта применения его перво
го издания, которое было выпущено в 1986 г. с целью интерпретации принципов безопасности, применяв
шихся ранее к аппаратным системам с жесткими связями, применительно к цифровым системам — много
процессорным распределенным системам, а также к системам более высокого уровня с центральным
процессором, включенных в системы безопасности атомных электростанций.
Данное издание широко использовалось в атомной промышленностидля определения требований и
как руководство в отношении программного обеспечения систем контроля и управления, важныхдля безо
пасности атомных электростанций.
Настоящий стандарт предназначен для использования разработчиками систем, подразделениями
АСУТП АЭС. экспертами и лицензирующими организациями.
b
) Место настоящего стандарта в структуре серии стандартов подкомитета 45А
Непосредственные ссылки на МЭК 60880 имеются в МЭК 61513. который рассматривает вопросы
системных аспектов и высокоинтегрированного компьютерного контроля и управления, используемого в
системах безопасности атомных станций.
МЭК 60880 является документом второго уровня по классификации ПК 45А и касается аспектов
программного обеспечения систем контроля и управления, выполняющих функции категории А.
Требования к программному обеспечению, связанному с выполнением функций категорий В и С.
описаны в МЭК 62138.
МЭК 60880 и МЭК 62138 в целом охватывают аспекты программного обеспечения компьютерных
систем, используемых на атомных станциях для выполнения функций, важныхдля безопасности.
Настоящее второе издание МЭК 60880 должно использоваться совместно с МЭК 60987 и МЭК 61226,
а также с серией стандартов ПК 45А по техническому обеспечению и стандартами по классификации.
Более полная информация о структуре серии стандартов ПК 45А приведена в пункте d) настоящего
введения.
c) Рекомендации и ограничения по использованию настоящего стандарта
Важно отметить, что настоящий стандарт не устанавливаетдополнительных требований к системам
безопасности.
Специальные требования и рекомендации касаются следующих аспектов:
1) общий подход к разработке программного обеспечения, обеспечивающего его высокую надеж
ность. включая надежность взаимосвязей между программным и техническим обеспечениями.
2) общий подход к верификации программного обеспечения и валидации программных аспектов ком
пьютерных систем;
3) метод управления модификацией и конфигурацией профаммного обеспечения;
4) требования к использованию инструментальных программ;
5) методы оценки соответствия ранее разработанного программного обеспечения.
Общепризнанным является тот факт, что технология программного обеспечения продолжает разви
ваться быстрыми темпами, поэтому невозможно включить в настоящий стандарт все ссылки на современ
ные методы и технологии проектирования.
Для обеспечения пригодности настоящего стандарта и в будущем основное внимание сосредоточе
но на принципиальных вопросах, а не на конкретных технологиях программного обеспечения.
При разработке новых технологий будет возможность оценки пригодности этих технологий, применяя
принципы безопасности, содержащиеся в настоящем стандарте.
V