Т аблица
1 — Жизненный цикл программного обеспечения (ПО) системы безопасности: обзор
ГОСТ Р МЭК 61508-3—2012
ъ
Ф
Z
Z
3
ф
2
1
со
Спецификация
требова
ний к ПО системы беэо-
пасности
План подтверждения со
ответствия для аспектов
ПО безопасности систе
мы
Описание проекта архи
тектуры ПО.
Спецификация проверки
интефации архитектуры
по.
Спецификация проверки
интефации ПО/ПЭ (как
тпоК.ст M-ilf С1С
Л
Я-ОЧ
J
\
>
>
i
I
Инструментальные
средства поддержки и
стандарты кодирования.
Выбор инструментов
разработки
Z
Z
3
ф
2
3
S
со
Спецификация
тре
бований
к
Э/Э/ПЭ
системе
безопас
ности
в
результате
распределения (см.
МЭК 61508-1)
Спецификация
тре
бований к Э/Э/ПЭси
стеме безопасности
(из МЭК 61508-2)
gig
Д >5 5
111
Спецификация
тре
бований к ПО систе
мыбезопасности.
Проект архитектуры
аппаратных средств
Э/Э/ПЭ системы (из
МЭК 61508-2)
Спецификация
фебований к ПО
системы безопас
ное™.
Описание
проекта
архитектуры ПО
cuatfted иии
слянХи <1апоц
7.2.2
7.3.2
7.4.3
7.4.4
i
h
*
i s
о
ПЭ система.
Система ПО
ПЭ система.
Система ПО
ПЭ система.
Система ПО
ПЭ система.
Система ПО.
Инструмен
тальные
средства
поддержки.
Язык про-
Фаммирова
ння
Задача
Указать требования: к системе программируемой электро
ники (ПЭ); к ПО. связанному с безопасностью, в виде требова
ний к функциям безопасное™ ПО и к стойкости к системати
ческим отказам ПО.
Указать необходимые для реализации требуемых функций
безопасности требования к функциям безопасности ПО для
каждой Э/Э/ПЭ системы, связанной с безопасностью.
Указать требования кстойкости к систематическим отказам
ПО для каждой Э/Э/ПЭ системы, связанной с безопасностью,
необходимые для достижения уровня полноты безопасности,
указанного для каждой функции безопасности, назначенной
этой Э/Э/ПЭ системе, связанной с безопасностью
Разработать план подтверждения соответствия для аспек
тов ПО безопасное™ системы
Архитектура:
- разработать архитектуру ПО. которая соответствует ука
занным требованиям к ПО. связаннему с безопасностью, для
необходимого уровня полноты безопасное™;
- оценить требования, предъявляемые к ПО со стороны ар
хитектуры аппаратных средств Э/Э/ПЭ системы, связанной с
безопасностью, включая значение взаимодействия между про-
фаммным обеспечением и аппаратными средствами Э/Э/ПЭ
системы, для безопасное™ управляемого оборудования
Инструментальные средства поддержки иязыки профамми-
рования:
- выбрать подходящий набор инструментальных средств,
включая языки программирования и компиляторы, системные
интерфейсы времени выполнения, пользовательские интер
фейсы и форматы и представления данных для требуемого
уровня полноты безопасное™ в течение всего жизненного цик
ла ПО системы безопасности для верификации, подтвержде
ния соответствия, оценки и модификации
? £ 5 °?
Z О o S Д X
5 5 5 5 S &
; o ? s ; s
s;ith
f i l l ? !
10.1 Специфика
ция
требований
к
ПО
системы
безопасности
10.2
Планирова
ние подтвержде
ния соответствия
для аспектов ПО
безопасности си
стемы
10.3
Проекторо-
вание
и
разра
ботка ПО
7