DO-178C/DO-331 проверки облегчают разработку и устранение неисправностей моделей, на основе которых создается код для приложений, которые должны отвечать требованиям безопасности или критически важным требованиям.
При выполнении проверок Check™ Model Advisor выполняет взятие на изменение лицензии Simulink ® DO-178C/DO-331 .
Эти проверки квалифицированы квалификационным комплектом DO для использования в проектах, связанных со стандартом DO-178 и соответствующими стандартами.
Выполнить проверку и проверку результатов с помощью помощника по модели
Проверки квалифицированного консультанта по моделям (квалификационный комплект DO)
Код чека: mathworks.do178.MdlChecksum
Отображение информации о версии модели в отчете.
Эта проверка отображает следующую информацию для текущей модели:
Номер версии
Автор
Дата
Контрольная сумма модели
Доступно при проверке Simulink.
| Состояние | Рекомендуемое действие |
|---|---|
| Не удалось получить сведения о версии модели и контрольной сумме. | Эта сводка предоставляется для вашего сведения. Никаких действий не требуется. |
Не выполняется для библиотечных моделей.
Не допускает исключения блоков или диаграмм.
Отчеты для генерации кода (Simulink Coder)
Радио-Техническая Комиссия для Аэронавтики (RTCA) для получения информации о - 178C Соображения программного обеспечения в Airborne Systems и Сертификация оборудования и связанные стандарты