• Journal of the Korea Society for Simulation
• /
• v.21 no.4
• /
• pp.35-46
• /
• 2012

As complexity of real-time systems is being increased ad hoc approaches to analysis of such systems would have limitations in completeness and coverability for states space search. Formal means using a model-based approach would solve such limitations. This paper proposes a model-based formal method for logical analysis, such as safety and liveness, of real-time systems at a discrete event system level. A discrete event model for real-time systems to be analyzed is specified by DEVS(Discrete Event Systems Specification) formalism, which specifies a discrete event system in hierarchical, modular manner. Analysis of such DEVS models is performed by Communicating DEVS (C-DEVS) formalism of a timed global state transition specification and an associated analysis algorithm. The C-DEVS formalism and an associated analysis algorithm guarantees that all possible states for a given system are visited in an analysis phase. A case study of a safety analysis for a rail road crossing system illustrates the effectiveness of the proposed method of the model-based approach.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.29 no.7
• /
• pp.28-37
• /
• 2015

Owing to the variability of large-scaled wind power system, the development of wind farm management technologies and related compensation methods have been receiving attention. To provide an accurate and reliable output power, certain wind farm adopts a specified management system including a wind prediction model and grid expectation solutions for considering grid condition. Those technologies are focused on improving the reliability and stability issues of wind farms, which can affect not only nearby system devices but also a voltage condition of utility grid. Therefore, to adapt the develop management system, an expectation process about voltage condition of Point of Common Coupling should be integrated in operating system for responding system requirements in real-time basis. This paper introduce a grid imposing method for a real-time based wind farm management system. The expected power can be transferred to the power flow section and the required quantity about reactive power can be calculated through the proposed system. For the verification process, the gauss-seidel method is introduced in the Matlab/Simulink for analysing power flow condition. The entire simulation process was designed to interwork with PSCAD for verifying real power system condition.

• Proceedings of the KIEE Conference
• /
• 2003.11c
• /
• pp.797-801
• /
• 2003

In this paper, a real-time communication method using a PICNET-NP (Plant Instrumentation and Control Network for Nuclear Power plant) is proposed with an analysis of the control network requirements of DCS (Distributed Control System) in nuclear power plants. The method satisfies deadline in case of worst data traffics by considering aperiodic and periodic real-time data and others.

• Journal of Electrical Engineering and Technology
• /
• v.8 no.2
• /
• pp.197-205
• /
• 2013

Real time transient stability assessment mainly depends on real-time prediction. Unfortunately, conventional techniques based on offline analysis are too slow and unreliable in complex power systems. Hence, fast and reliable stability prediction methods and simple stability criterions must be developed for real time purposes. In this paper, two new methods for real time determining critical clearing time based on clustering identification are proposed. This article is covering three main sections: (i) clustering generators and recognizing critical group; (ii) replacing the multi-machine system by a two-machine dynamic equivalent and eventually, to a one-machine-infinite-bus system; (iii) presenting a new method to predict post-fault trajectory and two simple algorithms for calculating critical clearing time, respectively established upon two different transient stability criterions. The performance is expected to figure out critical clearing time within 100ms-150ms and with an acceptable accuracy.

• International Journal of Internet, Broadcasting and Communication
• /
• v.13 no.4
• /
• pp.121-128
• /
• 2021

In order to design a real time big data collection and analysis system of manufacturing data in a smart factory, it is important to establish an appropriate wired/wireless communication system and protocol. This paper introduces the latest communication protocol, OPC-UA (Open Platform Communication Unified Architecture) based client/server function, applied user interface technology to configure a network for real-time data collection through IoT Integration. Then, Database is designed in MES (Manufacturing Execution System) based on the analysis table that reflects the user's requirements among the data extracted from the new cutting process automation process, bush inner diameter indentation measurement system and tool monitoring/inspection system. In summary, big data analysis system introduced in this paper performs SPC (statistical Process Control) analysis and visualization analysis with interface of OPC-UA-based wired/wireless communication. Through AI learning modeling with XGBoost (eXtream Gradient Boosting) and LR (Linear Regression) algorithm, quality and visualization analysis is carried out the storage and connection to the cloud.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2008.10a
• /
• pp.427-435
• /
• 2008

A reliability based slope stability assessment method is proposed and examined considering the variation of matric suction which is measured by a real time slope monitoring system. Mean value first order reliability method and advanced first order reliability method are used to calculate reliability indices of a slope. The applicability of methods is compared by applying them to the range of matric suctions measured by the real-time monitoring system. Sensitivity analysis is also performed to examine the contribution of random variables to the reliability index of slope. Finally, the proposed method is applied to a model slope. The results show that the reliability index of slope can be used for efficient slope management by quantifying the risk of slope in real time.

• Proceedings of the Korean Geotechical Society Conference
• /
• 2010.09a
• /
• pp.253-262
• /
• 2010

In this study, localized heavy rainfall occurred during the collapse of steep slopes adjacent to the construction site and to ensure the safety of residents to build an early warning system was performed. Forecast/Alert range was estimated based on vulnerability landslide map and past disaster history. And established a critical line in consideration of the characteristics of local rainfall and operating a snake line, the study calculated causing and non-causing points. Also, be measured in real-time analysis of rainfall data in conjunction with the system before the steep slope failure occurred forecast/Alert System is presented.

• The Journal of the Institute of Internet, Broadcasting and Communication
• /
• v.18 no.4
• /
• pp.161-168
• /
• 2018

High blood pressure is main today's adult disease and existing blood pressure gauge is not possible for real-time blood pressure measurement and remote monitoring. But real-time blood pressure monitoring u-healthcare system makes effect health management. In my paper, for monitoring real-time blood pressure, an architecture of real-time blood pressure monitoring system which consisted of wrist type-blood pressure measurement, smart-phone and u-healthcare server is presented. And the analog circuit architecture which is major core function for pulse wave detection and digital hardware architecture for wrist type-blood pressure measurement is presented. Also for software development to operate this hardware system, UML analysis method and flowcharts and screen design for this software design are showed. Therefore such design method in my paper is expected to be useful for real-time blood pressure monitoring u-healthcare system implementation.

• Journal of Institute of Control, Robotics and Systems
• /
• v.9 no.10
• /
• pp.789-797
• /
• 2003

An implementation scheme and some improvements are proposed to adopt public-licensed operating system, Linux and de-facto world-wide network standard, TCP/IP into the field of behavior-based autonomous mobile robots. To demonstrate the needs of scheme and the improvement, an analysis is performed on a server/client communication problem with real time Linux previously proposed, and another analysis is also performed on interactions among TCP/IP communications and the performance of Linux system using them. Implementation of behavior-based control architecture on real time Linux is proposed firstly. Revised task-scheduling schemes are proposed that can enhance the performance of server/client communication among local tasks on a Linux platform. A new method of TCP/IP packet flow handling is proposed that prioritizes TCP/IP software interrupts with aperiodic server mechanism as well. To evaluate the implementation scheme and the proposed improvements, performance enhancements are shown through some simulations.

• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.11
• /
• pp.1434-1440
• /
• 1999

For the real-time power system analysis, there exists a limitation to the scale of the system to be simulated, hence it is necessary for the real-time simulation to develop reduced equivalent systems which preserve the desired property of the original system. In this paper, a procedure for developing an equivalent system whose scale is reduced within the hardware capacity of a real-time simulator is proposed. Also, the proposed procedure is applied to a KEPCO's system. The comparison between the original system and equivalent systems illustrates the capabilities of the proposed procedure.