Model-level debugging: a bridge between control engineering and software engineering: Page 6 of 6

February 01, 2018 //By S. Tucker Taft
Model-level debugging: a bridge between control engineering and software engineering
A "model-level" debugger is a debugger that can provide a side-by-side view of a simulation model of a control system (for example defined using Simulink) with the source code produced by an automatic code generator, and allow the developer to use the model instead of the generated source code for setting breakpoints, viewing and updating signal values, and stepping through execution. 

AdaCore has developed a model-level debugger based on the principles outlined above, as part of its QGen Model-Based Development Suite. This is helpful for users who prefer a model-based view of the world, to nevertheless debug problems that only show up on the final target.  Something that was unexpected, is that such a debugger turns out to be helpful for users who are new to model-based development, by showing them the correlation between models and auto-generated code, and connecting modeling concepts with programming concepts, which modeling neophytes may find more accessible.  And finally, the ability to see the same system from multiple viewpoints allows system engineers and software engineers to work together to ensure the overall quality of the delivered model-based system.

About the author:

S. Tucker Taft is Director of Language Research at AdaCore – – He can be reached at

Vous êtes certain ?

Si vous désactivez les cookies, vous ne pouvez plus naviguer sur le site.

Vous allez être rediriger vers Google.