Exponenta Banner

Обзор инструментов

Существует два типа инструментов, используемых в рабочем процессе, средствах разработки и инструментах верификации.

Средства разработки включают:

  • Simulink®

  • Stateflow®

  • MATLAB®

  • MATLAB Coder™

  • Simulink Coder

  • Embedded Coder®

Инструменты верификации включают:

  • MATLAB Report Generator™

  • Simulink Report Generator

  • Simulink

  • Simulink Design Verifier™

  • Simulink Code Inspector™

  • Simulink Check™

  • Simulink Coverage™

  • Simulink Test™

  • Polyspace® Bug Finder™

  • Polyspace Bug Finder Server™

  • Polyspace Code Prover™

  • Polyspace Code Prover Server

Документация DO Qualification Kit

Поддержка