Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

하이브리드 모델기반 고신뢰 CPS(Cyber-Physical Systems) SW 개발 환경

  • Published : 2015.12.15
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. 김원태 외 "대규모 자율제어 CPS 소프트웨어 플랫폼 기술," 정보과학회지 제31권 제12호, 2013.12, 16-28.
  2. Bernard P. Zeigler, Herbert Praehofer, Tag Gon Kim, "Theory of Modeling and Simulation 2nd ED (sub title) Integrating Discrete Event and Continuous Complex Dynamic Systems," Academic Press, 2000.
  3. http://www.clarotesting.com/page11.htm#coherence
  4. T.A. Henzinger, P.H. Ho, "A user guide to HyTech," Tools and Algorithms for the Construction and Analysis of Systems, LNCS, Vol.1019, pp.41-71, 1995
  5. Donze, A., Frehse, G., "Modular, hierarchical models of control systems in SpaceEx," Control Conference (ECC), 2013 European, pp.4244 - 4251, 2013
  6. X. Li, C. Qiao, X. Yu, A. wagh, R.Sudhaakar, and S. Addepalli, "Toward Effective Service Scheduling for Human Drivers in Vehicular Cyber-Physical Systems", IEEE Transactions On Parallel and Distributed Systems, Vol. 23, No.9, pp.1775-1789, 2012 https://doi.org/10.1109/TPDS.2012.89
  7. Peter Marwedel, "Embedded System Design 2nd E/D, Embedded System Foundation of Cyber-Physical Systems," Springer, 2011.
  8. Shiyong Wang, Jiafu Wan, Di Li, and Chunhua Zhang, "Implementing Smart Factory of Industrie 4.0: An Outlook," International Journal of Distributed Sensor Networks, Article ID 681806, April 2015.
  9. http://standards.sedris.org/
  10. J. J, J, Yoo, H. Choi, S. Cha, H. Lee, and W.Kim "Translation from ECML to Linear Hybrid Automata," Lecture Notes in Electrical Engineering Volume 181, pp 293-300, 2012.
  11. J. Jo, S. Yoon, J. Yoo, H. Lee, and W. Kim, "Case Study Verification of ECML Model Using SpaceEx", In Proceedings of Korea-Japan Joint Workshop on ICT, Pohang, Korea, 2012.
  12. Xiaoyu Li, Yuying Wang, Xingshe Zhou, Dongfang Liang, Chenglie Du, "An Implementation towards Integrated Simulation of Cyber-Physical Systems," 2013 IEEE ICGCC & IEEE loT & LEEE CPS, pp. 789-796, 2013
  13. 김진명, 이해영, 전인걸, 김원태, "CPS 설계 검증을 위한 DDS 및 DEV&DESS 기반의 실시간 분산 시뮬레이션 방법," 한국시뮬레이션학회 논문지 제23권 2호 pp. 1-6, 2014.6
  14. M. Kim, S. Kang, W. Kim and I. Chun, "Human-Interactive Hardware-In-the-Loop Simulation Framework for Cyber-Physical Systems", In Proceedings of the International conference on Informatics & Applications, Poland, 2013.
  15. J. Jeon, I.Chun, and W.Kim "Metamodel-Based CPS Modeling Tool," Lecture Notes in Electrical Engineering Volume 181, pp. 285-291, 2012.