IEMEK Journal of Embedded Systems and Applications (대한임베디드공학회논문지)

Institute of Embedded Engineering of Korea (대한임베디드공학회)
권호 표지
DOI QR코드

DOI QR Code

A Real-Time Simulation Framework for Incremental Development of Cyber-Physical Systems

CPS의 점진적인 개발 과정을 지원하는 실시간 시뮬레이션 프레임워크

  • Received : 2012.07.31
  • Accepted : 2012.09.06
  • Published : 2012.12.31
Download PDF
⟨ Previous Next ⟩

Abstract

When developing a CPS, since it is nature of CPS to interact with a physical system, CPS should be verified during its development process by real-time simulation supporting timely interactions between the simulator and existing implemented hardwares. Furthermore, when a part of a simulated system is implemented to real hardwares, i.e., incremental development, the simulator should aware changes of the simulated system and apply it automatically without manual description of the changes for effective development. For this, we suggest a real-time simulation framework including the concept of 'port' which abstracts communication details between the tasks, and a scheduling algorithm for guaranteeing 'real-time correctness' of the simulator.

Keywords

References

  1. E. Lee, "Cyber Physical Systems: Design Challenges," Proceedings on the IEEE International Symposium on Object Oriented Real-Time Distributed Computing, pp.363-369, 2008.
  2. K.S. We, J.C. Kim, C.G. Lee, "A Novel Simulation Framework for Supporting Real-Time Cyber-Physical Interactions," Proceedings on the International Workshop on Large-Scale Cyber-Physical Systems, pp.1-3, 2011.
  3. J.H. Han, K.S. We, C.G. Lee, "WiP Abstract: Cyber Physical Simulation Supporting Smooth Development from All-simulated Systems to All-real Systems," Proceedings on the International Conference on Cyber-Physical Systems, pp.208, 2012.
  4. Simulink, http://www.mathworks.co.kr/products/simulink/
  5. D. Henriksson, A. Cervin, K. Arzen, "TRUETIME: Real-Time Control System Simulation with Matlab/Simulink," Proceedings on Nordic MATLAB Conference, 2003.
  6. CANoe, http://www.vector.com/vk_canoe_ko.html/
  7. LabVIEW, http://ni.com/labview/ko/
  8. C. Faure, M.B. Gaid, N. Pernet, M. Fremovici, G. Font, G. Corde, "Methods for real-time simulation of Cyber-Physical Systems: application to automotive domain," Proceedings on the International Wireless Communication and Mobile Computing Conference, pp.1105-1110, 2011.
  9. D. Mahrenholz, S. Ivanov, "Real-Time Network Emulation with ns-2," Proceedings on the IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, pp.29-36, 2004.
  10. J. Zhou, Z. Ji, M. Takai, R. Bagrodia, "Maya: a Multi-Paradigm Network Modeling Framework for Emulating Distributed Applications," Proceedings on the Workshop on Parallel and distributed simulation, pp.163-170, 2003.
  11. A. Al-Hammouri, V. Liberatore, H. Al-Omari, Z. Al-Qudah, M. S. Branicky, D. Agrawal, "A co-simulation platform for actuator networks," Proceedings on the International Conference on Embedded Networked Sensor Systems, pp.383-384, 2007.
  12. ns-2, http://isi.edu/nsnam/ns/
  13. M.M. Tiller, "Introduction to Physical Modeling with Modelica," Springer, 2001.
  14. J. Lin, S. Sedigh, A. Miller, "Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution," Proceedings on the IEEE International Conference on Dependable, Autonomics and Secure Computing, pp.690-695, 2009.
  15. EPANET, http://www.epa.gov/nrmrl/wswrd/dw/epanet.html/