Verifying the distributed real-time network protocol RTnet using Uppaal

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    110 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
    Title of host publicationProceedings of the 14th IEEE/ACN International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS)
    Place of PublicationLos Alamitos
    PublisherIEEE Computer Society
    Pages239-246
    Number of pages10
    ISBN (Print)0 7695 2573 3
    DOIs
    Publication statusPublished - Jan 2006
    Event14th IEEE/ACN International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS - Monterey, United States
    Duration: 11 Sep 200613 Sep 2006
    Conference number: 14

    Publication series

    Name
    PublisherIEEE Computer Society

    Conference

    Conference14th IEEE/ACN International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, MASCOTS
    Abbreviated titleMASCOTS
    CountryUnited States
    CityMonterey
    Period11/09/0613/09/06

    Keywords

    • IR-65608
    • EWI-2743
    • METIS-237431

    Cite this