ГОСТ Р МЭК 61508-2— 2012
Продолжение таблицы F.2
Стадия
проектиро
вания
Мстодьп’меры. средства
См. МЭК
61S08-7
УПБ 1
УПБ 2
УПБ 3
УПБ
Л
Синтез
17 Внутренние проверки согласован
ности (см., например. Е.4 приложения Е
МЭК 61508-7)
—
КР (HR)
высокий
КР (HR)
высокий
КР’
(HR*)
высокий
КР*
(HR*)
высокий
18а Моделирование логической схемы
на основе списка соединений для провер
ки ограничений синхронизации
Е.22
P(R)
средний
Р (R)
средний
Р (R)
высокий
Р (R)
высокий
18Ь Статический анализ задержки рас
пространения сигнала STA
Е.23
Р (R)
средний
Р (R)
средний
Р (R)
высокий
Р (R)
высокий
19а Проверочное сравнение списка сое
динений логических элементов с эталон
ной моделью средствами моделирования
Е.24
P(R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
19Ь Сравнение списка соединений логи
ческих элементов с эталонной моделью
(формальный тест на эквивалентность)
Е.25
Р (R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
20 Для PLD/CPLD в сложных проектах:
проверка проекта моделированием
—
Р (R)
средний
Р (R)
средний
КР (HR)
высокий
КР (HR)
высокий
21 Проверка требований и ограничений
поставщика СИС
Е.26
КР (HR)
высокий
КР (HR)
высокий
КР*
(HR*)
высокий
КР*
(HR*)
высокий
22 Документальное оформление ограни
чений. результатов и средств синтеза
Е.27
КР (HR)
высокий
КР (HR)
высокий
КР*
(HR*)
высокий
КР*
(HR*)
высокий
23 Применение проверенных в эксплуата
ции средств синтеза
Е.28
КР (HR)
высокий
КР (HR)
высокий
КР*
(HR*)
высокий
КР*
(HR*)
высокий
24 Применение проверенной в эксплуата
ции целевой библиотеки
Е.29
КР (HR)
высокий
КР (HR)
высокий
КР*
(HR*)
высокий
КР*
(HR*)
высокий
25 Процедуры, основанные на сценарии
Е.30
р
(R)
высокий
Р (R)
высокий
КР (HR)
высокий
КР*
(HR*)
высокий
76