Ada Resource Association

AdaCore has released a new version of its model-based development and verification toolset, QGen. QGen provides a qualifiable and customizable code generator from Simulink® and Stateflow® models to the safety-oriented programming languages SPARK (a formally analyzable Ada subset) and MISRA C. QGen 2.1 supports essentially all constructs used for modeling safety-critical control systems.