Real-time simulation support for runtime verification of cyber-physical systems

ACM Transactions on Embedded Computing Systems

Volumn 16, Issue 4, 2017, Pages

  Zheng, Xi ^a   Julien, Christine ^b   Chen, Hongxu ^c   Podorozhny, Rodion ^d   Cassez, Franck ^e  

^a DEAKIN UNIVERSITY   (Australia)

^b The University of Texas at Austin   (United States)

^c TSINGHUA UNIVERSITY   (China)

^d TEXAS STATE UNIVERSITY   (United States)

^e MACQUARIE UNIVERSITY   (Australia)

Author keywords

Runtime verification

Indexed keywords

ARCHITECTURE; CYBER PHYSICAL SYSTEM; EMBEDDED SYSTEMS; TRANSIENTS;

APPLICATION DEVELOPERS; AUTOMATICALLY GENERATED; COMPUTATIONAL OVERHEADS; CYBER-PHYSICAL SYSTEMS (CPS); PERFORMANCE PENALTIES; REAL TIME SIMULATIONS; RUN-TIME VERIFICATION; SENSORS AND ACTUATORS;

REAL TIME SYSTEMS;

EID: 85019898160     PISSN: 15399087     EISSN: 15583465     Source Type: Journal    
DOI: 10.1145/3063382     Document Type: Article

References (37)

1. Ahmad T. Al-Hammouri. 2012. A comprehensive co-simulation platform for cyber-physical systems. Comput. Commun. 36, 1(2012), 8-19.
2. J. Bastian, C. Clauß, S. Wolf, and P. Schneider. 2011. Master for co-simulation using FMI. In Proceedings of the 8th International Modelica Conference. Citeseer.
3. Marcin Baszyński. 2016. Low cost, high accuracy real-time simulation used for rapid prototyping and testing control algorithms on example of BLDC motor. Arch. Electr. Eng. 65, 3(2016), 463-479.
4. R. Bednar and R. E. Crosbie. 2007. Stability of multi-rate simulation algorithms. In Proceedings of Summer Computer Simulation Conference (SCSC'07). 189-194.
5. J. Bélanger, P. Venne, and J. N. Paquin. 2010. The what, where, and why of real-time simulation. Planet RT 1. 1:25-29.
6. T. Blochwitz, M. Otter, J. Åkesson, M. Arnold, C. Clauss, H. Elmqvist, and others. 2012. Functional mockup interface 2.0: The standard for tool independent exchange of simulation models. In Proceedings of the 9th International Modelica Conference. 173-184.
7. H. X. Chen. 2010. Simulink and VC-based hardware-in-the-loop real-time simulation for EV. In Proceedings of Electric Vehicle Symposium (EVS-25'10).
8. L. Dagum and R. Enon. 1998. OpenMP: An industry standard API for shared-memory programming. Comput. Sci. Eng. IEEE 5, 1(1998), 46-55.
9. Robocup Federation. Robocup Normal League. Retrieved at http://www.robocup.org/leagues/5.
10. C. Fetzer and F. Cristian. 1995. An optimal internal clock synchronization algorithm. In Proceedings of the Conference on Computer Assurance (COMPASS'95).
11. A. Gholkar, A. Isaacs, and H. Arya. 2004. Hardware-in-loop simulator for mini aerial vehicle. In Proceedings of the Real-Time Linux Workshop.
12. D. Goswami, R. Schneider, and S. Chakraborty. 2011. Co-design of cyber-physical systems via controllers with flexible delay constraints. In Proceedings of the Asia and South pacific design Automation Conference (ASP-DAC'11).
13. M. Harakawa et al. 2005. Real-time simulation of a complete PMSM drive at 10 μs time step. In Proceedings of the International Symposium on Parameterized and Exact Computation (IPEC'05).
14. T. A. Henzinger, P. W. Kopke, A. Puri, and P. Varaiya. 1995. What's decidable about hybrid automata? In Proceedings of the Symposium on Theory of Computing (STOC'95).
15. B. Horling, V. Lesser, R. Vincent, and T. Wagner. 2006. The soft real-time agent control architecture. Auton. Agents Multi-Agent Syst. 12, 1(2006), 35-91.
16. U. Hunkeler, H. L. Truong, and A. Stanford-Clark. 2008. MQTT-SâAŤǍ publish/subscribe protocol for wireless sensor networks. In Proceedings of Comsware. IEEE, 791-798.
17. Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh, and Sanjit A. Seshia. 2015. Mining requirements from closed-loop control models. IEEE Trans. Comput.-Aided Design Integr. Circ. Syst. 34, 11(2015), 1704-1717.
18. T. Jones and G. A. Koenig. 2010. A clock synchronization strategy for minimizing clock variance at runtime in high-end computing environments. In Proceedings of the Symposium on Computer Architecture and High Performance Computing (SBAC-PAD'10).
19. Michele L. Joyner, Chelsea R. Ross, Colton Watts, and Thomas C. Jones. 2014. A stochastic simulation model for anelosimus studiosus during prey capture: A case study for determination of optimal spacing. Math. Biosci. Eng. 11, 9 (2014).
20. A. B. Khaled, M. B. Gaid, N. Pernet, and D. Simon. 2014. Fast multi-core co-simulation of cyberphysical systems: Application to internal combustion engines. Simulat. Model. Pract. Theory 47(2014), 79-91.
21. G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. M. Loingtier, and J. Irwin. 1997. Aspectoriented programming. In Proceedings of the European Conference on Object Oriented Programming (ECOOP'97). Springer, 220-242.
22. M. Kinsy, O. Khan, I. Celanovic, D. Majstorovic, N. Celanovic, and S. Devadas. 2011. Time-predictable computer architecture for cyber-physical systems: Digital emulation of power electronics systems. In Proceedings of the Real Time Systems Symposium (RTSS'11). IEEE, 305-316.
23. W. H. Kwon and S.-G. Choi. 1999. Real-time distributed software-in-the-loop simulation for distributed control systems. In Proceedings of International Symposium on Computer Aided Control System Design. IEEE, 115-119.
24. LabVIEW RealTime. 2016. LabVIEW RealTime. Retrieved from http://www.ni.com/labview/realtime/. (2016).
25. LabViewManual. 2016. LabView User Manual. Retrieved from http://autnt.fme.vutbr.cz/lab/FAQ/labview/SimulationModule-UserManual-371013c.pdf (2016).
26. V. Lesser et al. 2004. Evolution of the GPGP/TAEMS domain-independent coordination framework. Auton. Agents Multi-Agent Syst. 9, 1(July 2004), 87-143.
27. B. Miller, F. Vahid, and T. Givargis. 2011. Application-specific codesign platform generation for digital mockups in cyber-physical systems. In Proceedings of the Electronic System Level Synthesis Conference (ESLsyn'11).
28. D. L. Mills. 1991. Internet time synchronization: The network time protocol. IEEE Trans. Comm. 39, 10(October 1991), 1482-1493.
29. Modelisar 2016. Modelisar. Retrived at http://www.modelisar.org. (2016).
30. PXI 2016. What's PXI. Retrived at http://www.ni.com/pxi/whatis/. (2016).
31. PXIPrice. 2016. PXI Sample Price. Retrived at http://sine.ni.com/nips/cds/view/p/lang/en/nid/210825. (2016).
32. Camille Alain Rabbath, M. Abdoune, and Jay Belanger. 2000. Real-time simulations: Effective realtime simulations of event-based systems. In Proceedings of the 32nd Conference on Winter Simulation. Society for Computer Simulation International, 232-238.
33. J. J. Sanchez-G., R. D'Aquila, W. W. Price, and J. J. Paserba. 1995. Variable time step, implicit integration for extended-term power system dynamic simulation. In Proceedings of the Conference on Power Industry Computer Applications (PICA'95).
34. Wei Yan, Yuan Xue, Xiaowei Li, Jiannian Weng, Timothy Busch, and Janos Sztipanovits. 2012. Integrated simulation and emulation platform for cyber-physical system security experimentation. In Proceedings of the 1st International Conference on High Confidence Networked Systems. ACM, 81-88.
35. Z. Zhang et al. 2013. Co-simulation framework for design of time-triggered cyber physical systems. In Proceedings of the International Conference on Cyber-Physical Systems (ICCPS'13).
36. X. Zheng, C. Julien, R. Podorozhny, and F. Cassez. 2015. Brace Assertion: Runtime Verification of Cyber-Physical Systems. In Proceedings of the Conference on Mobile Ad Hoc and Sensor Systems (MASS'15).
37. X. Zheng, D. E. Perry, and C. Julien. 2014. Braceforce: A middleware to enable sensing integration in mobile applications for novice programmers. In Proceedings of International Conference on Mobile Software Engineering and Systems. ACM, 8-17.