Skip to main content
SpringerLink
Log in

Real-Time Tasks in SDL

  • Conference paper
Book cover System Analysis and Modeling: Theory and Practice (SAM 2012)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 7744))

Included in the following conference series:

Abstract

SDL is a formal design language for distributed systems that is also promoted for real-time systems. To improve its real-time expressiveness, several language extensions have been proposed. In this work, we present an extension of SDL to specify real-time tasks, a concept used in real-time systems to structure and schedule execution. We model a real-time task in SDL as a hierarchical order of executions of SDL transitions, which may span different SDL processes. Real-time tasks are selected for execution using time-triggered and priority-based scheduling. We formally define real-time tasks, show their syntactical and semantical incorporation in SDL, present the implementation approach in our SDL tool chain, and provide excerpts of a complex MAC protocol showing the use of real-time tasks in SDL.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 72.00
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. International Telecommunication Union (ITU): Z.100 – Specification and Description Language - Overview of SDL-2010 (2012), http://www.itu.int/rec/T-REC-Z.100-201112-I

  2. SDL-RT Consortium: SDL-RT – Specification & Description Language – Real Time V2.2, http://www.sdl-rt.org/standard/V2.2/pdf/SDL-RT.pdf

  3. PragmaDev SARL: Real Time Developer Studio, http://www.pragmadev.com/

  4. IBM Corp.: Rational SDL Suite, http://www-01.ibm.com/software/awdtools/sdlsuite/

  5. Kopetz, H.: Real-Time Systems – Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers (1997)

    Google Scholar 

  6. Krämer, M., Braun, T., Christmann, D., Gotzhein, R.: Real-Time Signaling in SDL. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 186–201. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  7. Christmann, D., Becker, P., Gotzhein, R.: Priority Scheduling in SDL. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 202–217. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  8. Á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)

    Article  MATH  Google Scholar 

  9. International Telecommunication Union (ITU): Z.100 – Specification and Description Language, SDL (2007), http://www.itu.int/rec/T-REC-Z.100-200711-S

  10. International Telecommunication Union (ITU): Z.101 – Specification and Description Language, Basic SDL-2010 (2012), http://www.itu.int/rec/T-REC-Z.101-201112-I

  11. 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)

    Chapter  Google Scholar 

  12. Gotzhein, R.: Model-driven by 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), http://vs.cs.uni-kl.de/en/publications/2007/Go07/Go07.pdf

  13. MEMSIC Inc.: Data sheet – Imote2 Multimedia, http://www.memsic.com/support/documentation/wireless-sensor-networks/category/7-datasheets.html

  14. International Telecommunication Union (ITU): Z.100 Annex F – SDL formal definition (2000), http://www.itu.int/rec/T-REC-Z.100-200011-S!AnnF1, http://www.itu.int/rec/T-REC-Z.100-200011-S!AnnF2, http://www.itu.int/rec/T-REC-Z.100-200011-S!AnnF3

    Google Scholar 

  15. Becker, P., Gotzhein, R., Kuhn, T.: MacZ – A Quality-of-Service MAC Layer for Ad-hoc Networks. In: Proceedings of the 7th International Conference on Hybrid Intelligent Systems (HIS 2007), pp. 277–282. IEEE Computer Society (2007)

    Google Scholar 

  16. Langendörfer, P., König, H.: Automated Protocol Implementations Based on Activity Threads. In: Proceedings of the Seventh Annual International Conference on Network Protocols (ICNP 1999), pp. 3–10. IEEE Computer Society (1999)

    Google Scholar 

  17. König, H., Langendörfer, P., Krumm, H.: Improving the Efficiency of Automated Protocol Implementations Using a Configurable FDT Compiler. Computer Communications 23(12), 1179–1195 (2000)

    Article  Google Scholar 

  18. Sanders, R.: Implementing from SDL. Telektronikk 4 (2000), Languages for Telecommunication Applications. Telenor (2000), http://www.telektronikk.com/volumes/pdf/4.2000/Telek4_2000_Page_120-129.pdf

  19. Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall (1993)

    Google Scholar 

  20. Mitschele-Thiel, A.: Engineering with SDL – Developing Performance-Critical Communication Systems. John Wiley & Sons (2000)

    Google Scholar 

  21. Álvarez, J.M., Díaz, M., Llopis, L., Pimentel, E., Troya, J.M.: Deriving Hard Real-time Embedded Systems Implementations Directly from SDL Specifications. In: Proceedings of the Ninth International Symposium on Hardware/Software Codesign (CODES 2001), pp. 128–133. ACM Press (2001)

    Google Scholar 

  22. Kolloch, T., Färber, G.: Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study. In: Müller, F., Bestavros, A. (eds.) LCTES 1998. LNCS, vol. 1474, pp. 156–165. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  23. International Telecommunication Union (ITU): Z.120 – Message Sequence Chart (MSC) (February 2011), http://www.itu.int/rec/T-REC-Z.120-201102-I/en

  24. Dulz, W., Gruhl, S., Lambert, L., Söllner, M.: Early Performance Prediction of SDL/MSC Specified Systems by Automated Synthetic Code Generation. In: SDL 1999: The Next Millennium, pp. 457–472. Elsevier Science (1999)

    Google Scholar 

  25. Khendek, F., Vincent, D.: Enriching SDL Specifications with MSCs (2000), http://www.irisa.fr/manifestations/2000/sam2000/PAPERS/P16-Khendek2.ps.gz

  26. Khendek, F., Zhang, X.-J.: From MSC to SDL: Overview and an Application to the Autonomous Shuttle Transport System. In: Leue, S., Systä, T.J. (eds.) Scenarios: Models, Transformations and Tools. LNCS, vol. 3466, pp. 228–254. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Networked Systems Group, University of Kaiserslautern, Germany

    Dennis Christmann & Reinhard Gotzhein

Authors
  1. Dennis Christmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Reinhard Gotzhein
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. SINTEF, Blindern, P.O. Box 124, N-0314, Oslo, Norway

    Øystein Haugen

  2. Telecommunications Software Engineering, The Laurels, Victoria Road, LA23 2DL, Windermere, UK

    Rick Reed

  3. University of Kaiserslautern, 67653, Kaiserslautern, Germany

    Reinhard Gotzhein

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Christmann, D., Gotzhein, R. (2013). Real-Time Tasks in SDL. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds) System Analysis and Modeling: Theory and Practice. SAM 2012. Lecture Notes in Computer Science, vol 7744. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36757-1_4

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-36757-1_4

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-36756-4

  • Online ISBN: 978-3-642-36757-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation