ГОСТ Р МЭК 61508-3—2007
h) условия, в которых должны происходить процедуры подтверждения соответствия (например,
при тестировании можетпотребоваться использование калиброванныхинструментови оборудования):
i) критерии прохождения/непрохождения подтверждения соответствия (см. 7.3.2.5);
j) политику и процедуры, используемые для оценки результатов подтверждения соответствия, в
частности, при оценке отказов.
П р и м е ч а н и е — Эти требования основаны на общих требованиях МЭК 61508-1. пункт 7.8.
7.3.2.3 Техническаястратегиядля подтверждения соответствия программногообеспечения, свя
занногосбезопасностью (см. таблицуА.7. приложениеА), должнасодержатьследующую информацию:
a) выбор ручных или автоматических методов, или и тех и других:
b
) выбор статических или динамических методов, или и тех и других:
c) выбор аналитических или статистических методов, или и тех и других.
7.3.2.4 В рамках процедуры подтверждения соответствия программного обеспечения, связанно
го с безопасностью, если этого требует уровень полноты безопасности (МЭК 61508-1. пункт 8.2.12).
область применения и содержание планирования подтверждения соответствия безопасности програм
много обеспечения должны быть изучены экспертом или третьей стороной, представляющей эксперта.
Эта процедура должна также включать заявление о присутствии эксперта при испытаниях.
7.3.2.5 Критерии прохождения/непрохождения при завершении подтверждения соответствия
программного обеспечения должны включать:
a) необходимые входные сигналы, включая их последовательность и значения;
b
) предполагаемые выходные сигналы, включая их последовательность и значения и
c) другие критерии приемки, например использование памяти, хронометраж, допустимые интер
валы для значений.
7.4 Проектирование и разработка программного обеспечения
П р и м е ч а н и е — Эта фаза представлена на рисунке 3 (см. 9.3).
7.4.1 Цели
7.4.1.1 Первой целью требований настоящего подраздела является создание такой архитектуры
программного обеспечения, которая удовлетворяла бы требованиям к безопасности программного
обеспечения (см. 7.2) в отношении необходимого уровня полноты безопасности.
7.4.1.2 Второй целью требований настоящего подраздела является анализ иоценка требований,
предъявляемых к программному обеспечению со стороны аппаратных средств Е/Е/РЕ систем, связан
ных с безопасностью, включая значение взаимодействия между аппаратными средствами и програм
мным обеспечением Е/Е/РЕ систем для безопасности управляемого оборудования.
7.4.1.3 Третьей целью требований настоящего подраздела является выбор подходящего набора
инструментальных средств, включая языки программирования и компиляторы, который соответство
вал бы заданному уровню полноты безопасности на протяжении всего жизненного цикла систем безо
пасности и способствовал бы выполнению процессов верификации, подтверждения соответствия,
оценки и модификации.
7.4.1.4 Четвертой целью требований настоящего подраздела является проектирование и реали
зация программного обеспечения, которое удовлетворяло бы специфицированным требованиям к
безопасности программного обеспечения (см. 7.2) вотношении необходимого уровня полноты безопас
ности. Это программное обеспечение должно быть пригодным для анализа и верификации и обладать
способностью к безопасной модификации.
7.4.1.5 Пятой целью требований настоящего подраздела является проверка выполнения требо
ваний к безопасности программного обеспечения (в отношении необходимых функций и уровня полно ты
безопасности программного обеспечения).
7.4.2 Общие требования
7.4.2.1 В зависимости отхарактера процесса разработки программного обеспечения ответствен
ность за соответствие 7.4 может лежать только на поставщике, только на пользователе или на обеих
сторонах. Распределение ответственности должно быть определено во время планирования безопас
ности (см. раздел 6).
7.4.2.2 В соответствии с требуемым уровнем полноты безопасности выбранный метод проекти
рования должен обладать характеристиками, которые облегчают:
a) абстракцию, разделение на модули идругие характеристики, контролирующие уровень слож
ности,
b
) выражение:
- выполняемых функций,
15