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
Link To Document