Home Products Design Code generator can handle 100 Simulink blocks

Code generator can handle 100 Simulink blocks

AdaCore has released QGen 1.0, a qualifiable and customisable code generator and model verifier for Simulink and Stateflow models. This tool can generate MISRA C and SPARK source code producing readable, traceable, and efficient code. It is particularly suited for developing and verifying high-integrity real-time control applications, especially where safety certification is required.

Design

1 March 2015

byNews Desk

The tool is highly configurable thanks to its visible intermediate representation.

QGen handles around 100 Simulink blocks. These were selected as a safe subset that guarantees predictable code generation patterns, does not require any run-time support, and allows for tool qualification against software safety standards. Support for Stateflow models is expected during late Q2 2015.

The tool’s static model verifier detects run-time errors such as integer overflow and division by zero. It also can find logic errors such as dead execution paths, and verify functional properties through Simulink Assertion blocks. QGen can be integrated with AdaCore’s GNATemulator and GNATcoverage tools to support Processor-in-the-Loop (PIL) testing and structural coverage analysis without any code instrumentation.

Qualification material for QGen will be available for standards such as DO-178C (avionics), EN 50128 (rail), and ISO 26262 TCL3 (automotive). The model verification feature is qualifiable for DO-178C at Tool Qualification Level 5.