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