HILT 2016             ACM logo - Advancing Computing as a Science & Profession

ACM SIGAda’s High Integrity Language Technology
International Workshop on
Model-Based Development and Contract-Based Programming
as part of Embedded Systems Week (ESWEEK)

Interactive Model-Level Debugging of Auto-Generated Code

Abstract

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.


Created on 4 October 2016;  website comments and corrections to ClydeRoby at ACM.Org