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.
CPS는 네트워크로 연결된 다수의 임베디드 시스템들이 물리 시스템과 연동하는 새로운 개념의 시스템 이다. 기존의 시스템은 일반적으로 물리 시스템 부분을 고려하지 않았다. 그러나 CPS에서 우리는 물리 시스템에서의 변화와 움직임을 고려해야 한다. 따라서 CPS의 복잡도가 증가로 시스템에서 잠재적인 문제 발생 역시 증가 한다. 본 논문에서 우리는 CPS의 신뢰성을 위하여 실행 가능한 모델 기반 설계 방법론을 적용하고 이를 검증하기 위한 분산 실시간 시뮬레이션 기법을 사용한다. 이산과 연속 요소를 갖는 하이브리드 시스템의 설계를 위하여 우리는 DEV&DESS 형식론을 적용하고 DDS 미들웨어 기반 분산 시뮬레이션 환경에서 시뮬레이션을 수행한다. 또한 우리는 개발한 모델링 도구를 이용한 CPS 응용분야의 모델링 및 시뮬레이션 수행 결과를 보여준다.
