SDL Implementations for Wireless Sensor Networks – Incorporation of PragmaDev’s RTDS into the Deterministic Protocol Stack BiPS

T. Braun, D. Christmann, R. Gotzhein, A. Mater

In: Daniel Amyot, Pau Fonseca i Casas, Gunter Mussbacher (Eds.): System Analysis and Modeling: Models and Reusability - 8th International Conference, SAM 2014, Valencia, Spain, September 29-30, 2014. Proceedings. Springer LNCS 8769, 271-286

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.





 

 
Go to the contact details of the person in charge of this page

 
This page in german. Diese Seite auf deutsch.