The Community for Technology Leaders
14th IEEE International Symposium on Modeling, Analysis, and Simulation (2006)
Monterey, CA
Sept. 11, 2006 to Sept. 14, 2006
ISSN: 1526-7539
ISBN: 0-7695-2573-3
pp: 239-246
Ferdy Hanssen , University of Twente, The Netherlands
Angelika Mader , University of Twente, The Netherlands
Pierre G. Jansen , University of Twente, The Netherlands
ABSTRACT
RTnet is a distributed real-time network protocol for fully-connected local area networks with a broadcast capability. It supports streaming real-time and non-realtime traffic and on-the-fly addition and removal of network nodes. This paper presents a formal analysis of RTnet using the model checker Uppaal. Besides normal protocol behaviour, the analysis focuses on the fault-handling properties of RTnet, in particular recovery after packet loss. Both qualitative and quantitative properties are presented, together with the verification results and conclusions about the robustness of RTnet.
INDEX TERMS
null
CITATION

P. G. Jansen, A. Mader and F. Hanssen, "Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal," 14th IEEE International Symposium on Modeling, Analysis, and Simulation(MASCOTS), Monterey, CA, 2006, pp. 239-246.
doi:10.1109/MASCOTS.2006.52
92 ms
(Ver 3.3 (11022016))