• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2008년도 추계학술대회 논문집
• /
• 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.

• 한국건설관리학회:학술대회논문집
• /
• 한국건설관리학회 2002년도 학술대회지
• /
• pp.498-503
• /
• 2002

건설 프로젝트의 자원관리는 공사원가의 절감, 건축물의 공정 및 품질확보에 직접적으로 관계되어 이외의 공사관리 요소와 함께 매우 중요한 요소를 차지하고 있다. 하지만 자원소요계획은 공사초기에 수립되고 고려요소가 다양하여 전사적 차원의 자원소요계획을 수립하기에는 한계가 있고, 관리자간의 정보의 단절로 실적정보관리가 불가능하다. 건설공사의 유기적 관리를 위해서는 각 관리 부분의 체계적 구성이 필요하며, 각 관리간의 사업수행정보와 실적자료의 주기적인 갱신으로 이루어져야 한다. 건설프로젝트관리체계에 맞추어 핵심 관리 요소는 비용과 일정정보라 할 수 있으며, 자원소요계획은 비용${\cdot}$일정 통합관리의 실적 데이터를 이용하여 자원소요계획의 근거를 명확히 하고, 발주속성과의 연계성 분석을 통하여 발주시점을 명확히 할 필요가 있다. 본 논문에서는 비용${\cdot}$일정 통합관리의 실적데이터 정보와 자원소요계획의 연계방안을 통하여, 자재소요산출방법과 자재별 발주속성을 고려한 자원관리체계를 제시한다.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제54권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.

• 제어로봇시스템학회논문지
• /
• 제11권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.

• 한국통신학회논문지
• /
• 제40권9호
• /
• pp.1767-1775
• /
• 2015

무선 센서 네트워크는 다양한 응용 서비스에 이용이 가능한 네트워크이다. 다양한 응용 서비스에 따라서 서비스에서 요구하는 네트워크 전송량은 매우 다양하다. 특히 무선 센서 네트워크에서는 센서 노드의 에너지 소모를 줄이고 통신 효율성을 높이기 위해서 다양한 토폴로지 제어 방법들이 제시되어 왔다. 이러한 토폴로지 제어 방법들은 대부분 통신의 효율성 측면에서 연구가 되어왔기 때문에 실제 응용 서비스에서 요구되는 데이터 전송량을 만족시키지 못하는 문제점이 있다. 본 논문에서는 이러한 문제를 해결하기 위해서 응용 서비스에서 요구하는 데이터 전송량을 만족시킬 수 있도록 하는 토폴로지 제어 알고리즘을 제시하였다.

• Journal of Electrical Engineering and Technology
• /
• 제11권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.

• 대한전기학회논문지:전기기기및에너지변환시스템부문B
• /
• 제53권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
• /
• 제4권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.

• 한국군사과학기술학회지
• /
• 제16권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.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2009년도 춘계학술대회 논문집
• /
• 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.