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 стандартом и соответствующими стандартами.

См. также

Отобразите информацию о версии модели

Проверяйте идентификатор: mathworks.do178.MdlChecksum

Отобразите информацию о версии модели в отчете.

Описание

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

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

  • Автор

  • Дата

  • Модель контрольной суммы

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

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

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

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

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

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

См. также

Для просмотра документации необходимо авторизоваться на сайте