Verifying the distributed real-time network protocol RTnet using Uppaal

Hanssen, Ferdy and Mader, Angelika and Jansen, Pierre G. (2006) Verifying the distributed real-time network protocol RTnet using Uppaal. In: 14th IEEE/ACN International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS, 11-13 Sept 2006, Monterey, USA.

Preview

PDF
181Kb

Abstract:	We present 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.
Item Type:	Conference or Workshop Item
Copyright:	© 2006 IEEE
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Robotics and Mechatronics (CE)
Link to this item:	http://purl.utwente.nl/publications/65608
Official URL:	http://dx.doi.org/10.1109/MASCOTS.2006.52
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page

Metis ID: 237431