• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.28 no.1
• /
• pp.123-133
• /
• 2018

Cyber-Physical System (CPS) is a system in which a physical system and a cyber system are strongly integrated. In order to operate the target physical system stably, the CPS constantly monitors the physical system through the sensor and performs control using the actuator according to the current state. If a malicious attacker performs a forgery attack on the measured values of the sensors in order to conceal their attacks, the cyber system operated based on the collected data can not recognize the current operation status of the physical system. This causes the delay of the response of the automation system and the operator, and then more damage will occur. To protect the CPS from increasingly sophisticated and targeted attacks, countermeasures must be developed that can detect stealthy deception attacks. However, in the CPS environment composed of various heterogeneous devices, the process of analyzing and demonstrating the vulnerability to actual field devices requires a lot of time. Therefore, in this study, we propose a method of constructing the experiment environment of the PLCitM (PLC in the middle) which can verify the performance of the techniques to detect the CPS stealthy deception attack and present the experimental results.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.7 no.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.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2017.10a
• /
• pp.754-755
• /
• 2017

CPS refers to a computer-based component and system that closely connects various complicated processes and information of real space with the cyber space that provides data access and processing services through internet. In this paper, CPS was applied to shop-floor as a part of CPS research.

• International journal of advanced smart convergence
• /
• v.11 no.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
• /
• v.37 no.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.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.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.

• Journal of KIISE
• /
• v.42 no.7
• /
• pp.823-833
• /
• 2015

Hybrid system is a dynamic system that is composed of both a continuous and discrete system, suitable for automobile, avionic and defense systems. Various modeling languages and their supporting tools have been proposed and used in the hybrid system. The languages and tools have specific characteristics for their purpose. Electronics and Telecommunications Research Institute (ETRI) proposed a hybrid system modeling language, ECML (ETRI CPS Modeling Language). ECML extends DEV&DESS (Differential Event and Differential Equation Specified System) formalism with consideration of CPS (Cyber-Physical System), which supports modeling and simulation. In this paper, we introduce ECML and suggest a formal definition. The case study specifies a simple vehicle model using the suggested formal definition.

• Journal of the Korea Institute of Information and Communication Engineering
• /
• v.23 no.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.

• Journal of the Korean Society of Industry Convergence
• /
• v.22 no.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.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.18 no.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.