Abstract
Semaphores, process priorities, and real-time tasks are examples of SDL extensions which integrate concepts of real-time operating systems into SDL. Providing tool support for such extensions, requires time and effort to manually adapt existing modeling and analysis tools. We present an approach based on language extension which reduces the effort to obtain a text editor for modeling and a runtime efficient next-event simulator for model analysis. The approach allows to prototype extensions, i.e., evaluate their design and suitability by test and simulation. We discuss an application of our approach to a subset of SDL. In addition, we take the concept of semaphores from SDL-RT and bring it to the SDL subset by defining it as an extension. The approach is implemented only in parts yet, thus we present work in progress. We discuss working prototypes for the text editor and the simulator.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
International Telecommunication Union: Recommendation Z.100 series, Specification and Description Language, http://www.itu.int/rec/T-REC-Z.100/en
SDL-RT Standard (2013), http://www.sdl-rt.org/standard/V2.3/pdf/SDL-RT.pdf
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)
Christmann, D., Braun, T., Gotzhein, R.: SDL Real-Time Tasks – Concept, Implementation, and Evaluation. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds.) SDL 2013. LNCS, vol. 7916, pp. 239–257. Springer, Heidelberg (2013)
Blunk, A., Fischer, J.: Prototyping Domain Specific Languages as Extensions of a General Purpose Language. In: Haugen, Ø., Reed, R., Gotzhein, R. (eds.) SAM 2012. LNCS, vol. 7744, pp. 72–87. Springer, Heidelberg (2013)
Blunk, A., Fischer, J.: Efficient Development of Domain-Specific Simulation Modelling Languages and Tools. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds.) SDL 2013. LNCS, vol. 7916, pp. 163–181. Springer, Heidelberg (2013)
Blunk, A.: Discrete-Event Simulation Modelling Framework with Extensibility (DMX), http://ablunk.github.com/dmx
Blunk, A., Fischer, J.: A Highly Efficient Simulation Core in C++. In: Symposium on Theory of Modeling and Simulation, Tampa, FL, USA (2014)
Konat, D.P.G., Vergu, V.A., Kats, L.C.L., Wachsmuth, G.H., Visser, E.: The Spoofax Name Binding Language. In: Proceedings of the 3rd Annual Conference on Systems, Programming, and Applications: Software for Humanity (SPLASH 2012), pp. 79–80. ACM, New York (2012)
Ahrens, K., Eveslage, I., Fischer, J., Kühnlenz, F., Weber, D.: The Challenges of Using SDL for the Development of Wireless Sensor Networks. In: Reed, R., Bilgic, A., Gotzhein, R. (eds.) SDL 2009. LNCS, vol. 5719, pp. 200–221. Springer, Heidelberg (2009)
Kavadias, C., Perrin, B., Kollias, V., Loupis, M.: Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 137–149. Springer, Heidelberg (2003)
Brumbulli, M., Fischer, J.: SDL Code Generation for Network Simulators. In: Kraemer, F.A., Herrmann, P. (eds.) SAM 2010. LNCS, vol. 6598, pp. 144–155. Springer, Heidelberg (2011)
Kuhn, T., Geraldy, A., Gotzhein, R., Rothländer, F.: ns+SDL – The Network Simulator for SDL Systems. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 103–116. Springer, Heidelberg (2005)
Fonseca i Casas, P.: Using Specification and Description Language to Define and Implement Discrete Simulation Models. In: Proceedings of the 2010 Summer Computer Simulation Conference (SCSC 2010), pp. 419–426. Society for Computer Simulation International, San Diego (2010)
PragmaDev - Real Time Development Tools, http://www.pragmadev.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Blunk, A., Fischer, J. (2014). Prototyping SDL Extensions. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds) System Analysis and Modeling: Models and Reusability. SAM 2014. Lecture Notes in Computer Science, vol 8769. Springer, Cham. https://doi.org/10.1007/978-3-319-11743-0_21
Download citation
DOI: https://doi.org/10.1007/978-3-319-11743-0_21
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-11742-3
Online ISBN: 978-3-319-11743-0
eBook Packages: Computer ScienceComputer Science (R0)