ГОСТ Р МЭК 61508-3— 2012
a) спецификацию основных требований применения:
b
) допускаемые подмножества языка для этого применения:
c) методы разработки для объединения подмножеств языка:
d) критерии охвата проверкой решений для комбинаций возможных системных состояний.
G.5 Конфигурация на языке с ограниченной изменчивостью, полная конфигурируемость
применения
Для систем, соответствующих требованиям МЭК 61508, используется проблемно-ориентированный язык с
ограниченной предварительно установленной поставляемой функциональностью, в котором операторы языка со
держат или напоминают терминологию пользователя применения.
Существенным отличием применения языка с ограниченной изменчивостью при полной конфигурируемости
применения от применения языка с ограниченной изменчивостью при ограниченной конфигурируемости приме
нения является сложность конфигурации применения. Примерами таких применений могут служить графические
системы и системы управления серийного производства на основе SCADA-систем.
Обоснование адаптации жизненного цикла системы безопасности, кроме рассмотренного в G.4. должно
включать в себя (но не быть ограничено):
a) проект архитектуры применения:
b
) обеспечение шаблонов;
c) верификацию отдельных шаблонов:
d) верификацию и подтверждение соответствия применения.
При реализации и тестировании модулей самого низкого уровня проблема жизненного цикла, рассматривае
мая в настоящем стандарте, вероятно, будет неактуальна (в зависимости от используемого языка).
G.6 Конфигурация на языке с полной изменчивостью, конфигурируемость применения ограничена
См. G.7.
G.7 Конфигурация на языке с полной изменчивостью, полная конфигурируемость применения
Для этих систем применяются требования настоящего стандарта в течение всего жизненного цикла.
Части систем с полной изменчивостью разработаны на универсальных языках программирования или на
универсальных языках базы данных, или с использованием универсальных научных пакетов и пакетов моделиро
вания. Обычно эти части выполняются в компьютерной системе под управлением операционной системы, которая
управляет выделением системных ресурсов и средой мультипрограммирования реального времени. Например,
системы, написанные на языках с полной изменчивостью, могут включать в себя специализированные системы
управления оборудованием, специально разработанные системы управления полетом или веб-сервисыдля управ
ления службами, связанными с безопасностью.
90