EEMCS EPrints Service

Education

Research

Prospective Students

Jobs

Publications

Intranet (internal)

Nederlands

Contact

Sitemap

Organisation

1905 Verifying the distributed real-time network protocol RTnet using Uppaal

Home Policy Brochure Browse Search User Area Contact Help

Hanssen, F.T.Y. and Mader, A.H. and Jansen, P.G. (2006) Verifying the distributed real-time network protocol RTnet using Uppaal. Technical Report TR-CTIT-06-19, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

There is a more recent version of this eprint available. Click here to view it.

Full text available as:

PDF

- Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader
182 Kb

Official URL: http://www.ub.utwente.nl/webdocs/ctit/1/0000016d.pdf

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:	Internal Report (Technical Report)
Research Group:	EWI-DIES: Distributed and Embedded Security
Research Program:	CTIT-UBRICKS: Building Blocks for Ubiquitous Computing and Communication
Research Project:	@HA: @ Home Anywhere, MoMS: Methods of Modelling Embedded Systems
Additional Information:	Imported from DIES
ID Code:	1905
Deposited On:	15 May 2006
Refereed:	No
More Information:	statistics metis

Available Versions of this Item

Verifying the distributed real-time network protocol RTnet using Uppaal (deposited 15 May 2006)
[Currently Displayed]
- Verifying the distributed real-time network protocol RTnet using Uppaal (deposited 29 September 2006)

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item