DO-178C/DO-331 Проверки

DO-178C/DO-331 Проверки

DO-178C/DO-331 проверки упрощают разработку и поиск и устранение неисправностей моделей, из которых код сгенерирован для приложений, которые должны встретить безопасности или критически важным для миссии требованиям.

Model Advisor выполняет контроль лицензии Simulink® Check™, когда вы запускаетесь DO-178C/DO-331 проверки.

Эти проверки квалифицированы DO Qualification Kit к использованию в проектах, включающих стандарт DO-178 и связанные стандарты.

Смотрите также

Информация о версии модели дисплея

ID проверки: mathworks.do178.MdlChecksum

Информация о версии модели дисплея в вашем отчете.

Описание

Эта проверка отображает следующую информацию для текущей модели:

  • Номер версии

  • Автор

  • Дата

  • Контрольная сумма модели

Доступный с Simulink Check.

Результаты и рекомендуемые действия

УсловиеРекомендуемое действие
Невозможно получить информацию о версии и контрольной сумме модели. Эти сводные данные предоставлены для вашей информации. Никакое действие не требуется.

Возможности и ограничения

  • Не работает на моделях библиотеки.

  • Не позволяет исключения блоков или графиков.

Смотрите также