ГОСТ Р МЭК 61508-2—2012
Т а б л и ц а F.1 — Методы и средства, предотвращающие появление отказов в процессе проектирования и раз
работки полностью и неполностью специализированных цифровых СИС (см. 7.4.6.7)
Стадия
проекти
рования
Методы/меры. средства
Си. МЭК
61608-7
УПБ 1
УПБ 2
УПБ 3
УПБ 4
Начало
проекти-
рования
1 Структурное описание
Е.З
КР (HR)
ВЫСОКИЙ
КР (HR)
высокий
КР- (HR*)
высокий
КР- (HR’)
высокий
2 Описание проекта на (V)HDL (см. при
мечание)
Е.1
КР (HR)
ВЫСОКИЙ
КР (HR)
высокий
КР* (HR*)
высокий
КР- (HR-)
высокий
3 Ввод описаний схем
Е.2
HP (NR)
HP (NR)
HP (NR)
HP (NR)
4 Моделирование на (V)HDL (см. при
мечание)
Е.5
КР (HR)
ВЫСОКИЙ
КР (HR)
высокий
КР* (HR‘)
высокий
КР- (HR*)
высокий
5 Применение средств моделирования
на (V)HDL. проверенных в эксплуатации
(см. примечание)
Е.4
КР (HR)
ВЫСОКИЙ
КР (HR)
высокий
КР- (HR*)
высокий
КР- (HR")
высокий
6
Функциональное тестирование
на уровне модулей (используя, напри
мер (V)HDL описания испытательных
стендов) (см. примечание)
Е
.6
КР (HR)
ВЫСОКИЙ
КР (HR)
высокий
КР- (HR-)
высокий
КР* (HR’)
высокий
7 Высокоуровневое функциональное
тестирование
Е.7
КР (HR)
ВЫСОКИЙ
КР (HR)
высокий
КР- (HR-)
высокий
КР* (HR-)
высокий
8
Функциональное тестирование
во внешней системной среде
Е
.8
Р (R)
средний
р
(R)
средний
КР (HR)
высокий
КР (HR)
высокий
9 Ограниченное использование асин
хронных конструкций
Е.9
КР (HR)
ВЫСОКИЙ
КР (HR)
высокий
КР- (HR-)
высокий
КР- (HR")
высокий
10 Синхронизация основных входов
и управление метастабильностью
Е.10
КР (HR)
ВЫСОКИЙ
КР (HR)
высокий
КР- (HR‘)
высокий
КР- (HR*)
высокий
1
1
Проектирование тестируемости (в за
висимости от охвата тестами. %)
Е.11
P(R)
>95%
р
(R)
>98%
р
(R)
> 99 %
>
Р (R)
99%
12 Разбиение на модули
Е.12
Р (R)
средний
р
(R)
средний
КР (HR)
высокий
КР (HR)
высокий
13 Охват сценариями верификации
Е.13
Р (R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
14 Соблюдение руководств по кодирова
нию
Е.14
КР (HR)
высокий
КР (HR)
высокий
КР- (HR-)
высокий
КР* (HR’)
высокий
15 Применение средства проверки кода
Е.15
Р (R)
р
(R)
р
(R)
р
(R)
16 Программирование с защитой
Е.16
Р (R)
низкий
р
(R)
средний
КР (HR)
высокий
КР- (HR’)
высокий
17 Документальное оформление резуль
татов моделирования
Е.17
КР (HR)
низкий
КР (HR)
средний
КР (HR)
высокий
КР* (HR*)
высокий
18а Проверка кода
Е.18
P(R)
средний
Р (R)
высокий
КР (HR)
высокий
КР- (HR")
высокий
18Ь Сквозной контроль
Е.19
Р (R)
средний
Р
(R)
высокий
КР (HR)
высокий
КР- (HR*)
высокий
19а Применение прошедших под
тверждение соответствия программных
блоков, специфицированных на языке
описания аппаратных средств, для про
ектирования микросхем
Е.20
Р
(R)
средний
P(R)
высокий
КР* (HR*)
высокий
КР- (HR-)
высокий
19Ь Подтверждение соответствия про
граммных блоков, специфицированных
на языке описания аппаратных средств,
для проектирования микросхем
Е.21
Р (R)
средний
р
(R)
высокий
КР* (HR*)
высокий
КР- (HR-)
высокий
71