AdaCore: new version of model-based development and verification toolset QGen 2.1

AdaCore released the latest 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.  In addition, QGen 2.1 offers a number of other enhancements including optimization of code for switch blocks, the ability to add external code for Lookup tables and Prelookup blocks, support for commented-out / commented-through blocks, and factoring of code for reference models and model libraries. QGen 2.1 is compatible with MATLAB versions 2008b through 2015b.

As a prototype capability, initial support for model-level debugging is available as a supplement to QGen 2.1.  Using the GNAT Programming Studio IDE, developers can debug both “pure” Simulink/Stateflow models and applications that combine manually prepared code with the auto-generated code.  At the start of a debug session, side-by-side views of the model and the corresponding generated SPARK/Ada or MISRA C code are displayed.  The developer can set breakpoints on individual blocks, which will automatically set breakpoints at the corresponding points in the generated code.  Other capabilities include stepping execution one block at a time, viewing the values of signal variables, and stepping into or out of model subsystems.  Host (native) debugging, and cross-debugging with any target supported by GDB, will be provided in a subsequent release.

More Information...

Latest News from AdaCore

AdaCore: new Versions of GNAT Pro, CodePeer, QGen and SPARK Pro
AdaCore: new version of model-based development and verification toolset QGen 2.1
AdaCore releases GNAT Pro 7.4
AdaCore: SPARK Pro 16 helps reduce certification effort for safety-critical systems