Advertisement

Model-Driven Development of Time-Critical Protocols with SDL-MDD

  • Philipp Becker
  • Dennis Christmann
  • Reinhard Gotzhein
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5719)

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.

Keywords

SDL SDL-MDD black burst cooperative/arbitrating transfer protocol MacZ 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    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)Google Scholar
  2. 2.
    International Telecommunications Union: Recommendation Z.100 (11/07), Specification and Description Language (SDL), http://www.itu.int/rec/T-REC-Z.100/en
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    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)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    IBM® Rational®, S.D.L.: SuiteTM, http://www.ibm.com/software/awdtools/sdlsuite/
  7. 7.
    PRAGMADEV: PragmaDev - real time development tools, http://www.pragmadev.com/
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Mitschele-Thiel, A.: Systems Engineering with SDL. Wiley, Chichester (2001)CrossRefGoogle Scholar
  10. 10.
    Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice-Hall, Englewood Cliffs (1993)zbMATHGoogle Scholar
  11. 11.
    Sanders, R.: Implementing from SDL. Telektronikk 4.2000, Languages for Telecommunication Applications. Telenor (2000)Google Scholar
  12. 12.
    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)Google Scholar
  13. 13.
    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
  14. 14.
    International Telecommunications Union: Recommendation Z.120 (04/04), Message sequence chart (MSC), http://www.itu.int/rec/T-REC-Z.120/en
  15. 15.
    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)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Philipp Becker
    • 1
  • Dennis Christmann
    • 1
  • Reinhard Gotzhein
    • 1
  1. 1.Networked Systems GroupUniversity of KaiserslauternGermany

Personalised recommendations