• 정보보호학회논문지
• /
• 제28권1호
• /
• pp.123-133
• /
• 2018

사이버 물리 시스템(CPS: Cyber-Physical System)은 물리시스템과 사이버시스템이 통합되어 운영되는 시스템을 말한다. CPS는 대상 물리시스템을 안정적으로 운영하기 위해 다수의 센서를 이용하여 끊임없이 물리 대상을 모니터링하고 현재 상태에 따라 액추에이터 제어를 수행한다. 만약 악의적인 공격자가 자신들의 공격을 은닉하기 위해서 센서들의 측정값을 대상으로 위변조 공격을 수행한다면, 수집된 데이터에 기반하여 운영되는 사이버시스템은 현재 물리시스템의 운영 현황을 확인할 수 없게 된다. 이는 자동화 시스템 및 운전원의 대응을 지연시켜 더욱 큰 피해가 발생하게 된다. 점차 정교해지는 타겟형 공격들로부터 CPS를 안전하게 보호하기 위해서는 센서 및 측정값을 대상으로 수행되는 은닉형 공격을 탐지할 수 있는 대응기술을 개발해야 한다. 그러나 다양한 이기종 장치들이 존재하는 CPS에서 실제 현장장치들을 대상으로 취약점을 분석하고 실증하는 과정은 많은 시간을 필요로 한다. 따라서 본 연구에서는 CPS 은닉형 공격 탐지 기술의 성능 검증에 활용 가능한 중간자 PLC 실험환경 구축 방안을 제안하고 그 실험결과를 제시한다.

• 대한임베디드공학회논문지
• /
• 제7권5호
• /
• pp.227-239
• /
• 2012

Recent advances in electronics have enabled various conventional products to incorporate with numerous powerful microcontroller. Generally, an embedded system is a computer system designed for specific control functions within a larger system, often with real-time computing constraints. The growing performance and reliability of hardware components and the possibilities brought by various design method enabled implementing complex functions that improve the comport of the system's occupant as well as their safety. A cyber physical system (CPS) is a system featuring a tight combination of, and coordination between, the system's computational and physical elements. The concept of cyber physical system, including physical elements, cyber elements, and shared networks, has been introduced due to two general reasons: design flexibility and reliability. This paper presents a cyber physical system where system components are connected to a shared network, and control functions are divided into small tasks that are distributed over a number of embedded controllers with limited computing capacity. In order to demonstrate the effectiveness of cyber physical system, an unmanned forklift with autonomous obstacle avoidance ability is implemented and its performance is experimentally evaluated.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2017년도 추계학술대회
• /
• pp.754-755
• /
• 2017

CPS는 실제 물리 세계와 그 위에서 진행되는 다양하고 복잡한 프로세스들과 정보들을 인터넷을 통해 데이터에 접근 및 처리하는 서비스 기반으로 사이버 세계에 밀접하게 연결시켜주는 컴퓨터 기반 구성 요소 및 시스템을 말한다. 본 논문에서는 CPS 연구의 일환으로 제조 현장에 적용 가능한 프레임 워크를 제안한다.

• International journal of advanced smart convergence
• /
• 제11권3호
• /
• pp.56-63
• /
• 2022

Cyber-physical systems (CPSs) can solve real problems by utilizing closely connected resources in the cyber world. Most problems arise because the physical world is uncertain and unpredictable. To address this uncertainty, information pouring from numerous devices must be collected in real-time, and each interconnected device must share the information. At this time, CPS must meet timing-related techniques and strict timing constraints that can deliver accurate information within predefined deadlines in order to interact closely beyond simply connecting the cyber and physical worlds. Timing errors in safety-critical systems, such as automobiles, aviation, and medical systems, can lead to catastrophic disasters. In this paper, we classify timing problems into two types: real-time delay and synchronization problems. The results of this study can be used in the entire process of CPS system design, implementation, operation, verification, and maintenance. As a result, it can contribute to securing the safety and reliability of CPS.

• ETRI Journal
• /
• 제37권1호
• /
• pp.175-185
• /
• 2015

This paper presents a system-of-systems (SoS) approach to the formal modeling of a cyber-physical system (CPS) for simulation-based analysis. The approach is based on a convergence technology for modeling and simulation of a highly complex system in which SoS modeling methodology, hybrid systems modeling theory, and simulation interoperation technology are merged. The methodology maps each constituent system of a CPS to a disparate model of either continuous or discrete types. The theory employs two formalisms for modeling of the two model types with formal specification of interfaces between them. Finally, the technology adapts a simulation bus called DEVS BUS whose protocol synchronizes time and exchange messages between subsystems simulation. Benefits of the approach include reusability of simulation models and environments, and simulation-based analysis of subsystems of a CPS in an inter-relational manner.

• 대한임베디드공학회논문지
• /
• 제9권4호
• /
• pp.211-217
• /
• 2014

Cyber-Physical Systems(CPS) that mostly provides safety-critical and mission-critical services requires high reliability, so that system testing is an essential and important process. Hardware-In-the-Loop Simulation(HILS) is one of the extensively used techniques for testing hardware systems. However, most conventional HILS has problems that it is difficult to support a distributed operating environment and to reuse a HILS platform. In this paper, we introduce EcoHILS(ETRI CPS Open Human-Interactive hardware-in-the-Loop Simulator) in order to test CPS effectively. Moreover, feasibility tests and performance tests of EcoHILS are performed to confirm its effectiveness.

• 정보과학회 논문지
• /
• 제42권7호
• /
• pp.823-833
• /
• 2015

하이브리드 시스템은 연속 시스템과 이산 시스템으로 구성된 동적 시스템이다. 하이브리드 시스템은 자동차, 항공, 군사 방어 등 시스템을 명세 하는데 사용되고 있으며 이를 위해 다양한 모델링 언어와 지원 도구가 개발되고 사용되어 왔다. 제안되어 사용되고 있는 언어와 도구들은 목적에 따라 특정한 특징들을 갖고 있다. 한국전자 통신연구원에서 제안한 하이브리드 시스템 모델링 언어인 ECML (ETRI CPS Modeling Language)은 DEV&DESS (Differential Event and Differential Equation Specified System) 형식론을 CPS (Cyber-Physical System) 환경에 맞게 확장한 언어이며 모델링 및 시뮬레이션을 지원한다. 논문에서는 ECML을 소개하고 정형 정의를 제안한다. 또한 제안된 정의에 따라 간단한 차량 모델을 명세한 사례연구를 수행한다.

• 한국정보통신학회논문지
• /
• 제23권11호
• /
• pp.1478-1481
• /
• 2019

As core technologies(IoT, 5G, Cloud, Bigdata, AI etc) leading the Fourth Industrial Revolution promote smart convergence across the national socio-economic infrastructure, the threat of new forms of cyber attacks is increasing and the possibility of massive damage is also increasing. Reflecting this trend, cyber security is expanding from simple information protection to CPS(Cyber Physical System) protection that combines safety and security that implements hyper-connectivity and ultra-reliability. This study introduces the recent evolution of cyber attacks and looks at the next generation cyber security technologies based on the conceptual changes of cyber security technologies such as SOAR(Security Orchestration, Automation and Response) and Zero Trust.

• 한국산업융합학회 논문집
• /
• 제22권1호
• /
• pp.21-28
• /
• 2019

As the automated vehicle system evolves, electronic devices and control software installed in vehicles are increasing. Therefore, automated vehicle electrical and electronic system (E/E system) design for ensure system integration, software modularization, system reusability, and scalability at the design stage of the automated vehicle is actively studied. This paper introduces a design methodology for automated vehicle E/E systems that employs by using cyber-physical systems (CPS). An automated forklift system was designed to examine the effectiveness of the proposed methodology. This paper showed that the proposed CPS design methodology enables an effective development of automated E/E control systems. Compare to existing design methodologies, it provides higher reusability of individual modules and an easier way to integrate control system elements such as controllers, sensors, and actuators.

• 대한임베디드공학회논문지
• /
• 제18권6호
• /
• pp.327-333
• /
• 2023

Existing studies on the UAV (Unmanned Aerial Vehicle)-based CPS (Cyber Physical System) environment lack forest fire monitoring and forest fire reconnaissance using real-world UAVs. So, it is necessary to monitor forest fires early through CPS based on real-world UAVs with high reliability and resource management efficiency. In this paper presents an MFG (Misstion File Generater) that automatically generates a flight path of an UAV for forest fire monitoring in a CPS environment. MFG generates flight paths based on a hiking trail with a high fire probability due to a true story of an entrant. We have confirmed that the flight path generated by MFG can be applied to the UAV. Also, we have verified that the UAV flies according to the flight path generated by MFG in simulation, with a negligible error rate.