Integrated Debugging of Equation-Based Models

Sjölund, Martin; Casella, Francesco; Pop, Adrian; Asghar, Adeel; Fritzson, Peter; Braun, Willi; Ochel, Lennart; Bachmann, Bernhard

doi:10.3384/ecp14096195

Cited by 5 publications

(1 citation statement)

References 8 publications

(12 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Despite its importance, only a few MDD tools, e.g., ProgramDev [71], IBM RSARTE [45], and Timing Architects [86] support live debugging capabilities. Further, some studies try to address model-level debugging using traditional approaches [3,26,36,67,77,92]. Martin et al [3,67,77] develop an integrated debugging plug-in for equation-based models created by Modelica [61].…”

Section: Model-level Debugging On the Target Platformmentioning

confidence: 99%

Live modeling in the context of state machine models and code generation

et al. 2020

View full text Add to dashboard Cite

Live modeling has been recognized as an important technique to edit behavioral models while being executed and helps in better understanding the impact of a design choice. In the context of Model-driven Development (MDD) models can be executed by interpretation or by the translation of models into existing programming languages, often by code generation. This work is concerned with the support of live modeling in the context of state machine models when they are executed by code generation. To this end, we propose an approach that is completely independent of any live programming support offered by the target language. This independence is achieved with the help of a model transformation which equips the model with support for features which are required for live modeling. A subsequent code generation then produces a self-reflective program that allows changes to the model elements at runtime (through synchronization of design and runtime models). We have applied the approach in the context of UML-RT and created a prototype (Live-UMLRT) that provides a full set of services for live modeling of UML-RT state machines such as re-execution, adding/removing states and transitions, and adding/removing action code. We have evaluated the prototype on several use-cases. The evaluation shows that (1) generation of a self-reflective and model instrumentation can be carried out with reasonable performance, and (2) our approach can apply model changes to the running execution faster than the standard approach that depends on the live programming support of the target language.

show abstract