Embedded Coder

組込みシステム用に最適化された C コードと C++ コードの生成


Simulink Code Inspector
Automate source code reviews for safety standards

Simulink Verification and Validation
Verify models and generated code

IEC Certification Kit
Qualify code generation and verification tools for ISO 26262 and IEC 61508 certification

DO Qualification Kit
Qualify Simulink and Polyspace verification tools for DO-178 and DO-278


Web セミナーを表示する