Advertisement

Priority Scheduling in SDL

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

Abstract

In real-time systems, the capability to achieve short or even predictable reaction times is essential. In this paper, we take a pragmatic approach by proposing priority-based scheduling in SDL combined with a mechanism to suspend and resume SDL agents. More specifically, we define adequate syntactical extensions of SDL and show that they are compliant with the formal SDL semantics. We have implemented all proposed extensions in our SDL tool chain, consisting of SDL compiler, SDL runtime environment, and environment interfacing routines, thereby being compatible with model-driven development processes with SDL. In a series of runtime experiments on sensor nodes, we show that compared to customary SDL scheduling policies, priority scheduling with suspension of SDL agents indeed achieves significantly shortened reaction times.

Keywords

Sensor Node Schedule Strategy Finite State Machine Priority Schedule First Come First Serve 
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)Google Scholar
  3. 3.
    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
  4. 4.
    Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall, Englewood Cliffs (1993)zbMATHGoogle Scholar
  5. 5.
    Mitschele-Thiel, A.: Engineering with SDL – Developing Performance-Critical Communication Systems. John Wiley & Sons, Chichester (2000)Google Scholar
  6. 6.
    Sanders, R.: Implementing from SDL. In: Telektronikk 4.2000, Languages for Telecommunication Applications, Telenor (2000)Google Scholar
  7. 7.
    Leblanc, P., Ek, A., Hjelm, T.: Telelogic SDL and MSC tool families. In: Telektronikk 4.2000, Languages for Telecommunication Applications, Telenor (2000)Google Scholar
  8. 8.
    IBM: Rational SDL Suite (2011), http://www-01.ibm.com/software/awdtools/sdlsuite/
  9. 9.
    Á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
  10. 10.
    Pragmadev: Real time developer studio (2011), http://www.pragmadev.com/
  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.
    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
  13. 13.
    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
  14. 14.
    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
  15. 15.
    Christmann, D.: Spezifikation und automatisierte Implementierung zeitkritischer Systeme mit TC-SDL. Master’s thesis, TU Kaiserslautern (2010)Google Scholar
  16. 16.
    Stankovic, J.A., Ramamritham, K.: Hard Real-Time Systems, Tutorial. IEEE Computer Society Press, Los Alamitos (1988)Google Scholar
  17. 17.
    Jeffay, K., Stanat, D.F., Martel, C.U.: On Non-Preemptive Scheduling of Periodic and Sporadic Tasks. In: IEEE Real-Time Systems Symposium, pp. 129–139 (1991)Google Scholar
  18. 18.
    Fliege, I.: Component-based Development of Communication Systems. PhD thesis, University of Kaiserslautern (2009)Google Scholar
  19. 19.
    Gotzhein, R.: Model-driven with SDL – Improving the Quality of Networked Systems Development. In: Proc. of the 7th Int. Conf. on New Technologies of Distributed Systems (NOTERE 2007), Marrakesh, Morocco, pp. 31–46 (2007)Google Scholar
  20. 20.

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

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

Personalised recommendations