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
Creating computer simulation systems: an introduction to the high level architecture
Creating computer simulation systems: an introduction to the high level architecture
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
Formal Development of Reactive Systems - Case Study Production Cell
Formal Development of Reactive Systems - Case Study Production Cell
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
Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series)
An Approach to Protocol Modeling and Validation
ANSS '06 Proceedings of the 39th annual Symposium on Simulation
The Petri net markup language: concepts, technology, and tools
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
| Hi-index | 0.00 |
This paper proposes an approach to modular modelling and simulation of complex time-critical systems. The modelling language is represented by Merlin and Farber's Time Petri Nets (TPNs) augmented with inhibitor arcs and modular constructs borrowed from the Petri Net Markup Language (PNML) interchange format. Analysis techniques depend on Temporal Uncertainty Time Warp (TUTW), a time warp algorithm capable of exploiting temporal uncertainty in general optimistic simulations over a networked context. A key feature of the approach is 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 a loss in the accuracy of the simulation results. The developed TUTW/TPN kernel is demonstrated by modelling and simulation of a real-time system example.