Browse wiki

From CERES
Jump to: navigation, search
Publications:An embedded language for programming protocol stacks in embedded systems
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  +
show properties that link here 

 

Enter the name of the page to start browsing from.