PROBLEM TO BE SOLVED: To reduce an inspection cost by generating a complicated model in consideration of all countermeasures and hazards without omission, and by automating the generation of the complicated model.;SOLUTION: A countermeasure completeness inspection device has: a storage means for storing an event definition list which has a hazard definition including an intrinsic hazard definition and a general hazard definition and a countermeasure definition including a general countermeasure definition and a final countermeasure definition; a generating means for generating a state model, based on the event definition list, where the hazards and the countermeasures are defined as events; and an output means for outputting the state model. The existence/non-existence of a countermeasure omission is easily found out based on the state model to be outputted from the countermeasure completeness inspection device.;COPYRIGHT: (C)2011,JPO&INPIT
展开▼