Simulink ® Code Inspector™ автоматически сравнивает сгенерированный код со своей исходной моделью в соответствии с целями анализа кода в DO-178 и другими высокими стандартами целостности. Инспектор кода систематически проверяет блоки, диаграммы состояний, параметры и настройки в модели, чтобы определить, являются ли они структурно эквивалентными операциям, операторам и данным в сгенерированном коде. Simulink Code Inspector предоставляет подробный анализ прослеживаемости «модель-код» и «код-модель». Он создает отчеты о структурной эквивалентности и отслеживаемости, которые вы можете представить в сертификационные органы для выполнения DO-178 задач по проверке кодирования программного обеспечения .
Поддержка отраслевых стандартов обеспечивается с помощью квалификационного комплекта DO (для DO-178).
Выполнение ключевых задач в рабочем процессе проверки кода с помощью пользовательского интерфейса.
Проверка кода, созданного на основе моделей, и создание отчетов о проверке кода для поддержки сертификации программного обеспечения.
Достигайте своих DO-178C целей.
Проверьте модель на совместимость и проверьте созданный код.
Узнайте об ограничениях на обнаружение несовместимости моделей и проверку сгенерированного кода.
