ГОСТ Р МЭК 61508-3—2012
ВИООИЯ
Поищи
Йнфигурфуммють
Ограниченная
КифЧФярв
Кмфаишаи
нагшиа<зподнся
мш а— аатма
Полон
сограниченной
юманчмостмз,
Полная
юнфмурфумюоп»
ЦНИИи ИП
{03>
Конфискат
на сограняю***
КИШП1ИЮСТЫ0.
Попам
монфмурируамаэгь
ЦМИИШ1НЯ
(QS)
ЮПИmaw
SG7J
КокЬмурация
аорашпимй
мяммчиоатъс.
Отринь пая
«н4миаф1шплъ
Ълфшямтя
нашмао попал
шина— одша.
ОфВНРМЯННВН
№НфЯ)МЯИПТЪ
т
Монфщрмап
наямка аограниченной
имажнвоога.
Офяитимая
■MtawvyinKJCib
цш ецы и
(04)
РИ)
Фоюцю— i n
ОграничиааяПолная
Фрашинтогестъ
-Высочи
|
Г^ИАЦПМЯМЖ Н
_
I
*-------------------- фраианшьжхпь ■"-----------------------“ I
Рисунок G.1 — Изменчивость языка и сложность систем, управляемых данными
G.3 Конфигурация на языке с низкой изменчивостью, полная конфигурируемость применения
Для систем, соответствующих требованиям МЭК 61508. используется патентованный язык конфигурации с
предварительно установленной поставляемой функциональностью.
Такой язык конфигурации не позволяет программисту изменять функцию системы, а конфигурирование огра
ничено созданием обширных данных статических параметров, позволяющих системе соответствовать ев приме
нению. Примером может служить система авиадиспетнерской службы, состоящая из данных с большим числом
сущностей данных, каждая из которых имеет один или болев атрибутов. Существенной характеристикой этих дан
ных является то. что они не содержат явных последовательностей, упорядочиваний или ветвлений и не содержат
представления комбинаторных состояний применения.
Обоснование адаптации жизненного цикла системы безопасности, кроме рассмотренного в G.2. должно
включать в себя (но не быть ограничено):
a) средства автоматизации для создания данных;
b
) проверку непротиворечивости, например на самосовместимость данных;
c) проверку правил, например для гарантирования генерации данных, удовлетворяющих определенным
ограничениям;
d) подтверждение соответствия интерфейсов системам подготовки данных.
G.4 Конфигурация на языке с ограниченной изменчивостью, конфигурируемость применения
ограничена
Для систем, соответствующих требованиям МЭК 61508. используется проблемно-ориентированный язык с
ограниченной предварительно установленной поставляемой функциональностью, в котором операторы языка со
держат или напоминают терминологию пользователя применения
Эти языки позволяют пользователям с ограниченной гибкостью настраивать функции системы в соответ
ствии с собственными конкретными требованиями, используя ряд аппаратных и программных элементов.
Существенной характеристикой языка с ограниченной изменчивостью является то. что данные могут содер
жать явные последовательности, упорядочивания или ветвления и вызывать комбинаторные состояния примене
ния. например программирование на основе функциональных блоков, многозвенные логические схемы, системы,
основанные на крупноформатной таблице, и графические системы.
Обоснование адаптации жизненного цикла системы безопасности, кроме рассмотренного в G.3. должно
включать в себя (но не быть ограничено):
89