Продукт автоматически сравнивает сгенерированный код с его исходной моделью для удовлетворения требований инспекции кода.
Simulink Code Inspector автоматически сравнивает сгенерированный код с его исходной моделью для удовлетворения требований инспекции кода (Code Review) для DO-178 и других стандартов разработки критичного к безопасности ПО. 

Simulink Code Inspector систематично проверяет блоки, параметры и настройки в модели, чтобы определить, являются ли они структурно эквивалентными операциями, операторами и данными в сгенерированном коде. 

Simulink Code Inspector делает подробный анализ отслеживаемости (traceability) между моделью и кодом. Он генерирует отчеты структурной эквивалентности и отслеживаемости, которые можно представить сертификационному органу при сертификации по DO-178.

 

Ключевые особенности

  • Анализ и отчеты структурной эквивалентности
  • Двунаправленный анализ и отчеты отслеживаемости между кодом и моделью
  • Анализ на соответствие использования в модели блоков и настроек генератора кода тем, которые обычно используются при разработке ПО критичного к безопасности
  • Simulink Code Inspector работает независимо от генераторов кода
 

Системные требования

  • MATLAB
  • Simulink
  • Требуется С компилятор, поддерживаемый MATLAB


Поделиться

Рабочие процессы

Сферы применения

*
Настоящим в соответствии с Федеральным законом № 152-ФЗ «О персональных данных» от 27.07.2006, отправляя данную форму, вы подтверждаете свое согласие на обработку персональных данных . Мы, ООО ЦИТМ "Экспонента" и аффилированные к нему лица, гарантируем конфиденциальность получаемой нами информации. Обработка персональных данных осуществляется в целях эффективного исполнения заказов, договоров и пр. в соответствии с «Политикой конфиденциальности персональных данных». * - обязательные поля