Demos

Code Generation

This demo shows how to use QGen to generate code in either Ada or C from a standard Simulink® model.

Model Verification

This demo illustrates QGen's model verification capabilities. It shows two different types of models and two kinds of analysis: bug finding and model proof.

Simultaneous Support for Multiple Versions of Simulink®

This video shows how a single version of QGen can support multiple versions of Simulink®. This brings an important benefit: you can upgrade from a relatively old version of Simulink®, such as R2011b, to a newer version, such as R2018b, and still use the same code generator.