Применение конструкции на основе модели к системе с высокой целостностью требует дополнительного рассмотрения и строгости, чтобы система соответствовала определенным стандартам безопасности. DO-178C, вопросы программного обеспечения при сертификации воздушных систем и оборудования, является таким стандартом. Дополнение к DO-178C, DO-331, содержит руководство по использованию технологий проектирования на основе моделей. MathWorks ® предоставляет продукт DO Qualification Kit, который можно использовать для оценки инструментов проверки MathWorks для проектов на основе DO-178C, DO-331 и связанных стандартов. Дополнительные сведения см. в разделе https://www.mathworks.com/products/do-178/.
Для получения информации о поддержке стандартов аэрокосмической и оборонной промышленности на основе моделей и MathWorks см. Квалификационный комплект DO.
При наличии лицензии на продукт Simulink ® Check™ можно проверить, что модель или подсистема Simulink и код, создаваемый на ее основе, соответствуют выбранным аспектам стандарта DO-178C .
Чтобы проверить модель или подсистему:
Откройте мастер модели.
Перейдите в меню «По задаче» > «Стандарты моделирования для DO-178C/DO-331».
Выполните проверки DO-178C/DO-331 (Simulink Check).
Дополнительные сведения об использовании Model Advisor см. в разделе Проверка модели с помощью Model Advisor.
Как правило, приложения, требующие сертификации, требуют определенного уровня прослеживаемости между требованиями, моделями и соответствующим кодом.
| Кому... | Использовать... |
|---|---|
| Связывание документов требований с объектами в моделях Simulink | Настройка интерфейса управления требованиями (Simulink Requirements), которая доступна при наличии лицензии Simulink Requirements™. |
| Трассировка блоков и подсистем модели по сгенерированному коду | Параметр Отслеживание модели в коде (Model-to-Code Traceability) при создании HTML-отчета во время создания кода или процесса построения. |
| Трассировка сгенерированного кода к модельным блокам и подсистемам | Параметр Отслеживание кода к модели (Code-to-Model Traceability) при создании HTML-отчета во время создания кода или процесса построения. |