ГОСТ Р МЭК 61508-3—2012
7.3.1 Цель
Целью требований настоящего подраздела является разработка плана подтверждения соответ
ствия аспектов, связанного с безопасностью программного обеспечения, безопасности системы.
7.3.2 Требования
7.3.2.1 В ходе планирования должны быть определены процедурные и технические шаги, кото
рые необходимо выполнить для того, чтобы продемонстрировать, что программное обеспечение соот
ветствует требованиям безопасности.
7.3.2.2 План подтверждения соответствия безопасности системы для аспектов программного
обеспечения должен содержать следующие положения:
a) точная дата, когда должно происходить подтверждение соответствия:
b
) перечень лиц. осуществляющих подтверждение соответствия;
c) идентификацию соответствующих режимов работы УО. включая:
- подготовку к использованию, а также установку и настройку.
- работу в режиме запуска и обучения, в автоматическом, ручном, полуавтоматическом и стацио
нарном режимах.
- переустановку, выключение, сопровождение.
- предполагаемые ненормальные условия и предполагаемые ошибки оператора;
d) идентификация программного обеспечения, связанная с безопасностью, для которого должна
быть проведена процедура подтверждения соответствия, для каждого режима работы УО до момента его
ввода в эксплуатацию.
e) техническая стратегия для подтверждения соответствия (например, аналитические методы, ста
тистическое тестирование и т.л.);
0 средства (методы) и процедуры в соответствии с перечислением о), которые должны быть ис
пользованы для того, чтобы подтвердить, что каждая функция безопасности соответствует установлен
ным требованиям к функциям безопасности и требованиям к стойкости к систематическим отказам про
граммного обеспечения;
д) условия, в которых должны происходить процедуры подтверждения соответствия (например, при
тестировании может потребоваться использование калиброванных инструментов и оборудования);
h) критерии прохождения/непрохождения подтверждения соответствия;
i) политика и процедуры, используемые для оценки результатов подтверждения соответствия, в
частности, при оценке отказов.
П р и м е ч ан и е — Эти требования основаны на общих требованиях подраздела 7.8 МЭК 61508-1.
7.3.2.3 Подтверждение соответствия должно дать обоснование выбранной стратегии. Техниче
ская стратегия для подтверждения соответствия программного обеспечения, связанного с безопасно
стью. должна содержать следующую информацию:
a) выбор ручных или автоматических методов, или и тех идругих,
b
) выбор статических или динамических методов, или и тех и других;
c) выбор аналитических или статистических методов, или и тех и других:
d) выбор критериев приемки на основе объективных факторов или экспертной оценки, или и того
и другого.
7.3.2.4 В рамках процедуры подтверждения соответствия аспектов программного обеспечения,
связанного с безопасностью, если этого требует уровень полноты безопасности (раздел 8 МЭК61508-1),
область применения исодержание плана подтверждения соответствия безопасности системы аспектов
программного обеспечения должны быть изучены экспертом или третьей стороной, представляющей
эксперта. Эта процедура должна также включать в себя заявление о присутствии эксперта при испыта
ниях.
7.3.2.5 Критерии прохождения/непрохождения при завершении подтверждения соответствия про
граммного обеспечения должны включать в себя:
a) необходимые входные сигналы, включая их последовательность и значения;
b
) предполагаемые выходные сигналы, включая их последовательность и значения и
c) другие критерии приемки, например использование памяти, синхронизацию, допустимые ин
тервалы значений.
7.4 Проектирование и разработка программного обеспечения
П р и м е ч ан и е — Эта стадия представлена на рисунке 4 (см. 10.3).
17