Verifying the distributed real-time network protocol RTnet using Uppaal

F.T.Y. Hanssen; Angelika H. Mader; P.G. Jansen

Verifying the distributed real-time network protocol RTnet using Uppaal

F.T.Y. Hanssen, Angelika H. Mader, P.G. Jansen

Research output: Book/Report › Report › Professional

3 Citations (Scopus)

111 Downloads (Pure)

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.

Original language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	10
Publication status	Published - Jan 2006

Publication series

Name	CTIT Technical Report Series
Publisher	University of Twente, Centre for Telematics and Information Technology (CTIT)
No.	06-19
ISSN (Print)	1381-3625

Keywords

METIS-237387
IR-55965
EWI-1905

Access to Document

hanssenFinal published version, 182 KB

Cite this

@book{a60126ed3c6a41a1abc3442b205ea29d,

title = "Verifying the distributed real-time network protocol RTnet using Uppaal",

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.",

keywords = "METIS-237387, IR-55965, EWI-1905",

author = "F.T.Y. Hanssen and Mader, {Angelika H.} and P.G. Jansen",

note = "Imported from DIES",

year = "2006",

month = jan,

language = "Undefined",

series = "CTIT Technical Report Series",

publisher = "Centre for Telematics and Information Technology (CTIT)",

number = "06-19",

address = "Netherlands",

}

TY - BOOK

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

AU - Hanssen, F.T.Y.

AU - Mader, Angelika H.

AU - Jansen, P.G.

N1 - Imported from DIES

PY - 2006/1

Y1 - 2006/1

N2 - 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.

AB - 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.

KW - METIS-237387

KW - IR-55965

KW - EWI-1905

M3 - Report

T3 - CTIT Technical Report Series

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

PB - Centre for Telematics and Information Technology (CTIT)

CY - Enschede

ER -