ГОСТ Р МЭК 61511-1—2011
12.4.2.2 Метод проектирования должен быть совместим со средствами разработки и ограничениями,
принятыми для применяемой подсистемы ПСБ.
П р и м е ч а н и е — Ограничения на применение подсистемы ПСБ. необходимые для соответствия с
МЭК 61511, следует устанавливать в руководстве по безопасности оборудования.
12.4.2.3 Выбранный методпроектирования и прикладной язык(ЯОИ или ЯПИ)должны обладать свой
ствами. которые помогают:
a) добиться независимости, модульности и других свойств, влияющих на сложность; везде, где
возможно. ПОдолжно строиться набазе хорошопроверенных программных модулей, которые могут вклю
чать пользовательские библиотечные функции и четко определенные правила для организации связей
между программными модулями:
b
)получить выражения для:
- функциональной зависимости, в идеале в виде логического описания или алгоритма функции;
- информационного потока между модулями прикладных функций;
- требований программирования:
- гарантий того, что функции безопасности ПСБ всегда выполняются за установленные интервалы
времени;
- отсутствия неопределенного поведения;
- гарантийтого, что элементы внутренних данных безошибочно продублированы, все используемые
типы данных определены и осуществляется соответствующее действие, если данные находятся вне диа
пазона или потеряны;
- проектныхдопущений и их обусловленности;
c) добиться, чтобы разработчики и другие лица, которым необходимо знать проект, понимали как
прикладные функции, так и сведения об ограничениях используемых технологий;
d) провести проверку и подтверждение соответствия, в том числе для кодов ППО. прикладных фун
кций. интерфейсов с ПСБ. а также специфических особенностей конфигураций технического обеспечения
ПСБ;
e) обеспечить свойства, облегчающие внесение изменений в ППО. Такие свойства включают мо
дульность. прослеживаемость и документированность.
12.4.2.4 Созданный проект должен:
a) предусматривать проверки полноты данных и обоснованности проверок.
П р и м е ч а н и е — Например, сквозные проверки каналов связи, проверки диапазонов значений входных
данных датчика, проверки диапазонов значений данных входных и выходных параметров прикладных функций;
b
)быть прослеживаемым при анализе требований;
c)быть проверяемым.
d) обладать способностью к безопасной модификации;
e)сводить к минимуму сложность и объем ППО функции безопасности ПСБ.
12.42.5 Если ППО применяется для выполнения функций безопасности ПСБ, имеющих различные
УПБ. или функций, не связанных с безопасностью, то следуетсчитать, что все ПО должнобыть разработа но
как принадлежащее к самому высокому УПБ. кроме тех случаев, когда в проекте может быть показано,
чтофункции безопасности ПСБ. имеющие различные УПБ. являются независимыми. Обоснование незави
симостидолжно бытьдокументально оформлено. Для каждой функции безопасности ПСБ стребуемым от
нее УПБ должно быть определено, является она независимой или нет.
П р и м е ч а н и я
1 МЭК 61511-2 определяет, как проектировать и разрабатывать ППО. когда ПСБ должна выполнять функ
ции. как связанные, так и не связанные с безопасностью.
2 МЭК 61511-2 определяет, как проектировать и разрабатывать ППО. когда ПСБ должна выполнять функ
ции безопасности с различными УБП.
12.4.2.6Если в проекте предусмотрено использование ранее разработанных библиотечных функций
ППО. тодолжно быть обосновано, что они удовлетворяют спецификации требований к безопасности ППО
(см. 12.2). Обоснованностьдолжна базироваться на:
- соответствии требованиям МЭК 61508-3. если используется ЯПИ: или
- соответствии требованиям МЭК61511, если используется ФЯП или ЯОИ; или
48