Paper Info
Title
Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal
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.
Year
DOI
Venue
2006
10.1109/MASCOTS.2006.52
MASCOTS
Keywords
Field
DocType
real-time network protocol rtnet,disk spin-down policy,power-constrained environment,storage subsystem,sensor network,power consumption,power conservation,local area networks,quality of service,packet loss,scientific research,local area network,real time systems,broadcasting,real time,model checking,protocols,automata,distributed environment,distributed system,network on a chip,automatic control,network protocol
Broadcasting,Model checking,Computer science,Node (networking),Quality of service,Packet loss,Real-time computing,Robustness (computer science),Local area network,Distributed computing,Communications protocol,Embedded system
Conference
ISSN
ISBN
Citations 
1526-7539
0-7695-2573-3
2
PageRank 
References 
Authors
0.42
9
3
Name
Order
Citations
PageRank
Ferdy Hanssen161.19
Angelika Mader219919.44
Pierre G. Jansen315518.58