Publications:An embedded language for programming protocol stacks in embedded systems

Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

Title An embedded language for programming protocol stacks in embedded systems
Author Yan Wang and Veronica Gaspes
Year 2011
PublicationType Conference Paper
HostPublication PEPM '11 : proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, January 24, 2011, Austin, Texas, USA
Conference PEPM'11
Diva url
Abstract Protocol stack specifications are well-structured documents that follow a number of conventions and notations that have proven very useful for the design and dissemination of communication protocols. Protocol stack implementations on the other hand, are done in low-level languages, using error-prone programming techniques resulting in programs that are difficult to relate to the specifications, difficult to maintain, modify, extend and reuse. To overcome these problems we propose a domain-specific language that provides abstractions close to the notations used in protocol specifications. From descriptions in our language we generate C programs that can be integrated with other systems software. The language provides constructs to describe packet formats, including physical layout, constraints and dependencies. It also provides constructs for state machines and for layering protocols into stacks. Experiments show that the C programs we generate are comparable in performance and binary size to hand-crafted C programs.