Abstract
The paper proposes an approach for integration of a number of SDL model instances into a SystemC project. It is done by conversion of an SDL model into a C/C++ library. Implementation of the library is performed by means of post-processing of previously auto-generated C code by the CAdvanced code generator. The main benefit of the approach is reducing of the project work effort and achieving a better quality of the simulation results.
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
International Telecommunication Union: Recommendation Z.100 (12/11) Specification and Description Language - Overview of SDL-2010, http://www.itu.int/rec/T-REC-Z.100/en
Mitschele-Thiel, A.: Systems Engineering with SDL: Developing Performance-Critical Communication Systems. John Wiley & Sons (2001)
Institute of Electrical and Electronics Engineers: IEEE Standard for Standard SystemC Language Reference Manual, http://standards.ieee.org/findstds/standard/1666-2011.html
Black, D.C., et al.: SystemC: From the Ground Up. Springer (2010)
Grötker, T., Liao, S., Martin, G., Swan, S.: System Design with SystemC. Kluwer Academic (2002)
Turner, K.J.: Using Formal Description Techniques – An Introduction to Estelle, LOTOS and SDL. John Wiley & Sons I (1993)
Balandin, S., et al.: Co-Modeling of Embedded Networks Using SystemC and SDL. International Journal of Embedded and Real-Time Communication Systems 2(1), 24–49 (2011), http://www.igi-global.com/article/modeling-embedded-networks-using-systemc/51648
Gillet, M.: Hardware/software co-simulation for conformance testing of embedded networks. In: Finnish-Russian University Cooperation Program in Telecommunications seminar
Olenev, V., et al.: SystemC and SDL Co-Modelling Methods. In: Proceedings of 6th Seminar of Finnish-Russian University Cooperation in Telecommunications Program, pp. 136–140. State University of Aerospace Instrumentation (2009)
IBM Rational. IBM Rational SDL Suite User’s Manual. IBM Rational (2009)
Stepanov, A., et al.: SystemC and SDL Co-Modelling Implementation. In: Proceedings of 7th Conference of Finnish-Russian University Cooperation in Telecommunications Program, pp. 130–137. State University of Aerospace Instrumentatio (2010), http://www.fruct.org/publications/fruct7/files/Ste.pdf
UniPro protocol stack by Mobile Industry Processor Interface Alliance, http://mipi.org/specifications/unipro-specifications
SpaceWire-RT project, http://spacewire-rt.org
Haroud, M., Biere, A.: SDL Versus C Equivalence Checking. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005. LNCS, vol. 3530, pp. 323–338. Springer, Heidelberg (2005)
Dietterle, D.: Efficient Protocol Design Flow for Embedded Systems. Brandenburg University of Technology (2009), http://systems.ihp-microelectronics.com/uploads/downloads/diss_dietterle.pdf
SpaceWire switch MCK-01, http://multicore.ru/index.php?id=850
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
Morozkin, P., Lavrovskaya, I., Olenev, V., Nedovodeev, K. (2013). Integration of SDL Models into a SystemC Project for Network Simulation. 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_16
Download citation
DOI: https://doi.org/10.1007/978-3-642-38911-5_16
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)