Browse > Article
http://dx.doi.org/10.9709/JKSS.2014.23.2.001

DEV&DESS-Based Real-Time Distributed Simulation Method Using DDS for Design Verification of Cyber-Physical Systems  

Kim, Jin Myoung (한국전자통신연구원(ETRI) CPS연구실)
Lee, Hae Young (서울여자대학교 정보보호학과)
Chun, Ingeol (한국전자통신연구원(ETRI) CPS연구실)
Kim, Won-Tae (한국전자통신연구원(ETRI) CPS연구실)
Publication Information
Journal of the Korea Society for Simulation / v.23, no.2, 2014 , pp. 1-6 More about this Journal
Abstract
CPS (cyber-physical systems) which consists of connected and diverse embedded systems and physical systems are a new paradigm. Traditional systems were usually considered to be passive and dumb parts in physical systems, but with CPS, we have to take into account what are being moved or changed in the physical systems. So, as increasing the complexity of CPS, potential errors in the systems also increase. In this paper, for enhancing the reliability of CPS, we exploit an executable-model-based design methodology and propose a distributed simulation method to verify the design of CPS. For the design of the systems including discrete and continuous factors, we apply DEV&DESS formalism and simulate models in distributed simulation environments through DDS middleware. We also illustrate the applications of CPS with our modeling tool.
Keywords
Modeling & simulation; DEV&DESS; hybrid modeling; DDS;
Citations & Related Records
연도 인용수 순위
  • Reference
1 Kyoung-Dae Kim and P. R. Kumar, "Cyber-Physical Systems: A Perspective at the Centennial," Proceedings of the IEEE, vol. 100, special issue, pp. 1287-1308, 2012.   DOI   ScienceOn
2 R. Rajkumar, I. Lee, L. Sha, and J. Stankovic, "Cyberphysical systems: The next computing revolution," 47th Design Autom. Conf., pp. 731-736, 2010.
3 R. Poovendran, "Cyber-Physical Systems: Close Encounters Between Two Parallel Worlds," Proceedings of IEEE, vol 98, no. 8, pp. 1363-1366, 2012.
4 Gabor Karsai and Janos Sztipanovits, "Model-Integrated Development of Cyber-Physical Systems," LNCS 5287, pp.46-54, 2008.
5 Edward A. Lee, "Cyber physical Systems: Design challenges," ISORC, pp.363-369, 2008.
6 Bernard P. Zeigler, Herbert Praehofer, Tag Gon Kim, "Theory of Modeling and Simulation", Academic Press, San Diego, 2000.
7 OMG, "Data Distribution Service for Real-time Systems Specification", OMG, 2007.
8 A. J. J. Lemmers, P. J. Kuiper, F. R. Verhage, "Performance of a Component-based Flight Simulator Architecture Using the HLA Paradigm", AIAA Modeling and Simulation Technologies Conference and Exhibit, NLR-TP-2002-470, 2002.
9 H. Y. LEE, I. G. Chun and W. T. Kim, "DVML: DEVSBased Visual Modeling Lanugage for Hybrid System", CCIS, vol. 256, pp. 122-127, 2011.
10 Janos Sztipanovits, "Composition of Cyber-Physical Systems," Engineering of Computer-Bused Systems '07, 2007.