Explicit Modelling of Model Debugging and Experimentation.
Simon Van Mierlo · 2014
Abstract. In this paper, I present the topic of my PhD: the explicit modelling of model debugging and experimentation. Semantics of mod-elling formalisms include non-determinism, concurrency, and hierarchy, amongst others. Moreover, simulated time can have different relations to the wall-clock time and supports certain operations such as pausing. Providing debugging support for model simulations is non-trivial using traditional software development techniques. We therefore propose to model simulators, their debuggers, and environments explicitly. 1 Problem Definition The systems we analyse, design, and develop today are characterized by an ever growing complexity. Modelling and Simulation (M&S) become increasingly important enablers in the development of such systems, as they allow rapid prototyping and early validation of designs. Domain experts, such as automotive or aerospace engineers, build models of the (software-intensive) system being developed and subsequently simulate