Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations

  • Gerald Wagenknecht
  • Daniel Dietterle
  • Jean-Pierre Ebert
  • Rolf Kraemer
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3868)


In this paper, we present an efficient way how protocols modelled in SDL (Specification and Description Language) can be transformed into efficient implementations for resource-constrained wireless sensor nodes. We will show how SDL concepts such as processes, timers, or signals can be mapped to operating system concepts provided by the Reflex operating system. Our approach is based on optimized, automatically generated C code derived from the Telelogic TAU SDL Suite that can be left as is. The overhead caused by our SDL run-time environment is minimal, thus making it applicable in embedded systems. By pre-allocating memory for SDL signals it is possible to completely avoid dynamic memory allocation. We will also highlight some SDL modelling guidelines that help to avoid common SDL implementation overhead.


Sensor Node Wireless Sensor Network Medium Access Control Protocol Body Area Network Wireless Sensor Node 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    ITU-T: ITU-T Recommendation Z.100 (11/99). SDL: Specification and Description Language (1999)Google Scholar
  2. 2.
    Telelogic AB: Telelogic Tau SDL Suite (2004),
  3. 3.
    IEEE Standard 802: Part 15.3: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for High Rate Wireless Personal Area Networks (2003)Google Scholar
  4. 4.
    BASUMA - Body Area System for Ubiquitous Multimedia Applications,
  5. 5.
    Nolte, J.: Reflex - Realtime Event FLow EXecutive (2005),
  6. 6.
    Walther, K., Hemmerling, R., Nolte, J.: Generic Trigger Variables and Event Flow Wrappers in Reflex. In: ECOOP — Workshop on Programming Languages and Operating Systems (2004)Google Scholar
  7. 7.
    Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., Pister, K.: System Architecture Directions for Networked Sensors. In: Architectural Support for Programming Languages and Operating Systems (2000)Google Scholar
  8. 8.
    Graney, M.: Speeding Up Wireless Standards Development. In: CommsDesign (2000),
  9. 9.
    Drosos, C., Zayadine, M., Metafas, D.: Embedded real-time communication protocol development using SDL for ARM microprocessor. Dedicated Systems Magazine Q1, 37–43 (2001)Google Scholar
  10. 10.
    Hännikäinen, M., Knuutila, J., Hämäläinen, J., Saarinen, J.: Using SDL for Implementing a Wireless Medium Access Control Protocol. In: IEEE International Symposium on Multimedia Software Engineering, pp. 229–236. IEEE Computer Society, Los Alamitos (2000)CrossRefGoogle Scholar
  11. 11.
    Beutel, J., Dogan, A.: Using TinyOS on BTnodes. In: Römer, K. (ed.) 4. GI/ITG KuVS Fachgespräch “Drahtlose Sensornetze”. Technischer Bericht TR 481, Departement Informatik, ETH Zürich, pp. 6–10 (2005)Google Scholar
  12. 12.
    Dietterle, D., Bababanskaja, I., Dombrowski, K., Kraemer, R.: High-Level Behavioral SDL Model for the IEEE 802.15.3 MAC Protocol. In: Langendoerfer, P., Liu, M., Matta, I., Tsaoussidis, V. (eds.) WWIC 2004. LNCS, vol. 2957, pp. 165–176. Springer, Heidelberg (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Gerald Wagenknecht
    • 1
  • Daniel Dietterle
    • 1
  • Jean-Pierre Ebert
    • 1
  • Rolf Kraemer
    • 1
  1. 1.IHP microelectronic GmbH, Wireless Communication SystemsFrankfurt (Oder)Germany

Personalised recommendations