Abstract
Contention-based medium access in wireless networks suffers from the problem of frame collisions. In previous work, we have introduced new transfer protocols for the network-wide transmission of bit sequences that overcome the problem of destructive collisions. In this paper, we present the model-driven development of these protocols with SDL-MDD and its SDL tool chain. On the one hand, we show how to formally specify low-level functionality and time-critical behavior – network-wide deterministic arbitration – using the available constructs of a high-level design language. On the other hand, we show the embedding of this high-level design into our SDL execution environment that is extended to support time-critical requirements of the introduced transfer protocols.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Christmann, D., Gotzhein, R., Kuhn, T.: Multi-hop Clock Synchronization in Wireless Ad-Hoc Networks. In: Proceedings of Workshops on Mobile Ad-Hoc Networks (WMAN 2009), Kassel, Germany (2009)
International Telecommunications Union: Recommendation Z.100 (11/07), Specification and Description Language (SDL), http://www.itu.int/rec/T-REC-Z.100/en
Kuhn, T., Gotzhein, R., Webel, C.: Model-Driven Development with SDL - Process, Tools, and Experiences. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 83–97. Springer, Heidelberg (2006)
Gotzhein, R.: Model-driven with SDL – Improving the Quality of Networked Systems Development (Invited Paper). In: Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), pp. 31–46 (2007)
Mohsen, A., Hofmann, R.: Efficient Voltage Scheduling and Energy-aware Co-synthesis for Real-time Embedded Systems. In: Srikanthan, T., Xue, J., Chang, C.-H. (eds.) ACSAC 2005. LNCS, vol. 3740, pp. 3–14. Springer, Heidelberg (2005)
IBM® Rational®, S.D.L.: SuiteTM, http://www.ibm.com/software/awdtools/sdlsuite/
PRAGMADEV: PragmaDev - real time development tools, http://www.pragmadev.com/
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)
Mitschele-Thiel, A.: Systems Engineering with SDL. Wiley, Chichester (2001)
Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice-Hall, Englewood Cliffs (1993)
Sanders, R.: Implementing from SDL. Telektronikk 4.2000, Languages for Telecommunication Applications. Telenor (2000)
Gotzhein, R., Kuhn, T.: Decentralized Tick Synchronization for Multi-Hop Medium Slotting in Wireless Ad Hoc Networks using Black Bursts. In: SECON, pp. 422–431. IEEE, Los Alamitos (2008)
Miller, J., Mukerji, J. (eds.): Object Management Group (OMG), MDA Guide Version 1.0.1, http://www.omg.org/docs/omg/03-06-01.pdf
International Telecommunications Union: Recommendation Z.120 (04/04), Message sequence chart (MSC), http://www.itu.int/rec/T-REC-Z.120/en
Gotzhein, R., Khendek, F., Schaible, P.: Micro Protocol Design - The SNMP Case Study. In: Sherratt, E. (ed.) SAM 2002. LNCS, vol. 2599, pp. 61–73. Springer, Heidelberg (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Becker, P., Christmann, D., Gotzhein, R. (2009). Model-Driven Development of Time-Critical Protocols with SDL-MDD. In: Reed, R., Bilgic, A., Gotzhein, R. (eds) SDL 2009: Design for Motes and Mobiles. SDL 2009. Lecture Notes in Computer Science, vol 5719. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04554-7_3
Download citation
DOI: https://doi.org/10.1007/978-3-642-04554-7_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04553-0
Online ISBN: 978-3-642-04554-7
eBook Packages: Computer ScienceComputer Science (R0)