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