ГОСТ Р ИСО 26262-10— 2014
Продолжение таблицы А.8
Требования
ИСО26262-5
Стадия
проектирования
Метод
1
мера
Цель
7.4.1.6 Свойства
модульного проектиро
вания
Синтез
Процедуры, основан
ные на сценарии
Воспроизводимость результатов и автомати
зация циклов синтеза
7.4.2.4 Надежные прин
ципы проектирования
Достаточныйзапас
времени для техноло
гических процессов,
которые применяют
ся менее трех лет
Обеспечение устойчивости реализуемой
функциональности схемы даже при серьез
ной флуктуации процесса и параметров
7.4.1.6 Свойства мо
дульного проектирова
ния (тестируемость)
Включение те
ста и генерация
тестового при
мера
Тестопригодное про
ектирование (в за
висимости от охвата
тестом, в %)
Избежать не тестируемые или плохо те
стируемые структуры, чтобы достигнуть вы
сокий тестовый охват для заводских испыта
ний или тестирования в режиме он-лайн
7.4.1.6 Свойства мо
дульного проектирова
ния (тестируемость)
Доказательствоте
стового охвата при
менениемсредств
автоматическойге
нерации тестового
примера (ATPG). на
основе достигаемого
тестового охвата, в%
Определение ожидаемого тестового охва
та для синтезируемых тестовых примеров
(«Сканирование пути». BIST) в процессе ис
пытаний проекта.
Целевой уровень охвата и модели отказа
определены и представлены
7.4.4 Верификация
проекта аппаратных
средств
Включение те
ста и генерация
тестового при
мера
Моделирование лот-
ческой схемы на ос
нове списка соедине
ний при запущенном
тесте для проверки
ограничений синхро
низации или статиче
ский анализ задержки
распространения сиг
нала (STA)
Независимая проверка достигаемого ограни
чения синхронизации во время выполнения
теста
7.4.4 Верификация
проекта аппаратных
средств
Сравнениелогиче
ской схемы на основе
спискасоединений
логических элементов
при запущенномтесте
с эталонной моделью
(формальный тест на
эквивалентность)
Проверка функциональной эквивалентности
списка соединений логических элементов
при запущенном тесте
7.4.4 Верификация
проекта аппаратных
средств
Размещение,
трассировка,
генерация то
пологии
Моделирование лот-
ческой схемынаосно
ве списка соединений
логических элементов
послетрассировки
для проверки ограни
чений синхронизации
или статический ана
лиз задержки распро
странениясигнала
(STA)
Независимая проверка достигаемого ограни
чения синхронизации во время завершения
трассировки
7.4.4 Верификация
проекта аппаратных
средств
Анализ сети питания
Демонстрация устойчивости сети питания
и эффективности механизмов, связанных с
безопасностью. Например испытание при
падении внутреннего сопротивления.
66