Модельно-ориентированное проектирование включает автоматическую генерацию HDL-кода из исполняемых графических моделей, которые могут использоваться для FPGA (программируемая пользователем вентильная матрица) программирование или ASIC (интегрированный канал приложений) прототипирование и проект. Продукты Simulink® от MathWorks® стали принятым стандартом для Модельно-ориентированного проектирования. Simulink и программная поддержка Stateflow® графическое моделирование с основанными на времени блок-схемами и основанной на событии машиной состояний. Блок MATLAB Function (Simulink) позволяет вам включению алгоритмов MATLAB® в моделях Simulink. HDL Coder™ поддерживает генерацию HDL-кода на основе моделей Simulink, включая диаграммы Stateflow и функции MATLAB.
Если сгенерированный HDL-код развертывается в связанных с безопасностью приложениях, моделирование и генерация HDL-кода должно быть дополнено мерами и методами, чтобы проверить и подтвердить модель и сгенерированный HDL-код. Применение этих мер и методов специализированным способом служит цели валидации 1 перевода, которую успешная валидация перевода обеспечивает высокой степени доверия, что — для экземпляра проекта на рассмотрении — выход генератора кода и цепи средства разработки HDL предоставляет эквивалентное поведение ввода - вывода как модель, используемую для генерации HDL-кода.
Рабочий процесс HDL Coder описывает процесс валидации перевода, предназначенный, чтобы выполнить применимые требования полного жизненного цикла безопасности, заданного ISO 26262-5, ISO 26262-6, ISO 26262-11, IEC 61508-2, IEC 62304, ISO 25119, EN 50128 и EN 50657, когда они относятся к верификации и валидации моделей и сгенерированного HDL-кода.
Примечание
Разработка нового продукта ISO 26262-5 в ссылках аппаратного уровня ISO 26262-11 для программируемых аппаратных компонентов, таких как ASIC и FPGA. Ссылки ISO 26262-11 ISO 26262-6 для аспектов разработки модельно-ориентированного проектирования.
[1]
Рабочий процесс обращается к уровням риска для безопасности ASIL – ASIL D согласно ISO 26262, SIL 1 - SIL 4 согласно IEC 61508, Классу A – Класс C согласно IEC 62304, SRL B, 1, 2, 3 согласно ISO 25119 и SIL 0 – SIL 4 согласно EN 50128 и EN 50657.
Примечание
IEC 61508 рекомендует предотвращение функций безопасности SIL 4; это - ответственность пользователя инструмента проверять меры как использование разнообразных инструментов для той же цели, другие меры по снижению риска, и т.д.
Завершение рабочего процесса верификации и валидации считается эквивалентным использованию сертифицированного набора инструментальных средств генерации HDL-кода, чтобы разработать приложение на рассмотрении (IEC 61508-3, пункт 7.4.4.10).
Выполнение целей ISO 26262-6, IEC 61508-3, IEC 61511-1, IEC 62304, ISO 25119, EN 50128 и EN 50657, связанный с процессами разработки программного обеспечения, требует проверки и проверки разрабатываемого прикладного программного обеспечения HDL (валидация перевода).
Рабочий процесс для специализированной верификации и валидации моделей и сгенерированного HDL-кода, обрисованного в общих чертах в Рабочем процессе HDL Coder, делит процесс валидации перевода на два шага:
Верификация проекта: Продемонстрируйте, что модель, используемая для генерации производственного кода, ведет себя, как задано в ее требованиях.
Верификация HDL-кода: Продемонстрируйте эквивалентность между моделью и сгенерированным HDL-кодом.
Первый шаг комбинирует подходящие методы верификации и валидации на уровне модели. Второй шаг полагается в основном на сравнение модели и сгенерированного HDL-кода. С этим двухступенчатым подходом можно завершить действия верификации и валидации, в основном на уровне модели. Уровень модели повторного использования тестирует при проверке сгенерированного HDL-кода.
Обзор рабочего процесса для специализированной верификации и валидации моделей и сгенерированного HDL-кода
Чтобы получить доступ к документу Рабочего процесса HDL Coder, откройте Менеджера артефактов. Под HDL Coder, открытым certkitiec_hdlcoder_workflow.pdf файл.
[1] А. Пнуели, М. Зигель, Э. Синджермен: Валидация Перевода. Читайте лекции Примечаниям в Информатике, Издании 1384, стр 151-166. Спрингер, 1998
