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
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);
Conference_Titel :
Microprocessor Test and Verification (MTV), 2013 14th International Workshop on
Conference_Location :
Austin, TX
DOI :
10.1109/MTV.2013.21