| HILT 2016 |
|
ACM SIGAda’s High Integrity Language Technology
International Workshop on
Model-Based Development and Contract-Based Programming
as part of Embedded Systems Week
(ESWEEK)
This presentation will demonstrate the QGen Model-Level Debugger which debugs auto-generated MISRA C or SPARK/Ada code by providing a graphical interface that shows the original Simulink(r) model from which the code was generated, and allows setting breakpoints on Simulink blocks, displaying and setting Simulink signal values, single stepping through the execution of a model, etc. The QGen Debugger is based on the gdb debugger, and so also has full support for debugging hand-written Ada/C/C++ code. The user interface includes the ability to provide simultaneous Simulink, Source code, and Assembly code views of the same piece of logic.