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)
    67 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).