Modelling and analysis of a commercial field bus protocol

Proceedings - Euromicro Conference on Real-Time Systems

Volumn , Issue , 2000, Pages 165-172

  David, A ^a   Yi, Wang ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT MODELS; DATA LINK LAYER; ERROR SOURCES; FIELD BUS; MODELLING AND ANALYSIS;

BUSES; INDUSTRIAL APPLICATIONS;

REAL TIME SYSTEMS;

EID: 33751032788     PISSN: 10683070     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EMRTS.2000.854004     Document Type: Conference Paper

References (10)

1. R. Alur and D. Dill. Automata for Modelling Real-Time Systems. Theoretical Computer Science, 126(2):183-236, April 1994.
2. Johan Bengtsson, W.O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. Verification of an Audio Protocol with Bus Collision Using UPPAAL. CAV'96, LNCS 1102 in, pages 244-256. Springer-Verlag, July 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 Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pages 232-243. Springer-Verlag, October 1995.
4. Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. UPPAAL in 1995. In Proc. of the 2nd Workshop on Tools and Algorithms for the Construction and Analysis of Systems, in LNCS 1055, pages 431-434, March 1996.
5. C. Daws, A. Olivero, S. Tripakis, and S. Yovine. The tool KRONOS. Proc. of Workshop on Verification and Control of Hybrid Systems III, LNCS 1066, pages 208-219, October 1995.
6. 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. IEEE Computer Society Press, December 1995.
7. Henrik E. Jensen, Kim G. Larsen, and Arne Skou. Modelling and Analysis of a Collision Avoidance Protocol Using SPIN and UPPAAL. In Proc. of 2nd Int.Workshop on the SPIN Verification System, pages 1-20, August 1996.
8. Thomas Stauner, Olaf Mller, and Max Fuchs. Using HyTech to Verify an Automotive Control System. In Proc. Hybrid and Real-Time Systems, Grenoble, March 26-28, 1997. Technische Universität München, Lecture Notes in Computer Science, Springer, 1997.
9. A.S. Tanenbaum. Computer networks. Prentice-Hall, 1981.
10. Wang Yi, Paul Pettersson, and Mats Daniels. Automatic Verification of Real-Time Communicating Systems By Constraint-Solving. In Dieter Hogrefe and Stefan Leue, editors, Proc. of the 7th Int. Conf. on Formal Description Techniques, pages 223-238. North-Holland, 1994.