Skip to main content
SpringerLink
Log in

Real-Time Simulation Support for Real-Time Systems

  • Reference work entry
  • First Online:
Handbook of Real-Time Computing

  • 1451 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 999.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Hardcover Book
USD 849.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  • A.T. Al-Hammouri, A comprehensive co-simulation platform for cyber-physical systems. Comput. Commun. 36(1), 8–19 (2012)

    Article  Google Scholar 

  • R. Baheti, H. Gill, Cyber-physical systems. Impact Control Technol. 12(1), 161–166 (2011)

    Google Scholar 

  • J. Bastian, C. Clauß, S. Wolf, P. Schneider, Master for co-simulation using FMI, in 8th International Modelica Conference (Citeseer, 2011)

    Google Scholar 

  • 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

    Google Scholar 

  • R. Bednar, R.E. Crosbie, Stability of multi-rate simulation algorithms, in Proceedings of SCSC, 2007, pp. 189–194

    Google Scholar 

  • 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

    Google Scholar 

  • J. Bélanger, P. Venne, J.N. Paquin, The what, where, and why of real-time simulation, in Power and Energy Society (2010)

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • P. Bouyer, F. Cassez, F. Laroussinie, Timed modal logics for real-time systems. J. Log. Lang. Inf. 20(2), 169–203 (2011)

    Article  MathSciNet  Google Scholar 

  • R.D. Brennan, R.N. Linebarger, A survey of digital simulation: digital analog simulator programs. Simulation 3(6), 22–36 (1964)

    Article  Google Scholar 

  • 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

    Google Scholar 

  • H.X. Chen, Simulink and VC-based hardware-in-the-loop real-time simulation for EV, in Proceedings of EVS-25 (2010)

    Google Scholar 

  • Y. Chen, V. Dinavahi, FPGA-based real-time EMTP. IEEE Trans. Power Delivery 24(2), 892–902 (2009)

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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)

    Article  MathSciNet  Google Scholar 

  • V.-Q. Do, Hypersim, an integrated real-time simulator for power networks and control systems, in ICDS’99 (1999)

    Google Scholar 

  • H.W. Dommel, Digital computer solution of electromagnetic transients in single-and multiphase networks. IEEE Trans. Power Apparatus Syst. 4, 388–399 (1969)

    Article  Google Scholar 

  • 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)

    Article  Google Scholar 

  • 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)

    Google Scholar 

  • S. Haykin, Neural Networks, vol. 2 (Prentice Hall, New York, 1994)

    MATH  Google Scholar 

  • T.A. Henzinger, P.W. Kopke, A. Puri, P. Varaiya, What’s decidable about hybrid automata? in Proceedings of STOC (1995)

    MATH  Google Scholar 

  • J.A. Hollman, J.R. Martí, Real time network simulation with PC-cluster. IEEE Trans. Power Syst. 18(2), 563–569 (2003)

    Article  Google Scholar 

  • 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)

    Article  Google Scholar 

  • 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)

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • J.R. Marti, L.R. Linares Real-time EMTP-based transients simulation. IEEE Trans. Power Syst. 9(3), 1309–1317 (1994)

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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

    Google Scholar 

  • 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)

    Article  Google Scholar 

  • 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)

    Article  Google Scholar 

  • 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

    Google Scholar 

  • 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)

    Google Scholar 

  • 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)

    Article  Google Scholar 

  • 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)

    Article  Google Scholar 

  • 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

    Google Scholar 

  • S.N. Sivanandam, S.N. Deepa, Introduction to Neural Networks Using Matlab 6.0 (Tata McGraw-Hill Education, 2006)

    Google Scholar 

  • A. Vedaldi, K. Lenc, Matconvnet: convolutional neural networks for Matlab. Proceedings of the 23rd ACM International Conference on Multimedia (ACM, 2015), pp. 689–692

    Google Scholar 

  • 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)

    Google Scholar 

  • 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)

    Article  Google Scholar 

  • A. Yamane, S. Abourida, Y. Bouzid, F. Tempez, Real-time simulation of distributed energy systems and microgrids. IFAC-PapersOnLine 49(27), 183–187 (2016)

    Article  Google Scholar 

  • 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

    Google Scholar 

  • Z. Zhang et al., Co-simulation framework for design of time-triggered cyber physical systems, in Proceedings of ICCPS (2013)

    Google Scholar 

  • C. Zhang, X. Wu, X. Zheng, S. Yu, Driver drowsiness detection using multi-channel second order blind identifications. IEEE Access, 7, 60399–60410 (2019)

    Article  Google Scholar 

  • 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

    Google Scholar 

  • X. Zheng, Physically informed runtime verification for cyber physical systems. Ph.D. thesis (2015)

    Google Scholar 

  • 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

    Google Scholar 

  • 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)

    Google Scholar 

  • X. Zheng, C. Julien, R. Podorozhny, F. Cassez, BraceAssertion: runtime verification of cyber-physical systems, in Proceedings of MASS (2015a)

    Google Scholar 

  • 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

    Google Scholar 

  • 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)

    Article  Google Scholar 

  • 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)

    Google Scholar 

  • 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)

    Article  Google Scholar 

  • 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)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing, Macquarie University, Sydney, NSW, Australia

    Xi Zheng

Authors
  1. Xi Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Xi Zheng .

Editor information

Editors and Affiliations

  1. School of Computer Science, Queensland University of Technology, Brisbane, QLD, Australia

    Yu-Chu Tian

  2. School of Electrical and Information Engineering, The University of Sydney, Sydney, NSW, Australia

    David Charles Levy

Rights and permissions

Reprints and permissions

Copyright information

© 2022 Springer Nature Singapore Pte Ltd

About this entry

Check for updates. Verify currency and authenticity via CrossMark

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

Publish with us

Policies and ethics

Search

Navigation