EVENT COLLISION DETECTION APPARATUS AND METHOD FOR HAZARD PREVENTION USING EXPANDED FAULT TREE AND RESOURCE MAP

摘要

The present invention relates to a hazard prevention event collision detection apparatus using a fault tree and a resource map, and a method thereof. A prevention event identification unit identifies prevention events of a safety critical system from safety requirements and system design information with respect to an accident scenario including an initial event that caused an accident, a prevention event for preventing the initial event, and a final state that represents a result. A fault prevention tree configuration unit configures a fault prevention tree with correlation between the prevention events and included resources. A resource map configuration unit configures a resource map with resources used by the prevention event. A collision candidate prevention event identification unit identifies, through the fault prevention tree, Cut Sets and collision candidate prevention events. A collision probability analysis unit analyzes whether the collision candidate prevention events can actually cause a collision. Accordingly, it is expected to achieve a correct design of the prevention event and improve safety. By previously preventing a collision between events in a design step for safety critical system development, the safety of the system can be improved.