Explicit modelling of a CBD experimentation environment
Hans Vangheluwe, Joachim Denil, Sadaf Mustafiz, Daniel Riegelhaupt, Simon Van Mierlo · 2014
In this paper, we explicitly model an experimentation and debugging environment for the interactive simulation of Causal Block Diagram (CBD) models. This is achieved by deconstructing the coded CBD simulator and subsequently reconstructing it. During this re-construction, the environment, as well as the modal part of the simulator, are modelled using the Statecharts formalism. These models are combined, resulting in a model of the timed, reactive behaviour of our experimentation and debugging environment for CBDs. In the model of our environment, inspiration is taken from the code debugging world, as well as from the simulation world (including different notions of time). The environment is implemented using a client-server architecture, with a browser front-end.