ГОСТ Р МЭК 61508-3—2012
Окончание таблицы В. 7
Метод/срсдстоо*>
Ссылка
У
Л
Б1 УПБ2
УПБЗ У
Л
Б4
3 Диаграммы потоков данных
С.2.2
RR
RR
4а Конечные автоматы/диаграммы переходов
В.2.3.2
RR
HRHR
4Ь Моделирование во времени сетями Петри
В.2.3.3
RR
HRHR
5 Модели данных сущность-связь-атрибут
В.2.4.4
RR
RR
6 Диаграммы последовательности сообщений
С.2.14
RR
RR
7 Таблицы решений и таблицы истинности
С.6.1
RR
HRHR
8 UML
С.3.12
RR
RR
Г’ Методы/средства следует выбирать в соответствии с уровнем полноты безопасности. Альтернатив
ные или эквивалентные методы/средства обозначают буквами, следующими за числом. Следует выполнять
только один из альтернативных или эквивалентных методов/мероприятий. Выбор альтернативных методов дол
жен быть обоснован в соответствии со свойствами, приведенными в приложении С, желательно для каждого
применения.
П рим ечан ия
1
Л
огические и функциональные блок-схемы и диаграммы последовательности действий приведены в [7].
2 См. таблицу С. 17.
3 Ссылки (являющиеся справочными, а не обязательными) «В.х.х.х». «С.х.х.х» во второй графе указывают
на подробные описания методое/средств. изложенных в приложениях В и С [5].
Т аб лица В.8 — Статический анализ (см. таблицу А.9 приложения А)
Меюд/срсдстоо1
>
Ссыпка
УПБ1УПБ2 У
Л
БЗ УПБ4
1 Анализ граничных значений
С.5.4
RRHRHR
2 Таблица контрольных проверок
В.2.5
RRRR
3 Анализ потоков управления
С.5.9
RHRHRHR
4 Анализ потоков данных
С.5.10
RHRHRHR
5 Предположение ошибок
С.5.5
RRRR
6а Формальные проверки, включая конкретные критерии
С.5.14
RRHRHR
6Ь Сквозной контроль (программного обеспечения)
С.5.15
RRRR
7 Тестирование на символьном уровне
С.5.11
—
—
RR
8 Анализ проекта
С.5.16
HRHRHRHR
9 Статический анализ выполнения программы с ошибкой
В.2.2. С.2.4
RRRHR
10 Временной анализ выполнения при наихудших условиях
С.5.20
RRRR
1> Методы/средства следует выбирать в соответствии с уровнем полноты безопасности. Альтернатив-
ные или эквивалентные методы/средства обозначают буквами, следующими за числом. Следует выполнять
только один из альтернативных или эквивалентных методов/мероприятий. Выбор альтернативных методов дол-
жен быть обоснован в соответствии со свойствами, приведенными в приложении С. желательно для каждого
применения.
П рим ечан ия
1 См. таблицу С.18.
2 Ссылки (являющиеся справочными, а не обязательными) «В.х.х.х». «С.х.х.х»» во второй графе указыва
ют на подробные описания методов/средств. изложенных в приложениях В и С [5].
49