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.
This work is supported by the Carl Zeiss Foundation.
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
Kopetz, H.: Real-Time Systems – Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers, Dordrecht (1997)
International Telecommunication Union (ITU): ITU-T Recommendation Z.100 (11/2007): Specification and Description Language (SDL) (2007)
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)
Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall, Englewood Cliffs (1993)
Mitschele-Thiel, A.: Engineering with SDL – Developing Performance-Critical Communication Systems. John Wiley & Sons, Chichester (2000)
Sanders, R.: Implementing from SDL. In: Telektronikk 4.2000, Languages for Telecommunication Applications, Telenor (2000)
Leblanc, P., Ek, A., Hjelm, T.: Telelogic SDL and MSC tool families. In: Telektronikk 4.2000, Languages for Telecommunication Applications, Telenor (2000)
IBM: Rational SDL Suite (2011), http://www-01.ibm.com/software/awdtools/sdlsuite/
Á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)
Pragmadev: Real time developer studio (2011), http://www.pragmadev.com/
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)
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)
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)
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)
Christmann, D.: Spezifikation und automatisierte Implementierung zeitkritischer Systeme mit TC-SDL. Master’s thesis, TU Kaiserslautern (2010)
Stankovic, J.A., Ramamritham, K.: Hard Real-Time Systems, Tutorial. IEEE Computer Society Press, Los Alamitos (1988)
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)
Fliege, I.: Component-based Development of Communication Systems. PhD thesis, University of Kaiserslautern (2009)
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)
Memsic: Imote 2 datasheet (2011), http://www.memsic.com/support/documentation/wireless-sensor-networks/category/7-datasheets.html?download=134
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Christmann, D., Becker, P., Gotzhein, R. (2011). Priority Scheduling in SDL. In: Ober, I., Ober, I. (eds) SDL 2011: Integrating System and Software Modeling. SDL 2011. Lecture Notes in Computer Science, vol 7083. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-25264-8_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-25264-8_16
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-25263-1
Online ISBN: 978-3-642-25264-8
eBook Packages: Computer ScienceComputer Science (R0)