Modeling and Verification of Time Dependent Systems Using Time Petri Nets
IEEE Transactions on Software Engineering
Exploiting temporal uncertainty in parallel and distributed simulations
PADS '99 Proceedings of the thirteenth workshop on Parallel and distributed simulation
Pre-sampling as an approach for exploiting temporal uncertainty
PADS '00 Proceedings of the fourteenth workshop on Parallel and distributed simulation
Maintaining knowledge about temporal intervals
Communications of the ACM
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
Static Analysis and Dynamic Steering of Time-Dependent Systems
IEEE Transactions on Software Engineering
Parallel and Distribution Simulation Systems
Parallel and Distribution Simulation Systems
A time warp mechanism based on temporal uncertainty
Transactions of the Society for Computer Simulation International - Special issue on distributed simulation and real-time applications
Approximate time and temporal uncertainty in parallel and distributed simulation
Approximate time and temporal uncertainty in parallel and distributed simulation
Timed State Space Analysis of Real-Time Preemptive Systems
IEEE Transactions on Software Engineering
A Case Study in Exploiting Temporal Uncertainty in Parallel Simulations
ICPP '04 Proceedings of the 2004 International Conference on Parallel Processing
An Approach to Protocol Modeling and Validation
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
Journal of Systems and Software
Hi-index | 0.00 |
This paper proposes a kernel for the distributed simulation of real-time systems modelled by Merlin and Farberýs Time Petri Nets (TPN). The realization depends on Temporal Uncertainty Time Warp (TUTW), a novel time warp algorithm capable of exploiting temporal uncertainty in general optimistic simulations. A key feature of the application rests on the fact that TPN models naturally exhibit a certain degree of temporal uncertainty which the TUTW control engine can exploit to achieve good speedup without impairing accuracy of the simulation output. Usefulness of the achieved TUTW/TPN kernel is demonstrated by simulation experiments on a real-time system example.