Availability evaluation device and availability evaluation method

An availability evaluation method comprising:

• storing in a state transition storage unit definitions of a plurality of state transitions corresponding to configurations of a system;
• storing in an additional state transition storage unit definitions of state transitions used when operating the system, which are different from the plurality of state transitions;
• receiving the definition of the state transitions used when operating the system and registering the definitions in the additional state transition storage unit;
• analyzing the availability of the system based on the definitions of the state transitions stored in the state transition storage unit and the definitions of the state transitions stored in the additional state transition storage unit;
• analyzing common state transition patterns in at least part of definitions of the plurality of state transitions used when operating the system and stored in the additional state transition storage unit;
• and
• outputting analysis results on the common state transition patterns.

A computer readable medium storing a program for causing a computer including a state transition storage unit configured to store definitions of a plurality of state transitions corresponding to configurations of a system, and an additional state transition storage unit configured to store definitions of state transitions that are used when operating the system and that are different from the plurality of state transitions, to implement:

• a function of receiving the definitions of the state transitions used when operating the system and registering the definitions in the additional state transition storage unit;
• a function of analyzing the availability of the system based on the definitions of the state transitions stored in the state transition storage unit and the definitions of the state transitions stored in the additional state transition storage unit;
• a function of analyzing common state transition patterns in at least part of definitions of the plurality of state transitions used when operating the system and stored in the additional state transition storage unit;
• and
• a function of outputting analysis results on the common state transition patterns.