• Proceedings of the KSR Conference
• /
• 2008.11b
• /
• pp.2070-2074
• /
• 2008

It is necessary to develop the requirement management system that could trace hazards and manage safety requirements for risk control of railway accident as low as reasonably practicable. In this paper, the requirement management system for control of railway accident risk is introduced. The requirement management system is containing the railway system configuration and safety activity related with identified hazards. The system shall be used to derive safety requirements for risk controland support the traceability of hazards on railway's operation & management. In the future, the system will be applied in the areas such as risk assessment and management, performing safety assurance and revising national regulations etc. for continuous safety improvement in the railway.

• Proceedings of the Korean Institute Of Construction Engineering and Management
• /
• autumn
• /
• pp.498-503
• /
• 2002

Connecting with cost, schedule, and quality in a construction project, resource management is one of the essential management elements. However, the material requirement planning is built at the beginning stage of construction and needs various concerned factors, it is limited to build the resource management planning on enterprise level. The disconnected communication among managements makes impossible to control historical data. In the construction project control system, the core of management elements is to manage cost and schedule information, therefore material requirement planning should be established based on historical data about EVM which is intergating schedule and cost. In this study, a resource management system concerning material requirement planning and attribute of procurement is suggested by connecting the historical data of EVM and the material requirement planning.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.54 no.6
• /
• pp.261-268
• /
• 2005

This paper propose the safety design of automatic train control system which is used for controlling and monitoring train speed not to excess a permitted speed. Safety activities are shown for the computerized system to achieve a required safety requirement. The safety activities are composed of system dynamic modelling to identify potential hazards contained in the target system, to analyze sub system faults to provoke the hazards. Risks analysis are carried out to estimate losses caused from the hazards to allocate safety requirement. We Proposed design solutions for sub system to meet safety requirement.

• Journal of Institute of Control, Robotics and Systems
• /
• v.11 no.2
• /
• pp.152-159
• /
• 2005

This paper describes the application of a model-based system design method critical to complex intelligent systems, PSARE, to a welding robot development to define its top level architecture. The PSARE model consists of requirement model which describes the core processes(function) of the system, enhanced requirement model which adds technology specific processes to requirement model and allocates them to architecture model, and architecture model which describes the structure and interfaces and flows of the modules of the system. This paper focuses on the detailed procedure and method rather than the detailed domain model of the welding robot. In this study, only the top level architecture of a welding robot was defined using the PSARE method. However, the method can be repeatedly applied to the lower level architecture of the robot until the process which the robot should perform can be clearly defined. The enhanced data flow diagram in this model separates technology independent processes and technology specific processes. This approach will provide a useful base not only for improvement of a class of welding robots but also for development of increasingly complex intelligent real-time systems.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.40 no.9
• /
• pp.1767-1775
• /
• 2015

There are various kinds of applications for wireless sensor network, and each application has difference requirements such as throughput. Topology control is the key issue to minimize energy consumption by solving communication collision and radio interference. However, existing topology control algorithms cannot support application requirement because communication efficiency and network connectivity are the main issues of topology control. In this paper, we propose a topology control algorithm that support throughput requirement of an application.

• Journal of Electrical Engineering and Technology
• /
• v.11 no.6
• /
• pp.1535-1547
• /
• 2016

This paper proposes various design procedures for computing Power System Ancillary Service Requirement Assessment Indices (PSASRAI) for a Two-Area Thermal Reheat Interconnected Power System (TATRIPS) in a restructured environment. In an interconnected power system, a sudden load perturbation in any area causes the deviation of frequencies of all the areas and also in the tie-line powers. This has to be corrected to ensure the generation and distribution of electric power companies to ensure good quality. A simple Proportional and Integral (PI) controllers have wide usages in controlling the Load Frequency Control (LFC) problems. So the design of the PI controller gains for the restructured power system are obtained using Bacterial Foraging Optimization (BFO) algorithm. From the simulation results, the PSASRAI are calculated based on the settling time and peak over shoot concept of control input deviations of each area for different possible transactions. These Indices are useful for system operator to prepare the power system restoration plans. Moreover, the LFC loop coordinated with Redox Flow Batteries (RFB) has greatly improved the dynamic response and it reduces the control input requirements and to ensure improved PSASRAI, thereby improving the system reliability.

• The Transactions of the Korean Institute of Electrical Engineers B
• /
• v.53 no.2
• /
• pp.99-106
• /
• 2004

Train control system in LRT (Light Rail Transit) is developed as a part of "Light Rail Transit System Development Project". But there was no specific requirement representing the system safety. Because system safety must be ensured before the customization, we applied the system to a officially recognized specific procedure, such as "A Guideline to Ensure the Safety of Train Control System in Korea" that was officially announced by KNR (Korea National Railroad) in 2001. We should draw system safely requirement to guarantee system safety for the first time. In this paper, the hazard identification and analysis to derive the safety requirement on LRT train control system are carried out following the KNR guideline. To analyze hazard, we have to deduce system functions, identify related hazards, derive the effects of the hazards, analyze current risk, define the target risk of the system, and deduce the alternative plans to reduce the effects of the hazards. After the hazard analysis following the upper procedure, 30 hazards are identified and analysed. Especially detailed analysis on train collision that is a main hazard of the train control of system is specially carried out.

• Journal of Electrical Engineering and Technology
• /
• v.4 no.1
• /
• pp.87-92
• /
• 2009

Many critical control systems are developed using formal methods. When software applied to such systems is developed, the employment of formal methods in the software requirements specification and verification will provide increased assurance for such applications. Earlier errors of overlooked requirement specification can be detected using the formal specification method. Also, the testing and full verification to examine all reachable states using model checking to undertake formal verification are able to be completed. In this paper, we proposed an eclectic approach to incorporate Z(Zed) formal language and 'Statemate MAGNUM', formal method tools using Statechart. Also we applied the proposed method to train control systems for the formal requirement specification and analyzed the specification results.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.16 no.6
• /
• pp.752-761
• /
• 2013

A new gun fire control system has been developed for the Korean next generation frigate class. The engineering requirement was far more tightened than the PKG-A class for the firing range availability and gun control function since 5 inch gun is adopted for the new ship. We mention about the principal technologies required to build a generic gun fire control system and proposed methods for the new gun fire control system. The new system has been designed based on the proposed methods in order to satisfy the requirement and functionality has been proved to be acceptable through the sea trial by Korean navy.

• Proceedings of the KSR Conference
• /
• 2009.05a
• /
• pp.855-859
• /
• 2009

In this paper, we introduce the estimation method by Risk or SIL(Safety Integrity Level) for the criterion of safety assurance and summarize each application method and target. IEC 62278(EN 50126) which is international standard for the specification and verification of the railway system RAMS indicate a criterion of safety assurance. Especially, it recommend the safety verification by continuous verification as the order of requirement establishment, design, manufacture, installation, operation, and maintenance for the equipment not easy to quantify the operation environment. In this paper, we study the SIL requirement allocation method relating to internal new system development and existing system improvement by analysing SIL recommendations which were used to understand SIL for a train control equipment in 1990s in IRSE and theoretically their allocation background. This paper help the safety management of Korea train control system to develope the quantitative management procedure as international level by analyzing the SIL requirement allocation by operation agency and the right SIL verification procedure by manufacture and indicating the example to assure safety because it is necessary for improvement and localization for the Korea train control system having highly dependence on aboard technology.