O. Koné (France)
Modelling, Simulation, Real-time systems, Controllability
In this paper we study the problem of controlling the sim ulation of time-dependent systems like software, manufac turing 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 en sure the soundness of the simulation, we derive an execu tion model from the system descriptive model, on the basis of a time semantics analysis.
Important Links:
Go Back
