Применение Модельно-ориентированного проектирования к системе высокой целостности требует дополнительного фактора и суровости так, чтобы система придерживалась заданных стандартов безопасности. DO - 178C, Факторы программного обеспечения в Бортовых Системах и Сертификации оборудования, является таким стандартом. Дополнение к DO - 178C, DO-331, дает представление об использовании технологий Модельно-ориентированного проектирования. MathWorks® обеспечивает продукт DO Qualification Kit, который можно использовать, чтобы квалифицировать инструменты верификации MathWorks для проектов на основе DO - 178C, DO-331 и связанных стандартов. Для получения дополнительной информации см. https://www.mathworks.com/products/do-178/.
Для получения информации о поддержке Модельно-ориентированного проектирования и MathWorks космоса и стандартов военной промышленности, см. DO Qualification Kit.
Если у вас есть лицензия на продукты Simulink® Check™, можно проверять, что модель Simulink или подсистема и код, который вы генерируете от него, выполняют выбранные аспекты DO - 178C стандарт.
Проверять вашу модель или подсистему:
Откройте Model Advisor.
Перейдите к By Task> Modeling Standards for DO-178C/DO-331.
Запуститесь DO-178C/DO-331 проверки (Simulink Check) проверки.
Для получения дополнительной информации об использовании Model Advisor смотрите Проверку Ваша Модель Используя Model Advisor.
Как правило, приложения, которые требуют сертификации, требуют некоторого уровня трассируемости между требованиями, моделями и соответствующим кодом.
| К... | Использование... |
|---|---|
| Объединенные документы требований с объектами в моделях Simulink | Setup Requirements Management Interface (Simulink Requirements), который доступен, если у вас есть лицензия Simulink Requirements™. |
| Проследите блоки модели и подсистемы к сгенерированному коду | Опция Трассируемости Модели к коду при генерации отчета HTML во время генерации кода или процесса сборки. |
| Проследите сгенерированный код до блоков модели и подсистем | Опция Трассируемости Кода к модели при генерации отчета HTML во время генерации кода или процесса сборки. |