Abstract
Predictable behavior of wireless sensor networks calls for deterministic protocols for network-wide synchronization and collision-free frame transmissions. Furthermore, the execution of these protocols requires tight scheduling under real-time constraints. In previous work, we have devised a framework called BiPS (Black-burst-Integrated Protocol Stack), which provides these functionalities. To achieve the required real-time behavior, BiPS has been implemented manually on bare hardware.
Higher-layer functionalities such as routing protocols or sensor applications are far less time-critical. Therefore, we strive for applying model-driven development, using SDL as abstract modeling language, and commercial tool environments to automatically generate implementations. In this paper, we present how we incorporate implementations generated with PragmaDev’s Real-time Developer Studio (RTDS) into BiPS. Therefore, we have modified and extended the RTDS transition scheduler, and have placed it under the control of the BiPS scheduler. Furthermore, based on RTDS concepts, we have implemented an SDL environment that can access BiPS functionality, e.g., protocols of the MAC layer or hardware devices. In experiments on a wireless sensor node, we have demonstrated that our integration is fully operational and has advantages regarding efficiency and predictability.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Álvarez, J.M., Díaz, M., Llopis, L., Pimentel, E., Troya, J.M.: Integrating Schedulability Analysis and Design Techniques in SDL. Real-Time Systems 24(3), 267–302 (2003)
Basmer, T., Schomann, H., Peter, S.: Implementation Analysis of the IEEE 802.15.4 MAC for Wireless Sensor Networks. In: 2011 International Conference on Selected Topics in Mobile and Wireless Networking (iCOST), pp. 7–12 (2011)
Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall (1993)
Braun, T., Christmann, D., Gotzhein, R., Igel, A.: Model-driven engineering of networked ambient systems with SDL-MDD. Procedia Computer Science 10, 490 (2012), http://www.sciencedirect.com/science/article/pii/S1877050912004206 ANT 2012 and MobiWIS 2012
Braun, T., Gotzhein, R., Kuhn, T.: Mode-based Scheduling with Fast Mode-Signaling – A Method for Efficient Usage of Network Time Slots. Journal of Advances in Computer Networks (JACN) 2, 48–57 (2014)
Christmann, D., Gotzhein, R., Rohr, S.: The Arbitrating Value Transfer Protocol (AVTP) - Deterministic Binary Countdown in Wireless Multi-Hop Networks. In: 2012 21st International Conference on Computer Communications and Networks (ICCCN), pp. 1–9 (August 2012)
Dietterle, D., Ryman, J., Dombrowski, K.F., Kraemer, R.: Mapping of High-Level SDL Models to Efficient Implementations for TinyOS. In: Euromicro Symposium on Digital System Design (DSD 2004), pp. 402–406. IEEE Computer Society (2004)
Drosos, C., Zayadine, M., Metafas, D.: Real-Time Communication Protocol Development - using SDL for an Embedded System On Chip Based on ARM Microcontroller. In: 13th Euromicro Conference on Real-Time Systems (ECRTS 2001), pp. 89–94. IEEE Computer Society (2001)
Engel, M.: Optimierung und Evaluation Black Burst-basierter Protkolle unter Verwendung der Imote 2-Plattform. Master’s thesis, TU Kaiserslautern (2013)
Fliege, I., Grammes, R., Weber, C.: ConTraST - A Configurable SDL Transpiler and Runtime Environment. In: Gotzhein, R., Reed, R. (eds.) SAM 2006. LNCS, vol. 4320, pp. 216–228. Springer, Heidelberg (2006)
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns – Elements of Reusable Object-Oriented Software, 37. print. edn. Addison-Wesley, Boston (2009)
Gotzhein, R., Kuhn, T.: Black Burst Synchronization (BBS) – A Protocol for Deterministic Tick and Time Synchronization in Wireless Networks. Computer Networks 55(13), 3015–3031 (2011)
IBM Corp.: Rational SDL Suite (2014), http://www-01.ibm.com/software/awdtools/sdlsuite/
Institute of Electrical and Electronics Engineers: IEEE Standard 802 Part 15.4: Low-Rate Wireless Personal Area Networks (LR-WPANs). IEEE Computer Society, New York, NY, USA (June 2011), http://standards.ieee.org/getieee802/download/802.15.4-2011.pdf
International Telecommunication Union (ITU): ITU-T Recommendation Z.100 Annex F: Formal Semantics Definition (2000), http://www.itu.int/rec/T-REC-Z.100-200011-I!AnnF1, http://www.itu.int/rec/T-REC-Z.100-200011-I!AnnF2, http://www.itu.int/rec/T-REC-Z.100-200011-I!AnnF3
International Telecommunication Union (ITU): ITU-T Recommendation Z.100 (12/11) - Specification and Description Language - Overview of SDL-2010 (2012), http://www.itu.int/rec/T-REC-Z.100/en
MEMSIC Inc.: Imote2 datasheet (2014), http://vs.cs.uni-kl.de/downloads/Imote2NET_ED_Datasheet.pdf
Mitschele-Thiel, A.: Engineering with SDL – Developing Performance-Critical Communication Systems. John Wiley & Sons (2000)
PragmaDev SARL: Real Time Developer Studio: User Manual (2013), http://www.pragmadev.com
PragmaDev SARL: Real Time Developer Studio (2014), http://www.pragmadev.com
Sanders, R.: Implementing from SDL. In: Telektronikk 4.2000, Languages for Telecommunication Applications. Telenor (2000)
Wagenknecht, G., Dietterle, D., Ebert, J.-P., Kraemer, R.: Transforming Protocol Specifications for Wireless Sensor Networks into Efficient Embedded System Implementations. In: Römer, K., Karl, H., Mattern, F. (eds.) EWSN 2006. LNCS, vol. 3868, pp. 228–243. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Braun, T., Christmann, D., Gotzhein, R., Mater, A. (2014). SDL Implementations for Wireless Sensor Networks – Incorporation of PragmaDev’s RTDS into the Deterministic Protocol Stack BiPS. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds) System Analysis and Modeling: Models and Reusability. SAM 2014. Lecture Notes in Computer Science, vol 8769. Springer, Cham. https://doi.org/10.1007/978-3-319-11743-0_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-11743-0_19
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11742-3
Online ISBN: 978-3-319-11743-0
eBook Packages: Computer ScienceComputer Science (R0)