Decrease tool deployment and system verification costs with QGen

Speaker: Matteo Bordin, AdaCore

QGen is a qualifiable and tunable code generation and model verification tool for a safe subset of Simulink® and Stateflow® models. It promotes the use of Simulink® and Stateflow® models as the preferable platforms for model-based design of safety critical systems. QGen reduces the development and verification costs for safety-critical applications through qualifiable code generation, model verification, and tight integration with AdaCore’s qualifiable simulation and structural coverage analysis tools.

For more information, please have a look at http://www.adacore.com/qgen