ГОСТ Р 53195.4—2010
Т а б л и ц а А.2 — Рекомендации по применимости методов/средств для проектирования и разработки ПО: проек
тирование структуры программ (см. 5.6.5)
Мотоды/средства проектирования структуры программ
Ссыпка на структурную
единицу стандарта
Раит применимости методов/средств для
SIL1SIL2SIL3SIL4
1 Обнаружение и диагностика сбоев и ошибок
В.3.1,
ГОСТ Р 53195.5
--
P(R)
KP (HR) KP (HR)
2 Обнаружение и исправпение ошибок
В 3 2
ГОСТ Р 53195.5
P(R)P(R)
P(R)KP (HR)
За Программирование с проверкой ошибок
В.3.3,
ГОСТ Р 53195.5
P(R)P(R)
P(R)KP (HR)
36 Методы «подушки безопасности»
В.3.4,
ГОСТ Р 53195.5
--
P(R)
P(R)
P(R)
Зв Многовариантное программирование
В.3.5,
ГОСТ Р 53195.5
P(R)P(R)
P(R)KP (HR)
Зг Блоки восстановления
В.3.6,
ГОСТ Р 53195.5
P(R)P(R)
P(R)
P(R)
Зд Восстановление предыдущего состояния
В.3.7,
ГОСТ Р 53195.5
P(R)
P(R)
P(R)P(R)
Зе Прямое восстановление
В.3.8,
ГОСТ Р 53195.5
P(R)
P (R)
P(R)
P(R)
Зж Повторный запуск механизмов восстановле
ния после ошибок
В.3.9,
ГОСТ Р 53195.5
P(R)P(R)
P(R)KP (HR)
Зи Сохранение достигнутых состояний
В.3.10.
ГОСТ Р 53195.5
-
P(R)
P(R)
KP (HR)
4 Постепенное отключение функций
В.3.11.
ГОСТ Р 53195.5
P(R)
P(R)
KP (HR) KP (HR)
5 Исправление ошибок методами искусственно
го интеллекта
В.3.12.
ГОСТ Р 53195.5
-
HP (NR)
HP (NR) HP (NR)
6 Динамическая реконфигурация
В.3.13.
ГОСТ Р 53195.5
-
HP (NR)
HP (NR) HP (NR)
7а Структурные методы, включая,
JSD. MASCOT. SADT и Yourdon
например.В.2.1,
ГОСТ Р 53195.5
KP (HR) KP (HR) KP (HR) KP (HR)
76 Полуформальные методы
Таблица Б.7,
настоящий стандарт
P(R)
P(R)
K
P (HR) KP (HR)
8 Компьютерные средства разработки специфи
каций
Б.2.4,
P(R)
P(R)KP (HR) KP (HR)
ГОСТ Р 53195.5
П р и м е ч а н и е — Приведенные в данной таблице средства, касающиеся устойчивости к ошибкам
(контроль ошибок), должны рассматриваться совместно с требованиями, описанными в ГОСТ Р 53195.3 к струк
туре и контролю ошибок для АС программируемых электронных устройств.
Т а б л и ц а А.З — Рекомендации по применимости методов/средств для проектирования и разработки ПО.
инструментальные средства поддержки и языки программирования (см. 5.6.6)
Методы.»ср«дства дпя проектирования инструментальных
средств поддержки
и языки программирования
Ссылка на
структурную
единицу
ГОСТ Р 53195.5
Ранг применимости методов/средств дпя
SIL1SIL2SIL3SIL4
1 Выбор соответствующего языка программирования
В.4.7KP (HR)
KP (HR) KP (HR) KP (HR)
2 Строго типизированные языки программирования
В.4.1KP (HR)
3 Подмножество языка
В.4.2—
4а Сертифицированные средства
В.4.3
Р (R)
KP (HR) KP(HR) KP (HR)
-
KP(HR) KP
(HR)
KP (HR) KP(HR) KP (HR)
25