Verifying the distributed real-time network protocol RTnet using Uppaal

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

    Research output: Book/ReportReportProfessional

    3 Citations (Scopus)
    59 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 languageUndefined
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages10
    Publication statusPublished - Jan 2006

    Publication series

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

    Keywords

    • METIS-237387
    • IR-55965
    • EWI-1905

    Cite this

    Hanssen, F. T. Y., Mader, A. H., & Jansen, P. G. (2006). Verifying the distributed real-time network protocol RTnet using Uppaal. (CTIT Technical Report Series; No. 06-19). Enschede: Centre for Telematics and Information Technology (CTIT).
    Hanssen, F.T.Y. ; Mader, Angelika H. ; Jansen, P.G. / Verifying the distributed real-time network protocol RTnet using Uppaal. Enschede : Centre for Telematics and Information Technology (CTIT), 2006. 10 p. (CTIT Technical Report Series; 06-19).
    @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 = "1",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "06-19",
    address = "Netherlands",

    }

    Hanssen, FTY, Mader, AH & Jansen, PG 2006, Verifying the distributed real-time network protocol RTnet using Uppaal. CTIT Technical Report Series, no. 06-19, Centre for Telematics and Information Technology (CTIT), Enschede.

    Verifying the distributed real-time network protocol RTnet using Uppaal. / Hanssen, F.T.Y.; Mader, Angelika H.; Jansen, P.G.

    Enschede : Centre for Telematics and Information Technology (CTIT), 2006. 10 p. (CTIT Technical Report Series; No. 06-19).

    Research output: Book/ReportReportProfessional

    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 -

    Hanssen FTY, Mader AH, Jansen PG. Verifying the distributed real-time network protocol RTnet using Uppaal. Enschede: Centre for Telematics and Information Technology (CTIT), 2006. 10 p. (CTIT Technical Report Series; 06-19).