ГОСТ Р МЭК 61511-2—2011
Если ППО написано на ЯПИ. разработчику следует соблюдать требования и указания
МЭК 61508-3. Если ППО написано на ЯОИ или ФЯП. то разработчик может следовать требованиям и
указаниям МЭК 61511-1. При этом разработчикдолжен соблюдать ограничения и процедуры,
установ ленные поставщиком логического устройства в руководстве по безопасности. При
необходимости должны разрабатываться и использоваться также указания по программированию и
правила кодиро-вания/конфигурирования.
12.4.5.1 Дополнительные требования не предусмотрены.
12.4.5.2 Дополнительные требования не предусмотрены.
12.4.5.3 Например, глобальной переменной в прикладной программе можно описать сигнал нару
шения безопасности, такой, как аварийный сигнал о превышении температуры, который изменяется в
зависимости от дозирования группы составляющих в процессе.
Например, глобальной константой в прикладной программе можно описать верхнюю границу, при
достижении которой запускается аварийный сигнал о воспламенении газа, которую используют в систе
мах зажигания и газовой защиты и которая равна, например. 20 % нижнего предела взрывоопасности.
12.4.5.4 Дополнительные требования не предусмотрены.
12.4.5.5 Дополнительные требования не предусмотрены.
12.4.5.6 Дополнительные требования не предусмотрены.
12.4.6 Требования к проверкам модулей ППО
Проверки ППО на соответствие требованиям, полученным на стадиях проектирования исоставле
ния спецификаций, могут сначала проводиться на симуляторе, а затем — на логическом решающем
устройстве. Цели проверок на начальных этапах (симулирование и тестирование на соответствие тре
бованиям проектных спецификаций):
- показать, что программные модули выполняют необходимые функции и не способны к выполне
нию любых запрещенных действий,
- проверить ПО для широкого набора условий и последовательностей их выполнения, чтобы по
казать. что оно остается устойчивым в нештанных состояниях.
Цель последующих проверок (комплексные и заводские приемочные испытания) — показать, что
ППО отвечает предъявленным к нему требованиям на конкретных технических средствах и не наруша
ет установленных временных соотношений.
Заключительный этап проверок — этодемонстрация того, что интегрированная система работает
правильно в предполагаемой среде, с предполагаемыми физическими устройствами и интерфейсами и с
разработанными эксплуатационными процедурами и может быть полностью реализована только в
процессе установки и приемки всей системы.
После начала формальных проверок все изменения функций ПО и данных о конфигурации дол
жны быть осуществлены в строгом соответствии с установленной процедурой проведения модифика
ций.
12.4.6.1 Дополнительные требования не предусмотрены.
12.4.6.2 Дополнительные требования не предусмотрены.
12.4.6.3 Дополнительные требования не предусмотрены.
12.4.7 Требования к комплексным испытаниям ППО
12.4.7.1 Дополнительные требования не предусмотрены.
12.4.7.2 Дополнительные требования не предусмотрены.
12.4.7.3 Дополнительные требования не предусмотрены.
12.5 Интеграция ППО с подсистемой ПСБ
12.5.1 Цель
12.5.1.1 Дополнительные требования не предусмотрены.
12.5.2 Требования
12.5.2.1 Испытания интеграции могут быть проведены на любой стадии подтверждения соотве
тствия ПСБ.
12.5.2.2 Дополнительные требования не предусмотрены.
12.5.2.3 Дополнительные требования не предусмотрены.
12.6 Процедуры модификации ПО на ФЯП и ЯОИ
12.6.1 Цель
12.6.1.1 Дополнительные требования не предусмотрены.
37