| 摘要 |
This analysis device for analyzing operations of a target system has a behavior model which is obtained by modeling the operations of the target system, receives an input of a log in which events occurring when the target system is operated are recorded chronologically, and retrieves, from a plurality of the events chronologically recorded in the log, an event sequence according to the occurrence order obtained by statically analyzing the behavior model. When the target system includes a plurality of subsystems, the behavior model includes a plurality of behavior scenarios which indicate respective behaviors of the plurality of subsystems and a constitution model which indicates an interconnection relationship among the plurality of subsystems. In the behavior scenario, a task to be performed by the corresponding subsystem and an event caused by the task are written. In the log, events caused by the plurality of subsystems and time stamps which indicate the occurrence times of the events by using a time which is common in the whole target system are recorded. |
