Parallel discrete event simulation
Communications of the ACM - Special issue on simulation
Theoretical Computer Science
On the Fly Test Generation for Real Time Protocols
IC3N '98 Proceedings of the International Conference on Computer Communications and Networks
Introduction to modeling and simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
Introducing a UML model for faster-than-real-time simulation
WSC '05 Proceedings of the 37th conference on Winter simulation
Simulation Model Composition using BOMs
DS-RT '06 Proceedings of the 10th IEEE international symposium on Distributed Simulation and Real-Time Applications
Compositional testing of communication systems
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Hi-index | 0.00 |
The analysis of concurrent real time systems involves dealing with issues like time dependant execution semantics as well as behaviour complexity due to a large number of execution schemes in the concurrent applications. In this paper we exploit the structure of communicating timed components to address the previous issues while attempting to avoid the complexity related to the construction of the global product of the communicating subcomponents. We propose a new simulation approach based on (1) grid automata semantics and (2) composition of previously computed patterns. This enables the design of simulation scenarios against concurrent real-time applications, with low cost. An example is presented to illustrate the results of the method.