1. IPS: Implementation of Protocol Stacks for Embedded Systems Yan Wang Halmstad University, Sweden The Second Internal EPC Workshop IPS, Halmstad University, Yan Wang

2. Motivation Qo S IPS, Halmstad University, Yan Wang

3. Protocol Stacks for Embedded Systems Memory Energy Develop Time Challenges –Difficult to program –Resource constraints Main concerns –Computer resources awareness –Programming efficiency Opportunity –A potentially large payoff for investing in a tool to support protocol stack implementations IPS, Halmstad University, Yan Wang

4. A Domain Specific Language to facilitate Implementation of Protocol Stacks –Addressing the protocol stack as a whole –Providing events & time abstractions Evaluation –Performance of compiled-code –Cost of development process IPS OS/HW IPS runtime system IPS compiler & other tools Compiled C code IPS source code Modular architecture Type system Concurrency model Memory management Timer IPS, Halmstad University, Yan Wang Paddle

5. PADDLE: Motivation Processing packets –Tedious and error-prone –Difficult to be related to the specification –Hard to debug and modify Solution –Describe packets by dependent types –Compile type description to packet processing functions IPS, Halmstad University, Yan Wang Parser struct Ipv4_p Ipv4parser ( u8_t * buf, int offset) struct Ipv4_p Ipv4parser ( u8_t * buf, int offset) 01001011 01011011...... 0x04 0x11... 0x04 0x11...

6. PADDLE: A Data Description Language Simple Packet Types Layered Packet Types....... IPS, Halmstad University, Yan Wang

7. The Generated Library In-memory representation Parsing function Writing function PADDLE program PADDLE compiler IPS, Halmstad University, Yan Wang

8. Compact Packets P_TypeP_ID P_Type Originator address Originator address We save two bytes Byte OrientedBit Oriented IPS, Halmstad University, Yan Wang

9. PADDLE The contributions of PADDLE: –A rich language for describing packets –A tool that generates packet processing functions –Operations for layering packets –Optimizations suitable for Sensor Networks IPS, Halmstad University, Yan Wang

10. Thanks for your attention! IPS, Halmstad University, Yan Wang