Полный рабочий процесс для Simulink® Code Inspector™ и встречающийся DO 178 целей охватывают эти подрабочие процессы:
Проверка совместимости модели: Проверяйте модель Simulink на совместимость с правилами Simulink Code Inspector.
Проверка совместимости модели может значительно уменьшать количество времени, чтобы достигнуть удовлетворительных результатов инспекции кода путем представления проблем рано в процессе разработки моделей. Проверки совместимости также продвигают модель, блок и шаблоны использования кодера, которые имеют тенденцию выравниваться с потребностями приложений повышенной надежности, такими как поддержание высокой степени трассируемости. Проверка совместимости модели является инкрементным и итеративным процессом. Для большего количества детали смотрите, что Совместимость Модели Проверяет.
Инспекция кода: Запустите Simulink Code Inspector, чтобы сравнить сгенерированный код C с его исходной моделью.
Во время инспекции кода Simulink Code Inspector систематически исследует блоки, параметры и настройки в модели, чтобы определить, эквивалентны ли они структурно операциям, операторам и данным в сгенерированном коде, и генерирует структурную эквивалентность, и трассируемость сообщает, что можно использовать для сертификации программного обеспечения. Инспекция кода является инкрементным и итеративным процессом. Для большего количества детали см. Обзор Инспекции кода.
Сертификация программного обеспечения: Используйте отчеты инспекции кода в качестве части пакета сертификации, чтобы удовлетворить программному обеспечению DO 178, кодирующему цели верификации.
Продукт DO Qualification Kit обеспечивает менеджера артефактов, который позволяет вам управлять пакетом сертификации для своего DO - 178C проект. Набор также предоставляет подробную информацию о том, как применить Модельно-ориентированное проектирование к DO - 178C. Для получения дополнительной информации смотрите Рабочий процесс Модельно-ориентированного проектирования в DO - 178C (DO Qualification Kit) и https://www.mathworks.com/products/do-178.html.
Квалификация инструмента: Используйте отчеты инспекции кода в качестве части квалификации Simulink Code Inspector для проектов на основе DO - 178C стандарт.
MathWorks® обеспечивает продукт DO Qualification Kit для квалификации Simulink Code Inspector и других инструментов верификации MathWorks для проектов на основе DO - 178C стандарт. Для получения дополнительной информации смотрите Рабочий процесс Модельно-ориентированного проектирования в DO - 178C (DO Qualification Kit), Артефакты Квалификации инструмента (DO Qualification Kit) и https://www.mathworks.com/products/do-178.html.
Сквозной общий рабочий процесс для Simulink Code Inspector следующие:
Откройте модель. Если вы хотите работать с рабочей копией модели, сохранить копию модели к рабочей папке и изменить директорию в папку работы.
Подготовьте модель к генерации кода и контролю.
Из окна топ-модели, на вкладке Apps, выбирают Code Inspector.
Чтобы отключить оптимизацию генерации кода, которая несовместима с Simulink Code Inspector, нажмите Model Settings. В диалоговом окне модели Configuration Parameters, на панели Оптимизации, устанавливает параметр Disable incompatible optimizations на -SLCI. Эта установка ограничивает оптимизацию кода, используемую Embedded Coder к подмножеству, которое совместимо с Simulink Code Inspector. Когда вы используете эту установку, сгенерированный код может отличаться от кода, сгенерированного без -SLCI установка. Различия не влияют на поведение сгенерированного кода.
На основе ваших требований, настроенных параметров в Настройках Модели выпадающее меню. Например, если вы проверяете модель, которая ссылается на другие модели, можно принять решение проверять только топ-модель или целую иерархию модели - ссылки. При выбирании опции Inspect all referenced models включает модели, на которые ссылаются, в проверку совместимости модели и инспекцию кода.
Задайте, хотите ли вы использовать цель топ-модели или цель образца модели для проверки совместимости, генерации кода и инспекции кода путем выбирания подходящей опции от As: выпадающий список.
Осуществите проверки совместимости модели. Нажмите Check Compatibility. Программа контроля совместимости отображает индикатор выполнения.
Анализируйте результаты проверки совместимости модели.
Если вы решили проверять только топ-модель, результаты отображены в диалоговом окне Model Advisor. Отчет Model Advisor отображен в панели Compatibility Checker рядом с моделью.
Если вы решили проверять все модели, отчет Model Advisor топ-модели отображен в панели Compatibility Checker. Чтобы просмотреть отчет модели, на которую ссылаются, которая проверялась, выберите имя модели, на которое ссылаются, из выпадающего списка в верхнем левом углу панели.
Если проверки передают, модель готова к инспекции кода. Если о несовместимостях сообщают, фиксируют или работают вокруг проблем и перепроверяют модель на совместимость.
Проверьте функциональность во время выполнения модели. Если вы изменили модель, чтобы обратиться к несовместимостям, повторно проверьте функциональность модели при помощи тестов симуляции. Перед продолжением инспекции кода ваша модель должна симулировать без ошибок.
Сгенерируйте код С для модели, если это не было уже сгенерировано. Нажмите Generate Code. Сгенерированный код появляется в Представлении кода рядом с моделью. Если код был сгенерирован ранее и поместил в системе управления конфигурацией, убедитесь, что код доступен и готов к контролю.
Сконфигурируйте инспекцию кода.
Если ваш сгенерированный код не использует Embedded Coder по умолчанию® структура папок, обновите установку Code Placement соответственно.
Опционально, можно изменить местоположение, к которому инспекция кода пишет отчет инспекции кода при помощи текстового поля Inspect> Report Folder.
Смотрите сгенерированный код. Нажмите Inspect.
Рассмотрите результаты инспекции кода.
Если вы решили смотреть только топ-модель, результаты верификации отображены непосредственно в панели Code Inspector Verification Results.
Если вы решили смотреть все модели, результаты верификации топ-модели отображены в панели Code Inspector Verification Results. Чтобы рассмотреть результаты верификации модели, на которую ссылаются, откройте модель в отдельном окне независимо. Из нового окна откройте панель Code Inspector Verification Results вручную путем нажатия на View Verification.
Если все модели получают полный инспекционный пройден результат, инспекция кода завершена. Если состояние Warning или Failed возвращено для модели, зафиксируйте, или обходное решение выпускают и повторно смотрят модель.
Когда вы удовлетворены результатами инспекции кода, генерируете отчеты HTML путем нажатия на Generate Report.
Если вы решили смотреть только топ-модель, подробный акт осмотра кода HTML топ-модели отображен.
Если вы решили смотреть все модели, итоговый отчет HTML отображен. Сводный отчет соединяется с подробными отчетами инспекции кода для топ-модели и каждой моделью, на которую ссылаются.
Если вы используете отчеты инспекции кода в качестве части пакета сертификации, чтобы удовлетворить программному обеспечению DO 178, кодирующему цели верификации, дальнейшие шаги определяются большим процессом сертификации. Для получения информации о том, как применить Модельно-ориентированное проектирование к встрече DO - 178C цели, смотрите Рабочий процесс Модельно-ориентированного проектирования в DO - 178C (DO Qualification Kit), Артефакты Квалификации инструмента для Simulink Code Inspector (DO Qualification Kit) и https://www.mathworks.com/products/do-178.html.