ГОСТ Р МЭК 61508-3—2012
2 Для выбора соответствующих методов и средств (см. приложения А и В) для осуществления требования
данного пункта, необходимо рассмотреть следующие свойства (см. приложение С. где даны указания по интерпре
тации свойств, и приложение F МЭК 61508-7, где даны их неформальные определения) спецификации требований к
программному обеспечению системы безопасности:
- полнота охвата потребностей безопасности программным обеспечением;
- корректность охвата потребностей безопасности программным обеспечением:
- отсутствие ошибок в самой спецификации, включая отсутствие неоднозначности;
- ясность требований к системе безопасности.
- отсутствие неблагоприятного взаимовлияния функций, не связанных с безопасностью, и функций безопас
ности. реализуемых программным обеспечением системы безопасности;
- способность обеспечения проведения оценки и подтверждения соответствия.
3 Потребности безопасности, которым должно соотвествовать программное обеспечение, описываются на
бором функций безопасности и соответствующими требованиями полноты безопасности, определенных для функ
ций программного обеспечения в проекте Э/Э/ПЭ системы. (Полный набор требований к системе безопасности
гораздо шире, так как включает также функции безопасности, которые не выполняются программным обеспечени
ем). Полнота спецификации требований к программному обеспечению системы безопасности решающим образом
зависит от эффективности более ранних стадий жизненного цикла системы.
7.2.2.1Если требования к программному обеспечению, связанному с безопасностью, уже
были определены в требованиях к Э/Э/ПЭ системе, связанной с безопасностью (см. подраздел 7.2
МЭК 61508-2). повторять их не требуется.
7 2.2.2 Спецификация требований к программному обеспечению, связанному с безопасностью,
должна быть выработана на основе заданных требований к безопасности Э/Э/ПЭ системы, связанной с
безопасностью (МЭК 61508-2). и любых требований к планированию безопасности (см. раздел 6). Эта
информация должна быть доступна для разработчика программного обеспечения.
П рим ечан ия
1 Это требование означает, что должно быть тесное взаимодействие между разработчиком Э/Э/ПЭ системы
и разработчиком программного обеспечения (МЭК 61508-2 и МЭК 61508-3). По мере того как требования к безопас
ности и архитектура программного обеспечения (см. 7.4.3) становятся более определенными, может проявляться
влияние на архитектуру аппаратных средств Э/Э/ПЭ системы, и по этой причине становится важным тесное взаи
модействие между разработчиками аппаратных средств и программного обеспечения (см. рисунок 5).
2 Проект программного обеспечения может включать уже существующее и многократно использованное
программное обеспечение. Такое программное обеспечение может быть разработано без учета спецификации
требования к создаваемой системе. В 7.4.2.12 представлены требования к уже существующему программному
обеспечению, чтобы удовлетворить спецификации требований к программному обеспечению системы
безопасности.
7.2.2.3 Спецификация требований к программному обеспечению, связанному с безопасностью,
должна быть достаточно подробной для того, чтобы обеспечить стадии проектирования и внедрения
информацией для реализации требуемой полноты безопасности (включая требования к независимо
сти, см. МЭК 61508-2) и позволить выполнить оценку функциональной безопасности.
П р и м е ч ан и е — Уровень детальности спецификации может изменяться в зависимости от сложности при
менения. Соответствующая спецификация функционального поведения может включать требования к точности,
синхронизации и производительности, емкости, устойчивости, допустимой перегрузки и другие свойства, характе
ризующие конкретное применение.
7.2.2.4 Для решения проблемы независимости должен быть выполнен подходящий анализ отка
зов по общей причине. Если выявлены вероятные механизмы отказа, то должны быть приняты эффек
тивные меры защиты.
П р и м е ч ан и е — В приложении F приведены методы достижения одного аспекта независимости про
граммного обеспечения.
7.22.5 Разработчик программного обеспечения должен просмотреть информацию, содержащую
ся в 7.2.2.2 для того, чтобы гарантировать, что требования определены адекватным образом. В част
ности. разработчик программного обеспечения должен учесть;
a) функции безопасности;
b
) конфигурацию или архитектуру системы;
c) требования к полноте безопасности аппаратных средств (программируемой электроники, дат
чиков и исполнительных устройств):
d) требования к стойкости к систематическим отказам программного обеспечения;
14