| 摘要 |
<p><P>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. <P>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. <P>COPYRIGHT: (C)2011,JPO&INPIT</p> |
