Abstract
Real-time tasks are a concept used in real-time systems to structure and schedule execution, in order to handle load situations, and to meet deadlines. In previous work, we have transferred this concept to the Specification and Description Language (SDL), by incorporating the notion of real-time task into SDL’s formal syntax and semantics. More specifically, we have defined an SDL real-time task as a set of transition executions, which may span different SDL processes and are ordered by a strict partial order with a least element. In this paper, we extend this concept by the notion of distributed real-time task, which may span SDL processes of different SDL systems, thereby supporting tasks executed on several nodes. In addition, we introduce the notion of task types, which support task multiplexing in SDL processes. We then outline our implementation of real-time tasks in our SDL tool chain, consisting of the SDL transpiler ConTraST, the SDL Runtime Environment (SdlRE), and the SDL Environment Framework (SEnF). To evaluate the gain in real-time performance, we have devised an SDL specification of an Adaptive Cruise Controller taken from the automotive domain, and have executed it on an Imote2 hardware platform. The results clearly show that task-based scheduling outperforms ordinary and priority-based scheduling in terms of processing delays and reaction times to critical events.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
International Telecommunication Union: ITU-T Recommendation Z.100 (12/11) - Specification and Description Language - Overview of SDL 2010 (2012), http://www.itu.int/rec/T-REC-Z.100-201112-I
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)
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)
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/publications/2007/Go07/Go07.pdf
Christmann, D., Gotzhein, R.: Real-time Tasks in SDL. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 53–71. Springer, Heidelberg (2013)
IBM Corporation: Rational SDL Suite, http://www-142.ibm.com/software/products/us/en/ratisdlsuit
International Telecommunication Union: ITU-T Recommendation Z.100 Annex F: Formal Semantics Definition (2000), http://www.itu.int/rec/T-REC-Z.100
Braun, T., Gotzhein, R., Wiebel, M.: Integration of FlexRay into the SDL-Model-Driven Development Approach. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol. 6598, pp. 56–71. Springer, Heidelberg (2011)
FlexRay Consortium: FlexRay Communication System Protocol Specification Version 3.0.1 (2010)
International Telecommunication Union: ITU-T Recommendation Z.120 (02/2011) Message Sequence Charts (MSC) (2011), http://www.itu.int/rec/T-REC-Z.120-201102-I/en
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–471. Elsevier (1999), http://dx.doi.org/10.1016/B978-044450228-5/50030-8
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. LNCS, vol. 3466, pp. 228–254. Springer, Heidelberg (2005)
Langendörfer, P., König, H.: Automated Protocol Implementations Based on Activity Threads. In: 7th International Conference on Network Protocols, ICNP (1999)
König, H., Langendörfer, P., Krumm, H.: Improving the Efficiency of Automated Protocol Implementations using a Configurable FDT Compiler. Journal of Computer Communications 23(12), 1179–1195 (2000)
Álvarez, J.M., Díaz, M., Llopis, L., Pimentel, E., Troya, J.M.: Integrating Schedulability Analysis and Design Techniques in SDL. Journal of Real-Time Systems 24(3), 267–302 (2003)
Kolloch, T.: Scheduling with Message Deadlines for Hard Real-Time SDL Systems. PhD thesis, Technische Universität München (2002), http://tumb1.biblio.tu-muenchen.de/publ/diss/ei/2002/kolloch.pdf
Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall (1993)
Mitschele-Thiel, A.: Engineering with SDL – Developing Performance-Critical Communication Systems. John Wiley & Sons (2000)
Sanders, R.: Implementing from SDL. In: Telektronikk 4.2000, Languages for Telecommunication Applications. Telenor (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Christmann, D., Braun, T., Gotzhein, R. (2013). SDL Real-Time Tasks – Concept, Implementation, and Evaluation. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds) SDL 2013: Model-Driven Dependability Engineering. SDL 2013. Lecture Notes in Computer Science, vol 7916. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-38911-5_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-38911-5_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-38910-8
Online ISBN: 978-3-642-38911-5
eBook Packages: Computer ScienceComputer Science (R0)