| Abstract
|
<p>Protocol stack specifications are … <p>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.</p>size to hand-crafted C programs.</p>
|
| Author
|
Yan Wang +
, Veronica Gaspes +
|
| Conference
|
PEPM'11
|
| DOI
|
http://dx.doi.org/10.1145/1929501.1929511 +
|
| Diva
|
http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:404633
|
| EndPage
|
72 +
|
| HostPublication
|
PEPM '11 : proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation, January 24, 2011, Austin, Texas, USA +
|
| PublicationType
|
Conference Paper +
|
| Publisher
|
ACM Press +
|
| StartPage
|
63 +
|
| Title
|
An embedded language for programming protocol stacks in embedded systems +
|
| Year
|
2011 +
|
| Has queryThis property is a special property in this wiki.
|
Publications:An embedded language for programming protocol stacks in embedded systems +
, Publications:An embedded language for programming protocol stacks in embedded systems +
, Publications:An embedded language for programming protocol stacks in embedded systems +
, Publications:An embedded language for programming protocol stacks in embedded systems +
, Publications:An embedded language for programming protocol stacks in embedded systems +
, Publications:An embedded language for programming protocol stacks in embedded systems +
, Publications:An embedded language for programming protocol stacks in embedded systems +
, Publications:An embedded language for programming protocol stacks in embedded systems +
, Publications:An embedded language for programming protocol stacks in embedded systems +
, Publications:An embedded language for programming protocol stacks in embedded systems +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
26 June 2014 03:44:37 +
|
