$\require{mediawiki-texvc}$

연합인증

연합인증 가입 기관의 연구자들은 소속기관의 인증정보(ID와 암호)를 이용해 다른 대학, 연구기관, 서비스 공급자의 다양한 온라인 자원과 연구 데이터를 이용할 수 있습니다.

이는 여행자가 자국에서 발행 받은 여권으로 세계 각국을 자유롭게 여행할 수 있는 것과 같습니다.

연합인증으로 이용이 가능한 서비스는 NTIS, DataON, Edison, Kafe, Webinar 등이 있습니다.

한번의 인증절차만으로 연합인증 가입 서비스에 추가 로그인 없이 이용이 가능합니다.

다만, 연합인증을 위해서는 최초 1회만 인증 절차가 필요합니다. (회원이 아닐 경우 회원 가입이 필요합니다.)

연합인증 절차는 다음과 같습니다.

최초이용시에는
ScienceON에 로그인 → 연합인증 서비스 접속 → 로그인 (본인 확인 또는 회원가입) → 서비스 이용

그 이후에는
ScienceON 로그인 → 연합인증 서비스 접속 → 서비스 이용

연합인증을 활용하시면 KISTI가 제공하는 다양한 서비스를 편리하게 이용하실 수 있습니다.

[국내논문] 사이버 물리 시스템을 위한 실시간 시뮬레이션 기술 개발
Development of a Real-time Simulation Technique for Cyber-physical System 원문보기

한국시뮬레이션학회논문지 = Journal of the Korea Society for Simulation, v.23 no.4, 2014년, pp.181 - 188  

김지연 ,  김형종 () ,  강성주 (충남대학교 컴퓨터공학과)

초록
AI-Helper 아이콘AI-Helper

사이버 물리 시스템(cyber-physical system, CPS) 환경에서는 이기종의 물리 시스템과 연산 장치들이 대규모로 구축되기 때문에 사전에 시뮬레이션을 통해 시스템의 동작을 검증하는 것이 필요하다. CPS 시뮬레이션의 기술적 이슈 중 하나는 시간 동기화 문제이다. CPS 환경에서는 분산 시스템 간의 실시간 제어가 요구되기 때문에 모델의 복잡도가 높을 경우, 다른 모델과의 시간 오차로 인해 잘못된 데이터 및 제어 명령을 전송할 수 있다. 따라서 본 논문에서는 연속 시간 시스템 속성과 이산사건 시스템 속성을 모두 가지는 CPS 하이브리드 모델에 대하여 시간 동기화 알고리즘을 제시하고, 이를 탑재한 CPS 시뮬레이터를 개발한다. 또한, 시스템 간의 상호작용 뿐 아니라, 하드웨어를 통한 사용자 제어를 고려하여 CPS 시뮬레이션을 수행함으로써 제안된 알고리즘 및 시뮬레이터의 실행을 검증한다.

Abstract AI-Helper 아이콘AI-Helper

Heterogeneous physical systems and computational devices are incorporated on a large-scale in a CPS (cyber-physical system) environment. Simulations can be useful for the reliable behaviors of CPSs. Time synchronization is one of major technical issues for the simulations. In the CPS, distributed sy...

주제어

AI 본문요약
AI-Helper 아이콘 AI-Helper

* AI 자동 식별 결과로 적합하지 않은 문장이 있을 수 있으니, 이용에 유의하시기 바랍니다.

문제 정의

  • 따라서 CPS 시뮬레이션에서 어느 한 시뮬레이터의 시간이 느려지거나 빨라지는 경우에는 분산 시뮬 레이션 데이터를 신뢰할 수 없기 때문에 시뮬레이션을 중단해야 하지만, 사전에 합의된 오차가 허용되는 범위 내에서는 런타임(runtime)중 연산 속도를 조절함으로써 실시간 시뮬레이션을 지원할 수 있을 것이다. 따라서 본 논문에서는 CPS 시간 동기화 알고리즘을 개발하여 이를 CPS 시뮬레이터에 탑재하고, 알고리즘의 실행을 검증하고자 한다. 본 논문에서 개발하는 CPS 시뮬레이터는 이산 사건 시스템 모델 뿐 아니라, CPS 환경에 존재할 수 있는 다양한 연속 시스템의 시뮬레이션도 지원하도록 설계된 하이브리드 시뮬레이터이다.
  • CPS는 분산 환경의 시스템 간의 실시간 제어가 필요하기 때문에 동기화 되지 않은 시간을 기반으로 상호작용하면 잘못된 데이터 및 제어 명령에 의해 위험이 발생할수 있다. 따라서 본 논문에서는 CPS 시뮬레이션을 위한 시간 동기화 알고리즘을 설계하고, 이를 탑재한 CPS 시뮬레이터를 개발하였다. 또한, 제안된 알고리즘 및 이의 실행을 검증하기 위하여 시나리오를 기반으로 CPS 실시간 시뮬레이션을 수행하였다.
  • 현실적으로 시뮬레이션 시간이 실시간보다 빨리 진행되는 경우보다 모델의 복잡성 등의 이유로 시간이 느리게 진행되는 경우가 많다. 따라서 본 논문에서는 Fig. 3과 같이 CPS 시뮬레이터가 느리게 동작하는 경우에 대한 예제를 통해서 제안하는 시간 동기화 알고리즘을 설명한다.
  • 실제 CPS 환경에서는 CPS 시스템 간의 상호작용을 뿐 아니라, 하드웨어를 통한 사용자의 입력으로도 시스템 제어가 가능해야 한다. 따라서 본 논문에서는 현실 세계와 보다 유사한 환경에서 시뮬레이션을 수행하기 위하여 human interactive 시뮬레이션 기능을 추가로 개발하였고, 실제로 런타임 동안 사용자의 제어를 발생시키면서 실시간 시뮬레이션을 수행하였다.
  • 본 논문에서는 CPS 시뮬레이터의 실시간 진행 여부에 따라 연속 모델의 연산 주기를 갱신하기 위한 방법으로서 수식 (1)~(3)을 개발하였다.
  • 3장에서 개발한 시간 동기화 알고리즘을 CPS 시뮬레이터에 반영하기 위해서는 분산 환경에 존재하는 각 CPS 시뮬레이터가 공통적으로 참고할 수 있는 시계가 필요하다. 본 논문에서는 이 시계 역할을 하는 시간 서버를 별도로 구현하고, 이 시간 서버가 일정한 주기마다 시간 데이터를 모든 CPS 시뮬레이터에 전송하도록 구현한다. 시간 서버가 전송하는 시간 데이터가 바로 3장에서 설명한 글로벌 시간(TGT)이며 각 시뮬레이터는 글로벌 시간을 활용하여 시뮬레이터의 실시간 진행 여부를 판단할 수 있게 된다.
  • 기존에 제시된 분산 시뮬레이션의 시간 동기화 알고리즘의 종류는 크게 conservative 알고리즘과 optimistic 알고리즘으로 구분된다. 본 연구에서는 두 알고리즘의 기본 개념을 살펴보기 위하여 두 알고리즘의 가장 기본 원리를 제시하는 Chandy-Misra 알고리즘[4] 및 Time Warp[5] 알고리즘을 살펴본다.
본문요약 정보가 도움이 되었나요?

질의응답

핵심어 질문 논문에서 추출한 답변
사이버 물리시스템은 무엇인가? 사이버 물리시스템(cyber-physical system, 이하 CPS)은 네트워크를 통해 물리 시스템과 연산 체계를 통합함으로써 물리 프로세스와 상호작용 할 수 있는 컴퓨팅 시스템이다[1, 2]. CPS 환경은 임베디드 소프트웨어를 탑재하고 있는 이기종의 물리 시스템들과 연산 장치들이 통합되어 복잡한 시스템으로 구성될 수 있으며, 이들이 가지는 제어 지식을 통해 이 복잡한 시스템을 제어할 수 있다.
CPS는 무엇인가? CPS는 임베디드 소프트웨어를 탑재한 이기종의 물리 시스템들이 연산을 통합함으로써 시스템을 제어하는 컴퓨팅 기술이다. CPS는 large-scale로 구축되어 복잡한 시스템을 구성하기 때문에 안전한 CPS 운영을 위해서 시뮬레이션을 수행하는 것이 필요하다.
프로세스 실행 측면에서 CPS 시뮬레이터에 시간 동기화 알고리즘이 적용되는 과정은 어떠한가? 1) 주 프로세스인 CPS 시뮬레이터 시작 2) 글로벌 시간 수신 스레드(TGT receiver) 생성 및 수신 대기 3) 원격지 상의 시간 서버(time server)로부터 글로벌 시간(T GT) 수신 및 주 프로세스가 글로벌 시간 수신을 인지할 수 있도록 알림 5) 주 프로세스의 시간 동기화 과정 수행 6) 새로운 연산 주기(TnewTS)를 연속 모델을 실행하는 ODE (ordinary differential equation) solver에 반영
질의응답 정보가 도움이 되었나요?

참고문헌 (11)

  1. Dan Henriksson and Hilding Elmqvist, "Cyber-Physical Systems Modeling and Simulation with Modelica", 8th International Modelica Conference, 2011. 

  2. Paul Bogdan and Radu Marculescu, "Cyberphysical systems: Workload Modeling and Design Optimization", IEEE Design and Test of Computers, July/August 2011. 

  3. "RTI 1.3 - Next Generation Programmer's Guide Version 3.2", Defense Modeling and Simulation Office, April 2000. 

  4. K. Mani Chandy and Jayadev Misra, "Distributed Simulation: A Case Study in Design and Verification of Distributed Programs", IEEE Transaction on Software Engineering, Vol. SE-5, No. 5, September 1979. 

  5. David Jefferson and Henry Sowizral, "Fast Concurrent Simulation using The Time Warp Mechanism, Part 1: Local Control", Rand corporation, December 1982. 

  6. "Cyber-Physical Systems: Executive Summary", CPS Steering Group, March 2008. 

  7. Radhakisan Baheti and Helen Gill, "Cyber-physical System", The Impact of Control Technology, 2011. 

  8. R.M. Fujimoto, "Time Management in the High Level Architecture", Simulation Special Issue on High Level Architecture, vol. 71, no. 6, 388-400, 1998. 

  9. Carolyn Talcott, "Cyber-Physical Systems and Events", Software-Intensive Systems, LNCS 5380, pp. 101-115, 2008. 

  10. P. E. Wellstead, Introduction to Physical System Modelling, Control Systems Principles, 2000. 

  11. Huang-Ming Huang et el., "Cyber-Physical Systems for Real-Time Hybrid Structural Testing: A Case Study", ICCPS'10, Stockholm, Sweden, April 2010. 

저자의 다른 논문 :

관련 콘텐츠

오픈액세스(OA) 유형

FREE

Free Access. 출판사/학술단체 등이 허락한 무료 공개 사이트를 통해 자유로운 이용이 가능한 논문

저작권 관리 안내
섹션별 컨텐츠 바로가기

AI-Helper ※ AI-Helper는 오픈소스 모델을 사용합니다.

AI-Helper 아이콘
AI-Helper
안녕하세요, AI-Helper입니다. 좌측 "선택된 텍스트"에서 텍스트를 선택하여 요약, 번역, 용어설명을 실행하세요.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.

선택된 텍스트

맨위로