Challenges and Opportunities in Implementing Protocol Stacks for Embedded Systems

1. IPS: I mplementation of P rotocol S tacks 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 D omain S pecific L anguage to facilitate I mplementation of P rotocol S tacks 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 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_Type P_ID P_ ID P_Type Originator address Originator address We save two bytes Byte Oriented Bit 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