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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
ITU-T: ITU-T Recommendation Z.100 (11/99). SDL: Specification and Description Language (1999)
Telelogic AB: Telelogic Tau SDL Suite (2004), http://www.telelogic.com/products/tau/sdl
IEEE Standard 802: Part 15.3: Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for High Rate Wireless Personal Area Networks (2003)
BASUMA - Body Area System for Ubiquitous Multimedia Applications, http://www.basuma.de
Nolte, J.: Reflex - Realtime Event FLow EXecutive (2005), http://www-bs.informatik.tu-cottbus.de/38.html?&L=2
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)
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)
Graney, M.: Speeding Up Wireless Standards Development. In: CommsDesign (2000), http://www.commsdesign.com/main/2000/09/0009stand.htm
Drosos, C., Zayadine, M., Metafas, D.: Embedded real-time communication protocol development using SDL for ARM microprocessor. Dedicated Systems Magazine Q1, 37–43 (2001)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Wagenknecht, G., Dietterle, D., Ebert, JP., Kraemer, R. (2006). Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations. In: Römer, K., Karl, H., Mattern, F. (eds) Wireless Sensor Networks. EWSN 2006. Lecture Notes in Computer Science, vol 3868. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11669463_18
Download citation
DOI: https://doi.org/10.1007/11669463_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-32158-3
Online ISBN: 978-3-540-32159-0
eBook Packages: Computer ScienceComputer Science (R0)