Abstract
Simulations especially real-time simulation have been widely used for the design and testing of real-time systems. The advancement of simulation tools has largely attributed to the evolution of computing technologies. With the reduced cost and improved performance, researchers and industry engineers are able to access a variety of effective and highly performing simulation tools. This chapter describes the definition and importance of real-time simulation for real-time systems. Moreover, the chapter also points out the challenges met in real-time simulation and walks through some promising research progress in addressing some of the challenges.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
A.T. Al-Hammouri, A comprehensive co-simulation platform for cyber-physical systems. Comput. Commun. 36(1), 8–19 (2012)
R. Baheti, H. Gill, Cyber-physical systems. Impact Control Technol. 12(1), 161–166 (2011)
J. Bastian, C. Clauß, S. Wolf, P. Schneider, Master for co-simulation using FMI, in 8th International Modelica Conference (Citeseer, 2011)
A. Bayha, F. Grüneis, B. Schätz, Model-based software in-the-loop-test of autonomous systems, in Proceedings of the 2012 Symposium on Theory of Modeling and Simulation-DEVS Integrative M&S Symposium (Society for Computer Simulation International, 2012), p. 30
R. Bednar, R.E. Crosbie, Stability of multi-rate simulation algorithms, in Proceedings of SCSC, 2007, pp. 189–194
J. Bélanger, V. Lapointe, C. Dufour, L. Schoen, eMEGAsim: an open high-performance distributed real-time power grid simulator. Architecture and specification, in Proceedings of the International Conference on Power Systems (ICPS 2007) (Citeseer, 2007), pp. 12–24
J. Bélanger, P. Venne, J.N. Paquin, The what, where, and why of real-time simulation, in Power and Energy Society (2010)
B. Bhandari, J. Lu, X. Zheng, S. Rajasegarar, C. Karmakar, Non-invasive sensor based automated smoking activity detection, in 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) (IEEE, 2017), pp. 845–848
T. Blochwitz, M. Otter, J. Åkesson, M. Arnold, C. Clauss, H. Elmqvist et al., Functional mockup interface 2.0: the standard for tool independent exchange of simulation models, in 9th International Modelica Conference (The Modelica Association, 2012), pp. 173–184
P. Bouyer, F. Cassez, F. Laroussinie, Timed modal logics for real-time systems. J. Log. Lang. Inf. 20(2), 169–203 (2011)
R.D. Brennan, R.N. Linebarger, A survey of digital simulation: digital analog simulator programs. Simulation 3(6), 22–36 (1964)
F. Cassez, P. Jensen, K.G. Larsen, Refinement of trace abstraction for real-time programs, in International Workshop on Reachability Problems (Springer, 2017), pp. 42–58
H.X. Chen, Simulink and VC-based hardware-in-the-loop real-time simulation for EV, in Proceedings of EVS-25 (2010)
Y. Chen, V. Dinavahi, FPGA-based real-time EMTP. IEEE Trans. Power Delivery 24(2), 892–902 (2009)
S. Demers, P. Gopalakrishnan, L. Kant, A generic solution to software-in-the-loop, in MILCOM 2007-IEEE Military Communications Conference (IEEE, 2007), pp. 1–6
O.C. De Resende, The evolution of the aerodynamic design tools and transport aircraft wings at Embraer. J. Braz. Soc. Mech. Sci. Eng. 26(4), 379–389 (2004)
V.-Q. Do, Hypersim, an integrated real-time simulator for power networks and control systems, in ICDS’99 (1999)
H.W. Dommel, Digital computer solution of electromagnetic transients in single-and multiphase networks. IEEE Trans. Power Apparatus Syst. 4, 388–399 (1969)
C.C. Eriksen, T.J. Osse, R.D. Light, T. Wen, T.W. Lehman, P.L. Sabin, J.W. Ballard, A.M. Chiodi, Seaglider: a long-range autonomous underwater vehicle for oceanographic research. IEEE J. Ocean. Eng. 26(4), 424–436 (2001)
M. Harakawa, H. Yamasaki, T. Nagano, S. Abourida, C. Dufour, J. Bélanger, Real-time simulation of a complete PMSM drive at 10 μs time step, in At the 2005 International Power Electronics Conference-Niigata (IPEC-Niigata 2005) (2005)
S. Haykin, Neural Networks, vol. 2 (Prentice Hall, New York, 1994)
T.A. Henzinger, P.W. Kopke, A. Puri, P. Varaiya, What’s decidable about hybrid automata? in Proceedings of STOC (1995)
J.A. Hollman, J.R. MartÃ, Real time network simulation with PC-cluster. IEEE Trans. Power Syst. 18(2), 563–569 (2003)
M. Kezunovic, M. Aganagic, V. Skendzic, J. Domaszewicz, J.K. Bladow, D.M. Hamai, S.M. McKenna, Transients computation for relay testing in real-time. IEEE Trans. Power Delivery 9(3), 1298–1307 (1994)
A.B. Khaled, M.B. Gaid, N. Pernet, D. Simon, Fast multi-core co-simulation of cyber-physical systems: application to internal combustion engines. Simul. Model. Pract. Theory 47, 79–91 (2014)
M. Kinsy, O. Khan, I. Celanovic, D. Majstorovic, N. Celanovic, S. Devadas, Time-predictable computer architecture for cyber-physical systems: digital emulation of power electronics systems, in Proceedings of RTSS (IEEE, 2011), pp. 305–316
R. Kuffel, J. Giesbrecht, T. Maguire, R.P. Wierckx, P. McLaren, RTDS-a fully digital power system simulator operating in real time, in Proceedings 1995 International Conference on Energy Management and Power Delivery EMPD’95, vol. 2 (IEEE, 1995), pp. 498–503
W.H. Kwon, S.-G. Choi, Real-time distributed software-in-the-loop simulation for distributed control systems, in Proceedings of CACCD, 1999, pp. 115–119
LabVIEW RealTime, LabVIEW RealTime (2016), http://www.ni.com/labview/realtime/. Online; Accessed 26 Apr 2016
J. Lu, J. Wang, X. Zheng, C. Karmakar, S. Rajasegarar, Detection of smoking events from confounding activities of daily living, in Proceedings of the Australasian Computer Science Week Multiconference (ACM, 2019), p. 39
J.R. Marti, L.R. Linares Real-time EMTP-based transients simulation. IEEE Trans. Power Syst. 9(3), 1309–1317 (1994)
Modelisar, Modelisar (2016), http://www.modelisar.org. Online; Accessed 26 Apr 2016
M. Muresan, D. Pitica, Software in the loop environment reliability for testing embedded code, in 2012 IEEE 18th International Symposium for Design and Technology in Electronic Packaging (SIITME) (IEEE, 2012), pp. 325–328
V.H. Nguyen, Y. Besanger, Q.T. Tran, T.L. Nguyen, C. Boudinet, R. Brandl, F. Marten, A. Markou, P. Kotsampopoulos, A.A. van der Meer et al., Real-time simulation and hardware-in-the-loop approaches for integrating renewable energy sources into smart grids: challenges & actions (2017). arXiv preprint arXiv:1710.02306
S. Noureen, N. Shamim, V. Roy, S. Bayne, Real-time digital simulators: a comprehensive study on system overview, application, and importance. Int. J. Res. Eng. 4, 266–277 (2017)
L. Pan, X. Zheng, P. Kolar, S. Bangay, Object localisation through clustering unreliable ultrasonic range sensors. Int. J. Sens. Netw. 27(4), 268–280 (2018)
J.-N. Paquin, J. Moyen, G. Dumur, V. Lapointe, Real-time and off-line simulation of a detailed wind farm model connected to a multi-bus network, in 2007 IEEE Canada Electrical Power Conference (IEEE, 2007), pp. 145–152
J.-N. Paquin, C. Dufour, J. Bélanger, A hardware-in-the-loop simulation platform for prototyping and testing of wind generator controllers, in CIGRÉ Canada Conference on Power Systems Winnipeg (2008)
PXI, What’s PXI (2016), http://www.ni.com/pxi/whatis/. Online; Accessed 26 Apr 2016
PXIPrice, PXI Sample Price (2016), http://sine.ni.com/nps/cds/view/p/lang/en/nid/210825. Online; Accessed 26 Apr 2016
R. Russo, M. Terzo, F. Timpone, Software-in-the-loop development and validation of a cornering brake control logic. Veh. Syst. Dyn. 45(2), 149–163 (2007)
H. Saad, T. Ould-Bachir, J. Mahseredjian, C. Dufour, S. Dennetière, S. Nguefeu, Real-time simulation of MMCs using CPU and FPGA. IEEE Trans. Power Electron. 30(1), 259–267 (2015)
J.J. Sanchez-Gasca, R. D’aquila, W.W. Price, J.J. Paserba, Variable time step, implicit integration for extended-term power system dynamic simulation, in Proceedings of Power Industry Computer Applications Conference (IEEE, 1995), pp. 183–189
S.N. Sivanandam, S.N. Deepa, Introduction to Neural Networks Using Matlab 6.0 (Tata McGraw-Hill Education, 2006)
A. Vedaldi, K. Lenc, Matconvnet: convolutional neural networks for Matlab. Proceedings of the 23rd ACM International Conference on Multimedia (ACM, 2015), pp. 689–692
S. Wang, X. Li, L. Yao, Q.Z. Sheng, G. Long et al. Learning multiple diagnosis codes for ICU patients with local disease correlation mining. ACM Trans. Knowl. Discov. Data (TKDD) 11(3), 31 (2017)
H. Xie, G. Tian, G. Du, Y. Huang, H. Chen, X. Zheng, T.H. Luan, A hybrid method combining Markov prediction and fuzzy classification for driving condition recognition. IEEE Trans. Veh. Technol. 67(11), 10411–10424 (2018)
A. Yamane, S. Abourida, Y. Bouzid, F. Tempez, Real-time simulation of distributed energy systems and microgrids. IFAC-PapersOnLine 49(27), 183–187 (2016)
W. Yan, Y. Xue, X. Li, J. Weng, T. Busch, J. Sztipanovits, Integrated simulation and emulation platform for cyber-physical system security experimentation, in Proceedings of the 1st International Conference on High Confidence Networked Systems (ACM, 2012), pp. 81–88
Z. Zhang et al., Co-simulation framework for design of time-triggered cyber physical systems, in Proceedings of ICCPS (2013)
C. Zhang, X. Wu, X. Zheng, S. Yu, Driver drowsiness detection using multi-channel second order blind identifications. IEEE Access, 7, 60399–60410 (2019)
X. Zheng, Physically informed assertions for cyber physical systems development and debugging, 2014 IEEE International Conference on Pervasive Computing and Communication Workshops (PERCOM WORKSHOPS) (IEEE, 2014), pp. 181–183
X. Zheng, Physically informed runtime verification for cyber physical systems. Ph.D. thesis (2015)
X. Zheng, C. Julien, Verification and validation in cyber physical systems: research challenges and a way forward, in 2015 IEEE/ACM 1st International Workshop on Software Engineering for Smart Cyber-Physical Systems (IEEE, 2015), pp. 15–18
X. Zheng, C. Julien, M. Kim, S. Khurshid, On the state of the art in verification and validation in cyber physical systems. The University of Texas at Austin, The Center for Advanced Research in Software Engineering, Technical Report TR-ARiSE-2014-001, vol. 1485 (2014)
X. Zheng, C. Julien, R. Podorozhny, F. Cassez, BraceAssertion: runtime verification of cyber-physical systems, in Proceedings of MASS (2015a)
X. Zheng, C. Julien, R. Podorozhny, F. Cassez, Braceassertion: runtime verification of cyber-physical systems, in 2015 IEEE 12th International Conference on Mobile Ad Hoc and Sensor Systems (IEEE, 2015b), pp. 298–306
X. Zheng, C. Julien, M. Kim, S. Khurshid, Perceptions on the state of the art in verification and validation in cyber-physical systems. IEEE Syst. J. 11(4), 2614–2627 (2017a)
X. Zheng, C. Julien, H. Chen, R. Podorozhny, F. Cassez, Real-time simulation support for runtime verification of cyber-physical systems. ACM Trans. Embed. Comput. Syst. (TECS) 16(4), 106 (2017b)
X. Zheng, C. Julien, R. Podorozhny, F. Cassez, T. Rakotoarivelo, Efficient and scalable runtime monitoring for cyber–physical system. IEEE Syst. J. 12(2), 1667–1678 (2018)
X. Zhou, X. Cai, Y. Bu, X. Zheng, J. Jin, T.H. Luan, C. Li, When road information meets data mining: precision detection for heading and width of roads. IEEE Access, 7, 11829–11843 (2019)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 Springer Nature Singapore Pte Ltd
About this entry
Cite this entry
Zheng, X. (2022). Real-Time Simulation Support for Real-Time Systems. In: Tian, YC., Levy, D.C. (eds) Handbook of Real-Time Computing. Springer, Singapore. https://doi.org/10.1007/978-981-287-251-7_40
Download citation
DOI: https://doi.org/10.1007/978-981-287-251-7_40
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-287-250-0
Online ISBN: 978-981-287-251-7
eBook Packages: EngineeringReference Module Computer Science and Engineering