Take a look at QGen in action.
In this demo we show several code generation strategies using QGen in Ada and C from a standard Simulink® model.
In this demo we explore QGen's model verification capabilities. We look at two different types of models and two kinds of analysis: bug finding and model proof.
Simultaneous Support for Multiple Versions of Simulink®
This video illustrates a valuable feature of QGen, namely that a single version of QGen supports multiple versions of Simulink. This means that you can upgrade from a relatively old version of Simulink, such as R2008b, to a newer version, such as R2015b, and still use exactly the same code generator.