Interactive Timed Simulation of Distribution Systems -- from PROMELA to PROMELA (1995) [1 citations — 0 self]
|
Abstract:
Abstract Simulation is a powerful tool in the development cycle of distributed systems; it has long been studied and practiced. The present paper presents an approach to timed interactive simulation based on the execution of timed CSP-like models; the language presented is PROMELA+, derived from PROMELA with the extension to temporal quantification. The whole simulation environment, named YES, includes also a statistical analyzer which requests to the executor as many samples as needed to generate the desired estimators with the given properties. The YES simulation environment can be used for a number of purposes during the system development cycle, from evaluation of the specification to the performance forecasting of the system, to system functional and throughput stressing. While the environment has been used for about two years, when a number of systems have been modelled in PROMELA+, work in progress tends to exploit the YES environment as a basic simulation environment: PROMELA+ is seen as a kind of intermediate language for the timed simulation of distributed systems: a number of compilers, which translate higher level distributed paradigms and notations into PROMELA+ for simulation, have been written; this approach saves the high effort of implementing and validating a whole simulator and allows to concentrate on the semantic aspects of the new language.
Citations
| 2677 | Communicating Sequential Processes – Hoare - 1978 |
| 66 | A Brief History of Timed CSP – Davies, Schneider - 1992 |
| 27 | A Graphical Petri Net Tool for Performance Analysis – Chiola - 1987 |
| 2 | Holzmann: Design and Validation – J - 1991 |
| 1 | Spinolo: A CASE Environment for TINA-Oriented Applications – Bersia, Bosco, et al. |
| 1 | Holzmann: What's New – J - 1995 |
| 1 | Lagna: Simulation of Object-Oriented Distributed Systems via Compliation to Concurrent – Manione, A - 1995 |
