Применение Модельно-ориентированное проектирование к системе высокой целостности требует дополнительного фактора и строгости, чтобы система соответствовала определенным стандартам безопасности. 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 | Настройка Requirements Management Interface (Simulink Requirements), которая доступна, если у вас есть лицензия Simulink Requirements™. |
Проследите блоки модели и подсистемы к сгенерированному коду | Опция Трассируемости Model-to-Code при генерации отчета о HTML во время генерации кода или процесса сборки. |
Проследите сгенерированный код, чтобы смоделировать блоки и подсистемы | Трассируемость Code-to-Model опции при генерации отчета о HTML во время генерации кода или процесса сборки. |