Abstract
The Specification and Description Language (SDL) is a widespread language for the development of distributed real-time systems. One of its major advantages is its tool support, which enables the automatic generation of SDL implementations and the simulative evaluation of SDL systems in early development phases. However, SDL simulations often suffer from low accuracy, since they can not consider relevant non-functional aspects like execution delays of the target platform. In this paper, we present a novel approach improving the accuracy of simulations with SDL. It is based on the simulator framework FERAL and the simulation of SDL implementations on Hardware-in-the-Loop (HiL), thereby enabling both pure functional and performance evaluations of SDL systems. Besides providing a survey of SDL simulations with FERAL, this paper proposes a development process based on virtual prototyping, supporting step-wise system integration and tests of SDL systems by reducing the abstraction level of simulations gradually. To demonstrate this process and the significance of accurate simulations, results of a case study with an inverted pendulum are presented.
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
Notes
- 1.
First, we designed a mathematical model of the physics and behavior of the inverted pendulum based on differential equations. To enable simulations, this mathematical model has been transformed into a Simulink model. We have chosen Simulink, since its semantics is particularly suited to represent such kind of models.
References
ASAM e.V: ASAM MCD-1 XCP V1.1.3 (2015)
Becker, P., Gotzhein, R., Kuhn, T.: Model-driven performance simulation of self-organizing systems with PartsSim. PIK - Praxis der Informationsverarbeitung und Kommunikation 31(1), 45–50 (2008)
Blochwitz, T., et al.: The functional mockup interface for tool independent exchange of simulation models. In: 8th International Modelica Conference (2011)
Boot, R., et al.: Automated test of ECUs in a Hardware-in-the-Loop simulation environment. In: 1999 IEEE International Symposium on Computer Aided Control System Design, pp. 587–594 (1999)
Boutet, F., et al.: Scheduling in SDL simulation. Application to future air navigation systems. In: SAM, pp. 320–332. VERIMAG, IRISA, SDL Forum (2000)
Bræk, R., Haugen, Ø.: Engineering Real Time Systems. Prentice Hall, Englewood Cliffs (1993)
Braun, T., et al.: Virtual prototyping with feral - adaptation and application of a simulator framework. In: 24th IASTED International Conference on Modelling and Simulation (2013)
Braun, T., et al.: Virtual prototyping of distributed embedded systems with FERAL. Int. J. Model. Simul. 2(34), 91–101 (2014)
Braun, T., et al.: FERAL - framework for simulator coupling on requirements and architecture level. In: 11th ACM-IEEE International Conference on Formal Methods and Models for Codesign, pp. 11–22 (2013)
Buford, Jr., et al.: HWIL weapon system simulations in the U.S. army aviation and missile command (USAAMCOM). In: SPIE 4366 (2001)
Fathy, H.K., et al.: Review of Hardware-in-the-Loop simulation and its prospects in the automotive area. In: SPIE 6228 (2006)
Gotzhein, R., Krämer, M., Litz, L., Chamaken, A.: Energy-aware system design with SDL. In: Reed, R., Bilgic, A., Gotzhein, R. (eds.) SDL 2009. LNCS, vol. 5719, pp. 19–33. Springer, Heidelberg (2009)
Hwang, T., et al.: Development of HILS systems for active brake control systems. In: SICE-ICASE, pp. 4404–4408, International Joint Conference, October 2006
IBM Corp.: Rational SDL suite (2015). http://www-03.ibm.com/software/products/en/ratisdlsuit
Igel, A., Gotzhein, R.: A CC2420 transceiver simulation module for ns-3 and its integration into the FERAL simulator framework. In: The Fifth International Conference on Advances in System Simulation, pp. 156–164 (2013)
International Telecommunication Union (ITU): Abstract syntax notation one (ASN.1) recommendations (Overview) (2008). http://www.itu.int/ITU-T/studygroups/com17/languages/
International Telecommunication Union (ITU): 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/en
Langendörfer, P., Lehmann, M.: Implementation independent profiling of SDL specifications. In: Liggesmeyer, P., Pohl, K., Goedicke, M. (eds.) Software Engineering. LNI, vol. 64, pp. 155–166. GI, Bonn (2005)
MEMSIC Inc.: Imote2 datasheet (2015). http://vs.cs.uni-kl.de/dl/Imote2.pdf
Patil, P., Bhosale, S.: Review on Hardware-in-Loop simulation used to advance design efficiency and test competency. Int. J. Sci. Res. (IJSR) 4(3), 2466–2468 (2015)
Perrotin, M., Conquet, E., Delange, J., Schiele, A., Tsiodras, T.: TASTE: a real-time software engineering tool-chain overview, status, and future. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 26–37. Springer, Heidelberg (2011)
PragmaDev SARL: Real Time Developer Studio (2015). http://www.pragmadev.com
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)
Telelogic Technologies: Object Geode 4–2 reference manual (2000)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Braun, T., Christmann, D. (2015). Simulating Distributed Systems with SDL and Hardware-in-the-Loop. In: Fischer, J., Scheidgen, M., Schieferdecker, I., Reed, R. (eds) SDL 2015: Model-Driven Engineering for Smart Cities. SDL 2015. Lecture Notes in Computer Science(), vol 9369. Springer, Cham. https://doi.org/10.1007/978-3-319-24912-4_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-24912-4_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-24911-7
Online ISBN: 978-3-319-24912-4
eBook Packages: Computer ScienceComputer Science (R0)