ГОСТ РМЭК 62061—2015
- диапазоном допустимых входных данных;
- поврежденными данными перед передачей;
- последствиями ошибок в процессе передачи параметров;
- последствиями неполной передачи параметров;
- последствиями сбоев и отказов технических средств и программного обеспечения в инструмен
тальных средствах, используемых для параметризации.
6.11.2.3 Необходимо, чтобы инструментальное средство, используемое для параметризации, от
вечало;
- всем соответствующим требованиям к подсистеме в соответствии с настоящим стандартом для
обеспечения корректной параметризации;
- использовалась специальная процедура для установки связанных с безопасностью параметров.
Эта процедура должна включать подтверждение:
- входных параметров для СБЭСУ путем повторной передачи измененных параметров в инстру
ментальное средство параметризации либо применением других средств, подтверждающих полноту
параметров,
- результата (например, соответственно подготовленным специалистом и автоматической про
веркой инструментальным средством параметризации).
Примечание — Это особенно важно, если параметризацияосуществляется с помощью устройства, спе
циально не предназначенногодля этой цели (например, персонального компьютера или аналогичного устройства);
- использование для предотвращения систематических отказов разнообразия в функции(ях) мо
дулей программного обеспечения, предназначенных для кодирования или декодирования в процессе
приема/передачи. и модулей программного обеспечения, предназначенных для визуализации пользо
вателю связанных с безопасностью параметров.
6.11.2.4 В документации на программное обеспечение на основе параметризации должны ука
зываться используемые данные (например, предварительно определенные наборы параметров), а
также информация, необходимая для идентификации параметров, связанных с СБЭСУ, о лице(ах),
осуществляющем(их) параметризацию вместе с другой соответствующей информацией, такой как дата
параметризации.
6.11.2.5 Должны применяться следующие действия по верификации для программного обеспече
ния на основе параметризации;
- верификация правильности установки для каждого связанного с безопасностью параметра (ми
нимальное, максимальное и репрезентативные значения);
- верификация того, что связанные с безопасностью параметры проверяются на достоверность,
например, путем обнаружения недопустимых значений и т. д.;
- верификация того, что несанкционированные изменения связанных с безопасностью параме
тров невозможна:
- верификация того, что данные/сигналы для параметризации создаются и обрабатываются та
ким образом, что сбои не могут привести к потере СБФУ.
Примечание — Это особенно важно, если параметризацияосуществляется с помощью устройства, спе
циально не предназначенногодля этой цели (например, персонального компьютера или аналогичного устройства).
6.11.3 Проектирование и разработка прикладного программного обеспечения
Примечание — Содержание данного пункта основано на МЭК61508-3.
6.11.3.1 Общие требования
6.11.3.1.1 Требования МЭК 61508-3 распространяются на языки с полной изменчивостью. Следу
ющие требования должны применяться к программному обеспечению применений, реализованных на
языках с ограниченной изменчивостью.
6.11.3.1.2 Результаты действий, осуществляемых в процессе разработки программного обеспече
ния применения, должны быть проверены на соответствующих стадиях.
6.11.3.1.3 В соответствии с требуемым уровнем полноты безопасности для СБФУ выбранные ме
тод проектирования и прикладной язык должны обладать соответствующими применению характери
стиками, которые упрощают:
а)абстракцию, разделение на модули и другие характеристики, контролирующие уровень сложно
сти; где это возможно, программное обеспечение должно быть основано на хорошо зарекомендовавших
37