QGen is a practical tool that uses a model based system engineering format, designed for use in safety-critical control systems. The model based concept allows the user to go back and alter the pre-existing building blocks instead of having to hand edit code.
The model is supported by MISRA C, SPARK, Simulink® and Stateflow®, with the update providing support for the 2015a/b and .slx formats. QGen can be used inside or outside the Simulink® environment, within which a large subset of blocks are supported.
QGen 2.1 supports several more Simulink® blocks, such as Enumerated Constant and provides an optimized implementation of Switch Blocks. In addition, the update supports commented out/through blocks and MATLAB versions 2008b through to 2015b.
QGen tool qualification material includes: DO-178C, EN 50128, and ISO-26262 TCL3 standards. Also, there is validation against Simulink® simulation.
For a more detailed explanation of QGen, why not check out Tucker Taft’s presentation from the 2015 AdaCore Tech Days?
AdaCore Tech Days 2016
Following the success of the AdaCore Tech Days in 2015. The 2016 AdaCore Tech Days will take place from 21st - 22nd September in Boston Massachusetts and on the 6th October in Paris.