ГОСТ Р МЭК 60880—2010
3.36 модификация ПО (software modification): Изменение в уже согласованном документе (или до
кументах). ведущее к изменению рабочей программы.
П р и м е ч а н и е — Модификации ПО могут происходить в процессе первоначальной разработки ПО
(например, устранение ошибок, обнаруженных на поздних этапах разработки) либо когда ПО уже находится в
эксплуатации.
3.37 жизненный цикл безопасности ПО (software safety lifecycle): Необходимая деятельность при
разработке и использовании программного обеспечения СКУ. важной для безопасности, осуществляемая в
течение всего периода времени, начиная с разработки спецификации требований к программному обес
печению и заканчивая выведением программногообеспечения из эксплуатации.
[МЭК 62138. пункт 3.31]
3.38 версия ПО (software version): Экземпляр программного продукта, полученный путем модифика
ции или корректировки предыдущего программного продукта.
[IEEE 610. модифицировано]
3.39 спецификация (specification): Документ, определяющий в полной, точной, проверяемой форме
требования, дизайн, поведение или другие свойства системы либо компонента, и. зачастую, процедуры
для определения, выполняются ли эти требования.
[IEEE 610]
П р и м е ч а н и е — Существуют различные типы спецификаций, например, спецификация требований к ПО
или спецификация проекта.
3.40 статический анализ (staticanalysis): Процесс оценки системы или ее компонентов, основанный
на ее форме, структуре, содержании или документации.
3.41 системное программное обеспечение (system software): Часть ПО системы контроля и управ
ления. созданная для конкретного компьютера или семейства оборудования с целью облегчения разра
ботки. эксплуатации и модификации этих объектов и связанных с ними программ.
[МЭК 62138, пункт 3.33]
3.42 валидация системы (system validation): Подтверждение путем проверки и предоставления дру
гих свидетельств того, что система в целом соответствует спецификации требований (функциональность,
время отклика, устойчивость кдефектам и ошибкам, запас прочности).
3.43 верификация (verification): Подтверждение экспертизой и предоставлением иногообъективного
свидетельства того, что результаты функционирования соответствуют целям и требованиям, определен
ным для такого функционирования.
[МЭК 62138. пункт 3.35]
4 Сокращения
АПСП — автоматизированное проектирование и создание программ:
ООП — отказ по общей причине (см. 3.8):
РПО— ранее разработанное программное обеспечение (см. 3.28):
ИПС — исходные постулированные события (см. 3.27):
ОК — обеспечение качества;
В&В — верификация и валидация;
СКУ — система контроля и управления.
5 Общие требования к проектам программного обеспечения
5.1 Общая информация
Процесссоздания систем контроля и управления, применяемых на атомных станциях, установлен в
МЭК 61513, в котором концепция жизненного цикла безопасности системы вводится в качестве средства, с
помощью которого можно управлять процессом. Кроме того, принятие этой концепции должно привести
к получению данных, необходимых для обоснования работы систем безопасности. Описанный в МЭК
61513 жизненный цикл безопасности системы включает в себя и устанавливает (но не навязывает)
требования к мероприятиям проекта, которые должны осуществляться при создании систем (см. рисунок
1).
5