ГОСТ Р МЭК 61511-2—2011
е) если на объекте требуется применение логики, как критичной, так и некритичной для безопасности, то ло
гику. некритичную для безопасности, следует реализовывать в отдельных программах и использовать правила раз
деления. встроенные в программу.
0.4 Другие требования к конфигурированию/программированию и функционированию систем
безопасности
ПО для прикладного программирования имеет ряд особенностей, позволяющих пользователю получить дос
туп к информации логического решателя ПСБ. Однако необходимо, чтобы при этом была обеспечена безопасность
разрабатываемого ПО и чтобы пользователь имел возможность проверять правильность выполнения программ.
Некоторые из таких особенностей перечислены ниже:
a) средства программирования обеспечивают создание системы безопасного доступа, ограничивающей
всех пользователей только теми функциями, которые соответствуют их роли (например, менеджер корпорации, ру
ководитель объекта, руководитель проекта, инженер-проектировщик, старший программист, программист, опера
тор). Каждый пользователь регистрируется в системе со своим именем и паролем и после этого может работать
на своем функциональном уровне. Система безопасного доступа предусматривает также отдельный уровень
пользо вателя. занятого программированием безопасности, и отличный от него уровень для программирования, не
связан ного с безопасностью, так как компания пользователя может выразить желание дать возможность
внесения изменений в программы безопасности на объекте только нескольким лицам;
b
) предусматриваются защищенные или закрытые функции и библиотеки, которые недоступны программис
ту. либо он не может вносить в них изменения. Тем самым обеспечивается то. что библиотеки, прошедшие серти
фикацию или строгую проверку, не могут быть изменены без утверждения формального запроса на модификацию.
Система безопасного доступа позволяет пользователю установить то должностное лицо верхнего уровня, которое
имеет доступ или может изменять такие библиотеки (обычно это руководитель корпорации или объекта);
c) средства программирования также обеспечивают поддержку версий всех элементов разрабатываемого
проекта.
Л
юбое изменение конфигурациисистемы, функции, функционального блока или программы приводит киз
менению номера версии этого элемента. Это дает возможность пользователю быстро узнать, актуальна ли его до
кументация на текущую дату, позволяет ему сосредоточиться на испытании только тех позиций, которые были
изменены. Предусмотрены функции сравнения версий, с помощью которых пользователи могут выявить все изме
нения. включая непреднамеренные. Такие функции сравнения могут охватывать любые изменения в общей базе
данных имен индексов и а списке исполняемых программ;
d) ПО обеспечивает защиту файлов путем вычислений и сравнений результатов циклического контроля с по
мощью избыточных кодов всех потоков данных, хранящихся в сложной файловой структуре данного проекта.
e) логический решатель ПСБ обеспечиваетдоступ кдиагностической информации, благодаря чему програм
мист может предпринять соответствующие действия, основанные на сведениях о реальном состоянии логического
решателя;
() логический решатель ПСБ предоставляет такие средства, которые в случае необходимости позволяют
программисту проверять правильность выполнения арифметических операций;
д) средства программирования обеспечивают возможность эмулировать выполнение всех программ, разра
ботанных на рабочей станции программиста. Это позволяет программисту проверить все разработанные програм мы
в автономном режиме до того, как они будут загружены в логический решатель ПСБ. Такая проверка должна быть
обязательной в тех случаях, когда изменения проводятся в программе, выполняемой в режиме «он-лайн» на
действующей системе.
h)ПО поддерживает динамический обмен данными, который может быть использован для связи с програм
мами моделирования. Это дает возможность проводить дополнительные проверки прикладных программ а авто номном
режиме до их загрузки 8 контроллер безопасности.
D.5 Допущения
В данном подразделе рассмотрены допущения, связанные с аппаратными средствами и ПО. используемыми
при разработке ППО. Обсуждаются также соответствующие процедуры и документация.
1)
Л
огическое устройство ПСБ и связанные с ним модули ввода/вывода прошли оценку третьей стороны и
признаны соответствующими серии стандартов МЭК 61508. Область сертификации по МЭК 61508. признанная
третьей стороной, охватывает использование компонентов для функций безопасности ПСБ с УПБ 3.
2) Программирование ведется на языках с ограниченной изменчивостью, соответствующих (12]. включая
языки функциональных блок-схем, многоступенчатыхдиаграмм и структурированных текстов. Все функции и функ
циональные блоки, предоставляемые прикладными библиотеками, имеют атрибут, который определяет, может ли
этот компонент использоваться в функциях безопасности или только для случаев, не связанных с безопасностью.
При реализации функций безопасности ПСБ в прикладных программах, определяемых с атрибутом безопасности,
могут быть использованы только функции и функциональные блоки, имеющие атрибут безопасности. Прикладные
программы, обозначенные атрибутом «не связаны с безопасностью*, могут использовать функции и функциональ
ные блоки, имеющие атрибуты «не связаны с безопасностью» и «связаны с безопасностью».
3) Все языки программирования, поддерживаемые в (12]. а также библиотеки функций и функциональных
блоков с атрибутом безопасности должны быть сертифицированы на соответствие серии стандартов МЭК 61508.
53