loading...
Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal
Monterey, CA September 11-September 14
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/MASCOTS.2006.5214th IEEE International Symposium on ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Ferdy Hanssen, Angelika Mader, Pierre G. Jansen, "Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal," Modeling, Analysis, and Simulation of Computer Systems, International Symposium on, pp. 239-246, 14th IEEE International Symposium on Modeling, Analysis, and Simulation, 2006.
 
 
BibTex
x
 
@article{ 10.1109/MASCOTS.2006.52,
author = {Ferdy Hanssen and Angelika Mader and Pierre G. Jansen},
title = {Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal},
journal ={Modeling, Analysis, and Simulation of Computer Systems, International Symposium on},
volume = {0},
year = {2006},
issn = {1526-7539},
pages = {239-246},
doi = {http://doi.ieeecomputersociety.org/10.1109/MASCOTS.2006.52},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Modeling, Analysis, and Simulation of Computer Systems, International Symposium on
TI - Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal
SN - 1526-7539
SP239
EP246
A1 - Ferdy Hanssen,
A1 - Angelika Mader,
A1 - Pierre G. Jansen,
PY - 2006
KW - null
VL - 0
JA - Modeling, Analysis, and Simulation of Computer Systems, International Symposium on
ER -
 
Ferdy Hanssen, University of Twente, The Netherlands
Angelika Mader, University of Twente, The Netherlands
Pierre G. Jansen, University of Twente, The Netherlands
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.
Citation:
Ferdy Hanssen, Angelika Mader, Pierre G. Jansen, "Verifying the Distributed Real-Time Network Protocol RTnet Using Uppaal," mascots, pp.239-246, 14th IEEE International Symposium on Modeling, Analysis, and Simulation, 2006
Usage of this product signifies your acceptance of the Terms of Use.