ГОСТ Р МЭК 61508-2—2012
Приложение F
(справочное)
Методы и средства, предотвращающие систематические отказы в СИС
F.1
Основные положения
Для предотвращения отказов во время разработки специализированных интегральных схем (СИС) должны
быть применены следующие методы и средства:
П р и м е ч а н и я
1 На настоящее приложение ссылается 7.4.6.7.
2 Следующие методы и средства связаны только с цифровыми СИС и ИС. программируемыми пользовате
лями. Для аналого-цифровых и аналоговых СИС в настоящее время не могут быть предложены никакие общие
методы и средства.
a) Все действия по выполнению проекта, схемы тестирования, инструменты, используемые для функцио
нального моделирования, и его результаты должны быть документально оформлены.
b
) Все инструменты, библиотеки и производственные процедуры должны быть проверены в эксплуатации.
Они включают в себя:
- применение конкретного инструмента (включая различные версии с эквивалентными функциями) в тече
ние достаточно длительного промежутка времени в подобных проектах или более сложных.
П р и м е ч а н и е — Достаточно длительный промежуток времени мог в этом случае быть 2 года;
- применение общих или широко используемых инструментов, гарантирующих, что информация о возмож
ных ошибках и ограничениях известна для данного инструмента и/или данной его версии, которую необходимо
рассмотреть во время использования. Для того чтобы отследить существующие отказы, производителями должны
быть выполнены управление и контроль версии:
- проверки внутренней непротиворечивости и правдоподобия для предотвращения отказов в различных ба
зах данных, создаваемых различными инструментами.
П р и м е ч а н и е — Обучение пользователей является очень важным из-за быстрых изменений и про
гресса в данной области.
c) Все действия и их результаты должны быть проверены, например, моделированием, проверками эквива
лентности. временным анализом или проверкой технологических ограничений.
d) Должны использоваться средства воспроизводимости и автоматизации процесса реализации проекта
(сценарий должен быть обоснован, выполняемые работы автоматизированы и последовательность выполнения
проекта спланирована).
e) Из «мягких» (специфицированных на языке описания аппаратных средств VHDL или Verilog) и «твердых»
[специфицированных на физическом (топологическом) уровне реализации СИС] макроблоков, поставляемых тре
тьей стороной, должны использоваться только те макроблоки, для которых выполнено подтверждение соответ
ствия и которые должны соответствовать всем ограничениям и указаниям, определенным для макроблоков по
ставщиком. если это возможно. Если для макроблока отсутствуют доказательства его проверки в эксплуатации, то
каждый такой макроблокдолжен рассматриваться как блокс вновь написанным кодом, поэтому для негодолжно быть
полностью выполнено подтверждение соответствия.
f) При проектировании должны использоваться проблемно-ориентированные с высоким уровнем абстракции
методология проектирования и язык описания проекта.
П р и м е ч а н и е — Для описания проекта должен использоваться язык описания аппаратных средств,
такой, например, как язык описания технических средств на быстродействующих интегральных схемах VHDL
или Verilog. Это наиболее распространенная методология описания аппаратных средств, используемая в насто
ящее время при проектировании СИС. Оба языка определены в стандартах IEEE и. как предполагается, удов
летворяют рекомендациям для высокоуровневых языков программирования. Язык описания аппаратных средств
может использоваться для описания проекта и функциональных моделей или испытательных стендов. Для опи
сания проекта допускается использовать только то подмножество языка описания аппаратных средств, которое
позволят синтезировать аппаратные средства на уровне межрегистровых передач. Часть языка описания аппарат
ных средств (не способная к синтезу кода), достаточная для описания функциональных моделей и испытательных
стендов, названа «языком моделирования поведения аппаратных средств».
д) Должен быть достигнут соответствующий уровень тестируемости (для тестирования полностью и непол
ностью специализированных СИС в процессе производства).
h)Необходимо учитывать задержки в логических элементах и межсоединениях (проводников) во время те
стирования и выполнения проверки СИС.
69