DocumentCode
2584545
Title
Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal
Author
Hanssen, Ferdy ; Mader, Angelika ; Jansen, Pierre G.
Author_Institution
University of Twente, The Netherlands
fYear
2006
fDate
11-14 Sept. 2006
Firstpage
239
Lastpage
246
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.
Keywords
Automata; Automatic control; Broadcasting; Communication system control; Local area networks; Protocols; Quality of service; Real time systems; Streaming media; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 2006. MASCOTS 2006. 14th IEEE International Symposium on
ISSN
1526-7539
Print_ISBN
0-7695-2573-3
Type
conf
DOI
10.1109/MASCOTS.2006.52
Filename
1698555
Link To Document