ГОСТ Р МЭК 61508-3—2007
Т а б л и ц а В.З — Функциональное тестирование и проверка методом черного ящика (упоминаемые в табли
цах А.5, А.6 и А.7, приложение А(
Метод/средство"СсылкаSIL1
SIL2SIL3SIL4
1 Выполнение контрольного примера, начиная с при8.6.62
—
чинно-следственных диаграмм
—
RR
2 Макетирование,’анимацияC.S.17—
—RR
3 Анализ граничных значенийС.5.4R
HRHRHR
4 Разделение входных данных на классы эквивалентС.5.7R
ности
HRHRHR
5 Моделирование процессаC.S.18R
RRR
11Методы/средства следует выбирать в соответствии с уровнем полноты безопасности.
П р и м е ч а н и я
1 Анализ с использованием контрольных примеров выполняется на уровне систем программного обеспе
чения и основывается только на спецификациях.
2 Полнота моделирования будет зависеть от уровня полноты безопасности, сложности и применения.
Т а б л и ц а 8.4 — Анализ отказов (упоминается в таблице А.10, приложение А)
Меюд.’срсдстоо’1
СсыпкаSIC1SIL2
SIL3SIL4
1a Причинно-следственные диаграммы
В.6.6.2RR
RR
1в Анализ методом дерева событий
В.6.6.3RR
RR
2 Анализ методом дерева отказов
8.66.5RR
HRHR
3 Анализ режимов, последствий и критичности отказов
В.6.6.4RR
HRHR
4 Моделирование методом Монте-Карло
С.6.6RR
RR
Г| Методы/средства следует выбирать а соответствии с уровнем полноты безопасности. Альтернативные
или эквивалентные методы/средства обозначают буквами, следующими за числом. Следует выполнять только
один из альтернативных или эквивалентных методов/средств
П р и м е ч а н и е — Предварительно должен быть выполнен анализ рисков для отнесения программно
го обеспечения к соответствующему уровню полноты безопасности.
Т а б л и ц а В.5 — Моделирование (упоминается а таблице А.7. приложение А)
Метод|’средство>)
СсыпкаSIL1
SIL2SIL3SIL4
1 Схемы потока данных
С.2.2R
RRR
2 Конечные автоматы
В.2.3.2
-
RHRHR
3 Формальные методы
С.2.4—
RRHR
4 Моделирование характеристик
С.5.20R
HRHRHR
5 Метод сетей Петри
В.2.3.3—
RHRHR
6 Макетирование/анимация
С.5.17R
RRR
7 Структурные схемы
С.2.3R
RRHR
11
Методы/средства следует выбирать в соответствии с уровнем полноты безопасности.
П р и м е ч а н и е — Если какой-то конкретный метод не перечислен в таблице, не следует считать, что
он был исключен из рассмотрения. Этот метод должен соответствовать настоящему стандарту.
3S