Автоматическая генерация кода

Simulink Coder ™ (ранее Real-Time Workshop ®) создает и исполняет C и C + + код из моделей Simulink ® , диаграмм ® и функций MATLAB ®. Созданный исходный код может быть использован в приложениях реального времени или в приложениях, которые не требуют выполнения в реальном времени. Этот код также может использоваться для ускорения моделирования, быстрого прототипирования и аппаратно-программного тестирования (Hardware In the Loop). Вы можете настраивать параметры и наблюдать за сигналами в созданном коде, используя Simulink или взаимодействовать с кодом вне среды MATLAB и Simulink.

Embedded Coder генерирует читаемый, компактный и быстрый С/С++ код для использования на встроенных процессорах, отладочных платах и микроконтроллерах. Embedded Coder включает дополнительные возможности конфигурации и оптимизации в продуктах MATLAB Coder и Simulink Coder для детальной настройки над функциями сгенерированного кода, файлами и данными. Данные возможности улучшают производительность кода, облегчают интеграцию с существующим кодом, типами данных и параметрами калибровки. Вы можете включить программные среды сторонних производителей в процесс разработки «под ключ» для развертывания на встроенных системах. Embedded Coder имеет встроенную поддержку программных стандартов AUTOSAR и ASAP2. Также предоставляет отчеты трассировки, документирование кода и автоматическую программную верификацию для соответствия процессу разработки по стандартам DO-178, IEC 61508 и ISO 26262.

HDL Coder - это продукт семейства MATLAB и Simulink для генерации полноценного Verilog и VHDL-кода по Simulink моделям и Stateflow диаграммам. Пакет расширяет возможности разработки аппаратных устройств в среде MATLAB и обеспечивает генерацию VHDL и Verilog кода c побитовым и цикловым соответствием исходной модели Simulink. HDL Coder позволяет создавать аппаратные устройства на основе программируемых логических интегральных схем (ПЛИС/FPGA) и специализированных интегральных схем (СИС /ASIC), разрабатывать прототипы, тестировать и проверять HDL-реализации Simulink-моделей. HDL Coder генерирует читаемый и изменяемый VHDL или Verilog-код без аппаратной привязки к конкретной платформе.

DO Qualification Kit – это пакет инструментов, содержащий документацию, контрольные примеры и методики, которые позволяют подготовить проверочные инструменты Simulink® или PolySpace® для проектов, выполняемых по стандарту DO-178. Пакет содержит методики по подготовке инструментов разработки, эксплуатационные требования к инструментам, и другие дополнительные материалы, обязательные при подготовке программных средств проверки и испытаний. Используя данный пакет, Вы можете упростить и ускорить сертификацию ваших встроенных систем, разработанных с помощью Simulink или PolySpace. Существуют специальные версии пакетов для подготовки инструментов проверки, подтверждения и испытаний Simulink, а также для инструментов проверки кода PolySpace под сертификацию проекта по стандарту DO-178. Для каждой версии поддерживаемых инструментов DO Qualification Kit содержит артефакты разработки, необходимые для подготовки инструментов к стандарту. Вы можете изменять эти артефакты в соответствии с Вашим проектом и передавать их в органы сертификации в составе пакета сертификационных документов.

IEC Certification Kit – это пакет инструментов, который обеспечивает набор документации, сертификатов и шаблонов, которые помогут Вам использовать Real-Time Workshop Embedded Coder™ или инструменты проверки кода PolySpace® в тех проектах, которые будут сертифицированы по стандартам IEC 61508 или ISO 26262. Пакет включает в себя сертификаты и отчеты от сертификационного центра TÜV SÜD, которые основаны на задокументированных, отражающих специфику конкретного применения, процессах проектирования. С помощью данного пакета Вы можете упросить сертификацию Ваших встроенных систем, разрабатываемых с помощью Simulink® или продуктов PolySpace. Определенные версии Real-Time Workshop Embedded Coder и PolySpace Verifier для кода C, который включает анализатор кода на стандарт MISRA-C:2004, были сертифицированы TÜV SÜD для использования со стандартом IEC 61508. Для каждой из сертифицированных версий этих продуктов пакет содержит сертификаты, отчеты и дополнительные материалы, необходимые чтобы соответствовать стандарту. Вы можете изменять эти артефакты в соответствии с Вашим проектом и передавать их в органы сертификации как доказательство того, что Ваш продукт или ПО соответствуют стандартам IEC 61508-3 и ISO/DIS 26262-8.

Simulink PLC Coder - данный продукт позволяет автоматически генерировать соответствующий стандарту IEC 61131 код для программируемых логических контроллеров (PLC) и программируемых контроллеров автоматизации (PAC). Simulink PLC Coder позволяет использовать Модельно-ориентированное проектирование для промышленного и силового оборудования, управляемого PLC и PAC При помощи Simulink PLC Coder, инженеры могут автоматически генерировать код для промышленных систем управления, включая замкнутые системы и системы контроля с обратной связью. Автоматическая генерация кода, неотъемлемая часть Модельно-ориентированного проектирования, помогает устранить ошибки, связанные с традиционным ручным написанием кода и уменьшает время разработки и валидации.