Controlled simulation of real-time systems

In this paper we study the problem of controlling the simulation of time-dependent systems like software, manufacturing or business processes. Provided that such systems have potentially large or infinite behaviour, their simulation may also be large or infinite, and here we propose strategies to automatically control the selection of the model aspects to be simulated according to some simulation goal. To ensure the soundness of the simulation, we derive an execution model from the system descriptive model, on the basis of a time semantics analysis.