An approach to protocol modeling and validation

Proceedings - Simulation Symposium

Volumn 2006, Issue , 2006, Pages 261-268

  Cicirelli, F ^a   Furfaro, A ^a   Nigro, L ^a  

^a UNIVERSITY OF CALABRIA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; DISTRIBUTED COMPUTER SYSTEMS; HIERARCHICAL SYSTEMS; LARGE SCALE SYSTEMS; MATHEMATICAL MODELS; PROGRAM DEBUGGING;

DISTRIBUTED SIMULATION; MODEL CONFIGURATION; MODEL SCALABILITY;

NETWORK PROTOCOLS;

EID: 33750119994     PISSN: 1080241X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ANSS.2006.12     Document Type: Conference Paper

References (20)

1. th Annual IEEE Symposium on Logic in Computer Science, pages 414-425. IEEE Computer Society Press, 1990.
2. R. Alur and D. Dill. A theory of timed automata. Theoretical Computer Science, 126(2):183-235, 1994.
3. K. Barlett, R,. Scantlebury, and P. Wilkinson. A note on reliable full-duplex transmission over half-duplex link. Communications of the ACM, 12(7), 1969.
4. G. Behrmann, A. David, and K. G. Larsen. A tutorial on UPPAAL. In M. Bernardo and F. Corradini, editors, Formal Methods for the Design of Real- Time Systems, LNCS 3185, pages 200-236. Springer, 2004.
5. R. Beraldi, L. Nigro, and A. Orlando. Temporal Uncertainty Time Warp: an implementation based on Java and ActorFoundry. Simulation, 79(10):581-597, 2003.
6. G. Bucci, L. Sassoli, and E. Vicario. ORIS: A tool for state-space analysis of real-time preemptive systems. In Proc. of First International Conference on The Quantitative Evaluation of Systems (QEST'04), 2004.
7. G. Bucci and E. Vicario. Compositional validation of time-critical systems using communicating time petri nets. IEEE Transactions on Software Engineering, 21(12):969-992, 1995.
8. L. Carullo, A. Furfaro, L. Nigro, and F. Pupo. Modelling and simulation of complex systems using TPN DESIGNER. Simulation Modelling Practice and Theory, 11(7-8):503-532, 2003.
9. F. Cassez and O.-H. Roux. Structural translation from Time Petri Nets to Timed Automata. Electronic Notes in Theoretical Computer Science, 128(6):145-160, 2005.
10. th Annual Simulation Symposium (ANSS 2005), pages 233-240, San Diego, California, USA, 2-8 April 2005.
11. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, Cambrige, MA, 2001.
12. A. Furfaro and L. Nigro. An approach based on simulation and verification for the schedulability analysis of real-time systems. In Proc. of Summer Computer Simulation Conference (SCSC'05), Philadelphia, Pennsylvania, USA, 24-28, July 2005.
13. A. Furfaro and L. Nigro. Model checking time Petri nets: A translation approach based on UPPAAL and a case study. In Proc. IASTED International Conference on Software Engineering (SE'2005), Innsbruck, Austria, February 15-17 2005.
14. K. G. Larsen, F. Larsson, P. Pettersson, and W. Yi. Compact data structures and state-space reduction for model-checking real-time systems. Real- Time Systems, 25(2-3):255-275, 2003.
15. M. Lindhal, P. Pettersson, and W. Yi. Formal design and analysis of a gear controller: an industrial case stuy using UPPAAL. Software Tools for Technology Transfer, 3(3):353-368, 2001.
16. P. Merlin and D. Farber. Recoverability of communication protocols - implications of a theoretical study. IEEE Transactions on Communications, 24(9):1036-1043, 1976.
17. T. Murata. Petri Nets: properties, analysis and applications. Proceedings of the IEEE, 77(4):541-580, 1989.
18. C. Ramchandani. Analysis of asynchronous concurrent systems by Timed Petri Nets. Technical Report TR-120, MIT, February 1974.
19. TINA, http://www.laas.fr/tina/.
20. UPPAAL. http://www.uppaal.com, 2004.