PPROBLEM TO BE SOLVED: To provide a method, a system, and a program for generating fault tree analysis which generate a fault tree analysis from a state machine diagram (a state transition model). PSOLUTION: The method for generating fault tree analysis which is configured to generate a fault tree analysis diagram from a state transition model which is represented in terms of events and transitions includes steps of interpreting the state transition model, as at least one logical formula and generating a fault tree analysis where the given event is disposed at a top event, based on the logical formula. PCOPYRIGHT: (C)2011,JPO&INPIT
展开▼