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