ГОСТ Р МЭК 61508-2— 2012
Продолжение таблицы F. 1
Стадия
проекти
рования
М етоды/керы. средства
См. МЭК
61508-7
УПБ 1
УПБ 2
УПБ 3
УПБ 4
Синтез
20а Моделирование логической схемы
на основе списка соединений для про
верки ограничений синхронизации
Е.22
P(R)
средний
Р (R)
средний
Р (R)
высокий
р
(R)
высокий
20Ь Статический анализ задержки рас
пространения сигнала (STA)
Е.23
P(R)
средний
Р (R)
средний
Р (R)
высокий
р
(R)
высокий
21а Проверочное сравнение списка со
единений логических элементов с эта
лонной моделью средствами моделиро
вания
Е.24
Р (R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
21b Сравнение списка соединений логи
ческих элементов с эталонной моделью
(формальный тест на эквивалентность)
Е.25
Р (R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
22 Проверка требований и ограничений
поставщика СИС
Е.26
КР (HR)
высокий
КР (HR)
высокий
КР* (HR*)
высокий
КР* (HR*)
высокий
23 Документальное оформление ограни
чений. результатов и средств синтеза
Е.27
КР (HR)
высокий
КР (HR)
высокий
КР* (HR*)
высокий
КР* (HR*)
высокий
24 Применение проверенных в эксплуа
тации средств синтеза
Е.28
КР’
(HR*)
высокий
КР‘
(HR*)
высокий
КР* (HR*)
высокий
КР* (HR*)
высокий
25 Применение проверенной в эксплуа
тации целевой библиотеки
Е.29
КР*
(HR*)
высокий
КР*
(HR*)
высокий
КР* (HR*)
высокий
КР* (HR*)
высокий
26 Процедуры, основанные на сценарии
Е.ЗО
Р (R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
Ввод
теста
и гене
рация
тестово
го шаб-
лона
27 Реализация тестовых структур
Е.31
Р (R)
>95%
Р (R)
>98%
р (R)
> 99 %
Р (R)
>99%
28а Оценка тестового охвата модели
рованием (основанная на достигнутом
тестовом охвате. %)
Е.32
Р (R)
>95%
Р (R)
>98%
Р (R)
> 99 %
р
(R)
> 99 %
28Ь Оценка тестового охвата примене
нием средств ATPG (основанная на до
стигнутом тестовом охвате. %)
Е.ЗЗ
р
(R)
>95%
р
(R)
>98%
р
(R)
>99%
р
(R)
>99%
29а Моделирование логической схемы
на основе списка соединении для про
верки ограничений синхронизации
Е.22
р
(R)
средний
р
(R)
средний
КР (HR)
высокий
КР (HR)
высокий
29Ь Статический анализ задержки рас
пространения сигнала (STA)
Е.23
Р (R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
30а Проверочное сравнение списка со
единений логических элементов с эта
лонной моделью средствами моделиро
вания
Е.24
р
(R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
ЗОЬ Сравнение списка соединений логи
ческих элементов с эталонной моделью
(формальный тест на эквивалентность)
Е.25
Р (R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
72