Verification of an audio protocol with bus collision using UPPAAL

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1102, Issue , 1996, Pages 244-256

  Bengtsson, Johan ^b   Gritffioen, W O David ^c,d   Kristoffersen, Kåre J ^a   Larsen, Kim G ^a   Larsson, Fredrik ^b   Pettersson, Paul ^b   Yi, Wang ^b  

^a DANISH NATIONAL RESEARCH FOUNDATION   (Denmark)

^b UPPSALA UNIVERSITY   (Sweden)

^c CWI   (Netherlands)

^d RADBOUD UNIVERSITY NIJMEGEN   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

REAL TIME SYSTEMS;

AUTOMATIC ANALYSIS; AUTOMATIC TOOLS; BROADCAST COMMUNICATION; COLLISION HANDLING; CONTROL PROTOCOLS; PHILIPS; REAL TIME;

COMPUTER AIDED ANALYSIS;

EID: 84957375295     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61474-5_73     Document Type: Conference Paper

References (11)

1. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. In Prec. of ICALP’90, LNCS 443, 1990.
2. Johan Bengtsson and Fredrik Larsson. UPPAAL a Tool for Automatic Verification of Real-time Systems. Master’s thesis, Uppsala University, 1996.
3. Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. UPPAAL-- a Tool Suite for Automatic Verification of Real- Time Systems. In Proc. of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995. To appear in LNCS, 1996.
4. D.J.B. Bosscher, I. Polak, and F.W. Vaaadrager. Verification of an Audio- Control Protocol. In Proc. of FTRTFT’94, LNCS 863, pages 170-192, 1994.
5. C. Daws and S. Yovine. Two examples of verification of multirate timed automata with KRONOS. In Proc. of the 16th IEEE Real-Time Systems Symposium, pages 66-75, December 1995.
6. W.O.D. Griffioen. Analysis of an Audio Control Protocol with Bus Collision. Master’s thesis, University of Amsterdam, Programming Research Group, 1994.
7. Thomas A. Henzinger, Pei-Hsin Ho, and Howard Wong-Toi. HYTECH: The Next Generation. In Proc. of the 16th IEEE Real-Time Systems Symposium, pages 56-65, December 1995.
8. N. Halbwachs, P. Raymond, and Y.-E. Proy. Verification of linear hybrid systems by means of convex approximations. In Static Analysis Symposium, LNCS 864, pages 223-237, 1994.
9. Pei-Hsin Ho and Howard Wong-Toi. Automated Analysis of an Audio Control Protocol. In Proc. of CAV’95, LNCS 939, 1995.
10. Kim G. Larsen, Paul Pettersson, and Wang Yi. Diagnostic Model-Checking for Real-Time Systems. In Proc. of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems, 1995. To appear in LNCS, 1996.
11. Wang Yi, Paul Pettersson, and Mats Daniels. Automatic Verification of Real-Time Communicating Systems By Constraint-Solving. In Proc. of the 7th International Conference on Formal Description Techniques, 1994.