• DocumentCode
    1716435
  • Title

    Automatic Network Protocol Synthesis from UML Sequence Diagrams

  • Author

    Ebeid, Emad ; Fummi, F. ; Quaglia, Davide ; Stefanni, F.

  • Author_Institution
    Dept. of Comput. Sci., Univ. of Verona, Verona, Italy
  • fYear
    2013
  • Firstpage
    68
  • Lastpage
    73
  • Abstract
    This paper presents a methodology to automatically generate SystemC protocol implementation, starting from its specification given through UML sequence diagrams. The methodology merges such diagrams into a single one, which is then used to generate the SystemC code. Two algorithms are proposed for the merging and refinement step, respectively. SCNSL network simulator is exploited to simulate the generated code in a complete network scenario. As case study, the methodology is applied to sequence diagrams contained into IEEE 802.15.4 protocol standard specification.
  • Keywords
    C language; Unified Modeling Language; Zigbee; object-oriented languages; program compilers; protocols; IEEE 802.15.4 protocol standard specification; SCNSL network simulator; SystemC code; SystemC protocol implementation; UML sequence diagrams; automatic network protocol synthesis; Computational modeling; IEEE 802.15 Standards; Libraries; Merging; Protocols; Unified modeling language; Network Simulators; Networked Embedded Systems; Protocol synthesis; SystemC; Unified Modeling Language (UML);
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Microprocessor Test and Verification (MTV), 2013 14th International Workshop on
  • Conference_Location
    Austin, TX
  • ISSN
    1550-4093
  • Type

    conf

  • DOI
    10.1109/MTV.2013.21
  • Filename
    6926104