ГОСТ Р МЭК 60880—2010
-функциональность программного обеспечения согласуется с целями, определенными в специфика
ции требований к программному обеспечению;
- проект программного обеспечения соответствует требованиям стандартов, указанных в плане обес
печения качества.
8.2.3.2.4 Соответствующий и обоснованный выбор методик, такихкаканимация, тестирование, обзор,
сквозной контроль, формализованный анализ и подтверждение, должен быть применен для улучшения
понимания спецификаций и верификации их функциональной корректности и согласованности.
8.2.3.2.5 Инструментальные программы, используемые для верификации или валидации, должны
бытьаттестованы, как это требуется в разделе 14.
8.2.3.3 Верификация конфигурации ранее разработанного программного обеспечения
В настоящем подразделе рассматривается ситуация, когда функция безопасности категории А обес
печивается ранее разработанным программным обеспечением, конфигурированным с помощью данных
конфигурации, т.е. данных, специфичныхдля конкретного применения. Программное обеспечение может
быть связанным с семейством оборудования или быть самостоятельной программой, которая затем интег
рируется с выбранными базовыми техническими средствами.
Необходимое условие применения требованийданного подраздела состоит втом. что ранее разрабо
танное программное обеспечение уже аттестованодля данного применения (см. раздел 15).
8.2.3.3.1 Верификацияданных должна проводиться с использованием комбинации проверки/анализа
и/или тестирований. Соответствующиесредства тестирований влияния данных конфигурациидолжны быть
проанализированы и оформлены документально (при рассмотрении роли моделирования, эмуляции, ис
пытательных стендов и прототипов).
8.2.3.3.2 Структура документации, одобреннаядля любой конфигурации ранее разработанного про
граммного обеспечения, должна позволять, при необходимости, создание промежуточныхдокументов для
того, чтобы процесс проектирования был полностью отражен вдокументации, например, чтобы установить,
кактребование ко времени отклика учитывается при конфигурировании частоты сканирования и частоты
передачи буфера сообщений.
8.2.3.3.3 Процесс верификации должен подтвердить, чтоданные конфигурации согласуются с про
ектной документацией и со всеми установленными ограничениями и правилами.
Верификация может осуществляться путем визуальной проверки либо с применением инструмен
тальных программ, либо путем комбинирования обеих методик.
8.2.3.3.4 Если данные получают с использованием инструментальных программ и если этап верифи
кацииданных предполагается пропустить с непосредственным переходом к интеграции системы, тодолж
но быть представленообоснованиедостаточной уверенности в корректности инструментальных программ.
Дальнейшее руководство по верификации данных, получаемых с использованием прикладных инст
рументальных программ. приведено в 14.3.5.
9 Программные аспекты интеграции системы
Процесс интеграции системы состоит вобъединении верифицированных модулей технического обес
печения и программного обеспечения в подсистемы (компьютерные узлы) и. в конечном счете, в завер
шенную систему.
Этот процесс состоит из четырех частей;
a) сборка и взаимное соединение модулей технического обеспечения в соответствии с проектной
документацией;
b
) построение законченного программного обеспечения из программных модулей;
c) загрузка законченного программного обеспечения технических средств, для которых оно разраба
тывалось:
d) верификация того, что;
- программное обеспечение соответствует спецификации проекта;
- требования к интерфейсу между техническим и программным обеспечениями удовлетворены;
- программное обеспечение работает вконкретном техническом обеспечении.
К программным аспектам интеграции системы относятся действия, по перечислениям Ь), с) и d).
В настоящем разделе приведены дополнительные требования к плану интеграции системы, а также
требования, касающиеся программных аспектов интеграции системы, в дополнение к 6.1.4 МЭК61513.
22