Advertisement

Real-Time Signaling in SDL

  • Marc Krämer
  • Tobias Braun
  • Dennis Christmann
  • Reinhard Gotzhein
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7083)

Abstract

SDL is a formal specification language for distributed systems, which provides significant, yet limited real-time expressiveness by its notion of time (now) and its timer mechanism. In our current work, we are investigating various ways to augment this expressiveness, by proposing language extensions and exploiting degrees of freedom offered by SDL’s formal semantics. This paper presents some recent results of our work: a mechanism for real-time signaling, which can be roughly characterized as a generalization of SDL timers. More specifically, we propose to add the possibility of specifying a time interval for the reception of ordinary SDL signals, by stating their time of arrival and expiry. This extension can be used, for instance, to specify time-triggered scheduling, which is required in many real-time systems. In the paper, we present the concept of real-time signaling, propose a syntactical extension of SDL, define its formal semantics, outline our implementation, show excerpts of a control application, and report on measurement results.

Keywords

Formal Semantic Expiry Time Input Queue Embed Platform Inverted Pendulum System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Kopetz, H.: Real-Time Systems – Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)zbMATHGoogle Scholar
  2. 2.
    International Telecommunication Union (ITU): ITU-T Recommendation Z.100 (11/2007): Specification and Description Language (SDL) (2007), http://www.itu.int/rec/T-REC-Z.100-200711-I
  3. 3.
    Becker, P., Christmann, D., Gotzhein, R.: Model-Driven Development of Time-Critical Protocols with SDL-MDD. In: Reed, R., Bilgic, A., Gotzhein, R. (eds.) SDL 2009. LNCS, vol. 5719, pp. 34–52. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  4. 4.
    International Telecommunication Union (ITU): ITU-T Recommendation Z.100 Annex F: Formal Semantics Definition (2000)Google Scholar
  5. 5.
    Á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)CrossRefzbMATHGoogle Scholar
  6. 6.
    Gotzhein, R.: Model-driven with SDL – Improving the Quality of Networked Systems Development. In: Proceedings of the 7th International Conference on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco, pp. 31–46 (2007) (invited paper)Google Scholar
  7. 7.
    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
  8. 8.
  9. 9.
    Fliege, I., Geraldy, A., Jung, S., Kuhn, T., Webel, C., Weber, C.: Konzept und Struktur des SDL Environment Framework (SEnF). Technical Report 341/05, TU Kaiserslautern (2005)Google Scholar
  10. 10.
    Bozga, M., Graf, S., Kerbrat, A., Mounier, L., Ober, I., Vincent, D.: SDL for Real-Time: What is Missing? In: Sherratt, E. (ed.) SAM, VERIMAG, IRISA, SDL Forum, pp. 108–121 (2000)Google Scholar
  11. 11.
    Bozga, M., Graf, S., Mounier, L., Ober, I., Roux, J.-L., Vincent, D.: Timed Extensions for SDL. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 223–240. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  12. 12.
    Gotzhein, R., Grammes, R., Kuhn, T.: Specifying Input Port Bounds in SDL. In: Gaudin, E., Najm, E., Reed, R. (eds.) SDL 2007. LNCS, vol. 4745, pp. 101–116. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  13. 13.
    Mitschele-Thiel, A.: Engineering with SDL – Developing Performance-Critical Communication Systems. John Wiley & Sons, Chichester (2000)Google Scholar
  14. 14.
    Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall, Englewood Cliffs (1993)zbMATHGoogle Scholar
  15. 15.
    Sanders, R.: Implementing from SDL. In: Telektronikk 4.2000, Languages for Telecommunication Applications. Telenor (2000)Google Scholar
  16. 16.
    Rodríguez-Cayetano, M.: Design and Development of a CPU Scheduler Simulator for Educational Purpose Using SDL. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol. 6598, pp. 72–90. Springer, Heidelberg (2011)CrossRefGoogle Scholar
  17. 17.
    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)CrossRefGoogle Scholar
  18. 18.
    Diefenbruch, M., Hintelmann, J., Müller-Clostermann, B.: QUEST Performance Evalution of SDL System. In: Irmscher, K., Mittasch, C., Richter, K. (eds.) MMB (Kurzbeiträge), TU Bergakademie Freiberg, pp. 126–132 (1997)Google Scholar
  19. 19.
    Ober, I., Kerbrat, A.: Verification of Quantitative Temporal Properties of SDL Specifications. In: Reed, R., Reed, J. (eds.) SDL 2001. LNCS, vol. 2078, pp. 182–202. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  20. 20.
    Chamaken, A., Litz, L., Krämer, M., Gotzhein, R.: Cross-layer design of wireless networked control systems with energy limitations. In: European Control Conference 2009, ECC 2009 (2009)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Marc Krämer
    • 1
  • Tobias Braun
    • 1
  • Dennis Christmann
    • 1
  • Reinhard Gotzhein
    • 1
  1. 1.Networked Systems GroupUniversity of KaiserslauternGermany

Personalised recommendations