Transforming protocol specifications for wireless sensor networks into efficient embedded system implementations

Authors:
Gerald Wagenknecht;Daniel Dietterle;Jean-Pierre Ebert;Rolf Kraemer
Affiliations:
IHP microelectronic GmbH, Wireless Communication Systems, Frankfurt (Oder), Germany;IHP microelectronic GmbH, Wireless Communication Systems, Frankfurt (Oder), Germany;IHP microelectronic GmbH, Wireless Communication Systems, Frankfurt (Oder), Germany;IHP microelectronic GmbH, Wireless Communication Systems, Frankfurt (Oder), Germany
Venue:
EWSN'06 Proceedings of the Third European conference on Wireless Sensor Networks
Year:
2006

Citing 2
Cited 2

System architecture directions for networked sensors

ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Using SDL for Implementing a Wireless Medium Access Control Protocol

MSE '00 Proceedings of the 2000 International Conference on Microelectronic Systems Education

Embedded system protocol design flow based on SDL: from specification to hardware/software implementation

Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
MAC processor for BASUMA wireless body area network

CSS '07 Proceedings of the Fifth IASTED International Conference on Circuits, Signals and Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.