Следующая таблица содержит сводные данные валидации и целей верификации от DO-254. Таблица также описывает доступные инструменты Model-Based Design для удовлетворения целей.
Таблица a-3: верификация и цели процесса валидации
| Цель | Касательно разделов | Уровни обеспечения | Доступные продукты для модельно-ориентированного проектирования | |
|---|---|---|---|---|
| 1 | Выведенные требования к аппаратным средствам, по которым должно быть проверено оборудование, правильны и завершены. | 6.1.1(1) | A, B, C, D | Simulink® Requirements™ |
| 2 | Выведенные требования оценены для влияния на безопасность. | 6.1.1(2) | A, B, C, D | Simulink Requirements |
| 3 | Пропуск и ошибки возвращены к соответствующим процессам для разрешения. | 6.1.1(3) | A, B, C, D | Simulink Requirements |
| 4 | Доказательство - то, при условии, что аппаратная реализация удовлетворяет требования. | 6.2.1(1) | A, B, C, D | Simulink Report Generator™, Simulink Test™, Simulink Coverage™, Simulink Design Verifier™, HDL Verifier™ |
| 5 | Трассируемость устанавливается между требованиями к аппаратным средствам, реализацией, и процедурами проверки и результатами. | 6.2.1(2) | A, B, C | Simulink Report Generator, Simulink Requirements, Simulink Test, HDL Coder™ |
| 6 | Критерии приемочного испытания идентифицированы, могут быть реализованы и сопоставимы с аппаратным уровнем обеспечения проекта аппаратных функций. | 6.2.1(3) | A, B, C, D | Не применяется |
| 7 | Пропуск и ошибки возвращены к соответствующим процессам для разрешения. | 6.2.1(4) | A, B, C, D | Не применяется |
Следующие разделы описывают потенциальное влияние для каждой цели при использовании Модельно-ориентированного проектирования, если применимо, по сравнению с традиционной разработкой.
Валидация выведенных требований к аппаратным средствам выполняется с помощью отзывов требований. См. 5.1.1 (1), ─ Требования Идентифицированы, Заданы и Зарегистрированные.
Выведенные требования к аппаратным средствам должны возвратиться к системному процессу оценки безопасности для оценки влияния на безопасность.
То же самое что касается традиционных проектов. См. 5.3.1 (3), ─ Пропуск Требования и Ошибки Предоставляются Соответствующему Процессу для Разрешения
Верификация сделана на каждом этапе процесса проектирования, концептуальной верификации проекта, верификации детального проектирования и аппаратной верификации элемента.
Когда модели используются, чтобы задать концептуальный проект, как описано в Разделе DO-254 2.2.4, соответствие с требованиями к аппаратным средствам выполняется при помощи комбинации образцовых отзывов, анализа модели и симуляции. Например:
Используйте Simulink Report Generator, чтобы сгенерировать отчет Описания Разработки системы, который включает отчет трассировки в требования к аппаратным средствам.
Чтобы проверить, что требования к аппаратным средствам удовлетворены, можно использовать Simulink Test и Simulink Coverage, чтобы разработать тесты из требований к аппаратным средствам и выполнить те тесты на модели.
Чтобы идентифицировать непредусмотренную функциональность в концептуальном проекте и также оценить полноту случаев симуляции, используйте отчет покрытия модели в Simulink Coverage.
Используйте Simulink Design Verifier, чтобы обнаружить ошибки проектирования.
Используйте Simulink Check™, чтобы проверить предопределенные образцовые стандарты и также создать настроенные проверки.
Используйте Simulink, чтобы сгенерировать Образцовый отчет Сравнения, который можно использовать, чтобы исследовать различия, просмотрите изменения, подсвеченные в исходных моделях, и слейте различия.
Когда вы используете HDL Coder, чтобы сгенерировать детальное проектирование, как описано в Разделе DO-254 2.2.7, соответствие с требованиями к аппаратным средствам выполняется при помощи комбинации отзывов HDL-кода и co-симуляции. Чтобы помочь проверить, что требования к аппаратным средствам удовлетворены, можно использовать Simulink Test и HDL Verifier, чтобы разработать тесты из требований к аппаратным средствам и выполнить те тесты на блоке co-симуляции. Инструмент co-симуляции может измерить покрытие HDL-кода во время этой симуляции. HDL Coder идет с набором правил кодирования промышленного стандарта, что можно применяться. Можно также вручную рассмотреть HDL-код для соответствия к правилам, выбранным для проекта.
Для верификации оборудования вы выполняете соответствие с требованиями к аппаратным средствам при помощи FPGA в тестировании цикла. Можно использовать Simulink Test и HDL Verifier, чтобы выполнить тесты на FPGA, чтобы проверить, что требования к аппаратным средствам удовлетворены. Или можно использовать традиционную тестовую среду, которая не включает Simulink или HDL Verifier, чтобы протестировать FPGA или ASIC.
Можно использовать DO Qualification Kit, чтобы квалифицировать эти возможности как инструмент верификации:
Моделирование систем повышенной надежности регистрируется в Simulink Check.
Пользовательские проверки Model Advisor.
Вы ответственны за определение инструмента операционные требования, тесты, процедуры и ожидаемые результаты для собственных проверок.
Поиск ошибок проектирования Simulink Design Verifier.
Когда используется для передачи и определения сбоя, менеджера по Тесту в Simulink Test.
Описание Разработки системы сообщает в Simulink Report Generator.
Покрытие модели в Simulink Coverage.
Образцовый отчет Сравнения в Simulink.
При использовании моделей, чтобы задать концептуальный проект, трассируемость к требованиям к аппаратным средствам устанавливается при помощи образцовых отзывов, которые включают отчет требований, сгенерированный Simulink Requirements. Можно использовать HDL Coder, чтобы сгенерировать отчет, который прослеживает детальное проектирование до концептуального проекта. Используйте Simulink Requirements, чтобы проследить тестовые обвязки Simulink до требований к аппаратным средствам.
То же самое что касается традиционных проектов.
То же самое что касается традиционных проектов.
