WO2012121005A1 - 可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム - Google Patents

可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム Download PDF

Info

Publication number
WO2012121005A1
WO2012121005A1 PCT/JP2012/054149 JP2012054149W WO2012121005A1 WO 2012121005 A1 WO2012121005 A1 WO 2012121005A1 JP 2012054149 W JP2012054149 W JP 2012054149W WO 2012121005 A1 WO2012121005 A1 WO 2012121005A1
Authority
WO
WIPO (PCT)
Prior art keywords
model
availability
module
model module
availability model
Prior art date
Application number
PCT/JP2012/054149
Other languages
English (en)
French (fr)
Inventor
紅美子 但野
Original Assignee
日本電気株式会社
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 日本電気株式会社 filed Critical 日本電気株式会社
Priority to JP2013503444A priority Critical patent/JP6016128B2/ja
Priority to US14/001,453 priority patent/US20130338799A1/en
Publication of WO2012121005A1 publication Critical patent/WO2012121005A1/ja

Links

Images

Classifications

    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B15/00—Systems controlled by a computer
    • G05B15/02—Systems controlled by a computer electric
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/008—Reliability or availability analysis

Definitions

  • the present invention relates to an availability model generation support device, an availability model generation support method, and a program for an information processing system.
  • Patent Document 1 discloses an information processing system based on the configuration of the information processing system and the failure rate and recovery rate of each computer constituting the information processing system when the information processing system is operated. It is described to estimate the availability of.
  • Non-Patent Document 1 describes that a mathematical model corresponding to a specific system operation is constructed, and availability is estimated based on the mathematical model.
  • Non-Patent Document 1 describes that availability is estimated based on a mathematical model corresponding to a specific operation, but this mathematical model can be applied only to a specific operation. For this reason, in order to evaluate the impact of various operations used in system operation management on availability, it is necessary to build individual availability models for each operation, and there is a problem that the productivity of model generation is low. is there. Since there are many types of operations in an actual operation management procedure, it is complicated and inefficient to design an availability model individually for all operations.
  • an object of the present invention is to provide an availability model generation support device, an availability model generation support method, and a program capable of efficiently evaluating the influence of various system operation operations on availability.
  • the availability model generation support device includes an availability model module representing an operation for operating an information processing system and a state transition of an operation target of the operation by an information model, and a connection relationship between the availability model modules And a model module storage unit for storing the rules, and at least a part of the availability model module based on the rules of the connection relation to generate an availability model for estimating the availability of the information processing system And an availability model composition unit.
  • the block diagram which shows the structure of the availability model production
  • FIG. 1 is a block diagram showing a configuration of an availability model generation support apparatus 1 according to Embodiment 1 of the present invention.
  • the availability model generation support device 1 is a server device, a personal computer, or the like.
  • the availability model generation support apparatus 1 includes a central processing unit (CPU; Central Processing Unit), a storage device (memory and hard disk drive (HDD)), an input device (in this example, a keyboard), and an output (not shown)
  • a device in this example, a display
  • the availability model generation support device 1 is configured to realize functions to be described later when a central processing unit executes a program stored in a storage device.
  • the information processing system includes at least one information processing apparatus.
  • the availability is the operating rate of the information processing system.
  • the operating rate is, for example, an instantaneous operating rate or an average operating rate.
  • the instantaneous operation rate is a probability that the information processing system maintains a function at a specific time.
  • the average operating rate is a probability that the information processing system maintains a function during a preset period.
  • the availability model generation support device 1 includes an availability model synthesis unit 101, a model module storage unit 102, and an availability estimation unit 107.
  • the availability model synthesis unit 101 and the availability estimation unit 107 correspond to modules of functions realized by the CPU executing a predetermined program stored in a ROM or the like.
  • the model module storage unit 102 is implemented by an external storage device.
  • the availability model synthesis unit 101 synthesizes at least a part of the availability model modules stored in the model module storage unit 102 according to the rules of connection relation, and generates an availability model for estimating the availability of the information processing system.
  • the availability model is a model that represents the relationship between the values of a plurality of parameters representing the likelihood of state transition in each model module used for the synthesis of the availability model and the availability of the information processing system.
  • the parameter is an average execution time that is an average value of time required to execute a certain operation, a success probability that is a probability that a certain operation is successfully executed, or when a certain operation fails. The probability of causing a failure in the operation target.
  • the availability model composition unit 101 acquires the parameter values of each model module.
  • the availability model synthesis unit 101 acquires the parameter value of each model module stored in the model module storage unit 102.
  • the availability model combining unit 101 may be configured to acquire values by receiving values of parameters input by the user.
  • the model module storage unit 102 stores the availability model module and the rules for the connection relationship between the model modules.
  • the availability model module is a component of operations performed to operate the information processing system and state transitions of operation target system components (for example, guest OS).
  • the model module is represented by a model using a probability distribution (for example, a model using a probability reward net).
  • the rule of the connection relation between model modules defines which model module can be connected to when a model module is synthesized to generate an availability model.
  • the availability estimating unit 107 acquires the availability model and parameter values from the availability model combining unit 101. Instead of the availability model composition unit 101, the availability estimation unit 107 may be configured to acquire the parameter values of each model module stored in the model module storage unit 102. Further, the availability estimating unit 107 may acquire the values of the parameters input by the user instead of acquiring from the availability model combining unit 101. The availability estimation unit 107 estimates the availability of the information processing system based on the acquired parameter values and the availability model generated by the availability model synthesis unit 101.
  • FIG. 2 is a flowchart of the operation of the availability model generation support apparatus 1.
  • the availability model generation support device 1 acquires a model module used for availability model synthesis from the model module storage unit 102 (step S1002).
  • the user selects one to be used for the synthesis of the availability model from the model modules stored in the model module storage unit 102 based on the characteristics of the information processing system to be evaluated.
  • the model module one in which parameter values associated with the model module are set in advance may be used. Alternatively, the user may separately input the parameter value.
  • the probability reward net model used in the present embodiment is composed of places, transitions, arcs, guard functions, and reward functions.
  • a place white circle
  • the place where the token (black circle) exists is regarded as the current state. Places with the same name on multiple model modules represent the same state.
  • the transition corresponds to an event that causes a state transition (token movement). Transitions include transitions assigned with transition probabilities (white rectangles), transitions that cause state transitions at regular intervals (black rectangles), and transitions that cause state transitions immediately (single line). May be assigned.
  • An arc connects transitions and places and represents the direction of state transition.
  • the guard function is assigned to the transition, and makes state transition impossible according to the condition as described below.
  • G 1 in FIG. 3 (b) enables T fail state transition when the token is in place P sv_fail in FIG. 4 (4).
  • the g 2 in (2) of FIG. 4 enables a state transition of T up when the token is in the place P up of FIG.
  • the g 3 in (2) of FIG. 4 enables a T down state transition when the token is in the place P unplanned_outage or P planned_outage in FIG.
  • the g 4 in FIG. 3C enables the state transition of T halt when the token is in the place P reboot of FIG.
  • the reward function is a function whose output changes according to the number of tokens in the place.
  • a case where the case where there is one token in P up is defined as active is considered.
  • the operating rate is obtained by calculating the time average value of the number of tokens in P up be able to.
  • model modules shown in FIGS. 3 and 4 are model modules representing the state change of the operation target system component (for example, guest OS), and (1) in FIG. ) to (5) are model modules representing system operation operations (for example, setting change).
  • P up represents a state in which the operation target is in operation
  • P unplanned_outage represents a state in which the operation target has stopped unintentionally
  • P planned_outage represents a state in which the plan is stopped.
  • the initial position of the token is P up .
  • ⁇ is the failure rate of the operation target (probability of going down due to load or resource consumption regardless of the operation operation)
  • ⁇ 1 is the recovery rate from a failure when a system failure occurs
  • ⁇ 2 is the plan for normal operation Represents the recovery rate from an outage.
  • model modules (a) to (e) of the operation target system component (A) Indicates a failure occurrence (spontaneous state transition) of an operation target unrelated to the operation operation. (B) Indicates the occurrence of a failure in the operation target due to the failure of the operation operation. (C) Represents planned outage due to operational operations. (D) Represents recovery from a failure. (E) Recover from planned outage.
  • P op_exec is a state in which an operation is being executed
  • P op_fail is a state in which the operation has failed
  • P op_success is a state in which the operation has been successful
  • P sv_fail is a state in which the operation failure has caused a failure in the operation target
  • P sv_avail indicates a state in which the operation has failed but nothing has occurred in the operation target
  • P reboot indicates a state in which the operation target is restarted.
  • the initial position of the token is Pop_exec.
  • t op indicates the average effective time of the operation
  • c op indicates the success probability of the operation
  • c svfail indicates the probability that the operation failure affects the availability of the operation target.
  • model module (1) to (5) of the system operation operation will be described.
  • (1) Indicates execution of an operation operation.
  • (2) This represents a status check of the operation target.
  • (3) Represents the operation result.
  • (4) Represents the occurrence of an operation target failure.
  • the model module (b) is required as a usage condition of this model module.
  • (5) Reactivation of the operation target.
  • model modules (c) and (e) are required.
  • (6) Indicates successful operation.
  • (7) Indicates an operation failure.
  • a candidate for a place (state) of a connection destination is shown as a rule for combining the model modules.
  • the place candidate of the connection destination of the model module (1) is Pup_or_down , the model module (2) starting from the place can be connected.
  • the availability model generation support device 1 generates an availability model by synthesizing the acquired model module based on the acquired model module and the candidate and condition of the connection destination state of the model module shown in FIG. Step S1008 in FIG. Specifically, the following two combinations are performed on the acquired model module.
  • an operation target system component model is generated by synthesizing model modules of operation target system components (integrating the same places).
  • a system operation operation model is generated by synthesizing model modules for system operation operation.
  • the availability model generation support device 1 generates an availability model by synthesizing the acquired model module based on the acquired model module and the candidate and condition of the connection destination state of the model module shown in FIG. Step S1008 in FIG. Specifically, the following two combinations are performed on the acquired model module.
  • an operation target system component model is generated by synthesizing model modules of operation target system components (integrating the same places).
  • a system operation operation model is generated by synthesizing model modules for system operation operation.
  • guard function defines the interaction between the operation target system component model and the system operation operation model.
  • the combination of the operation target system component model and the system operation operation model is the availability model of this embodiment.
  • the availability model shown in FIG. 5 is an availability model of the information processing system when an operation that does not change the state of the operation target such as state monitoring is performed, and the model modules (a), (d), (1), This is an availability model when (2), (3), (6), and (7) are selected.
  • the availability model shown in FIG. 6 is an information processing system availability model in the case where an operation failure such as an operating system setting change can cause a failure of an operation target, and model modules (a), (b), (d ), (1), (2), (3), (4), (6), and (7).
  • the availability model shown in FIG. 7 is an availability model of an information processing system in the case where the operation itself includes a planned stop of the operation target, such as restart, and the model modules (a), (b), (c), ( This is an availability model when d), (e), (1), (2), (3), (4), (5), (6), (7) are selected.
  • a warning may be displayed to the user. In that case, you may show which conditions are not satisfy
  • the availability model generation support device 1 estimates (calculates) the availability of the information system using the model analysis tool based on the synthesized availability model (step S1010 in FIG. 2).
  • the availability model generation device 1 uses a known technique for estimating availability using SHAPE (Symbolic Hierarchical Automated Reliability and Performance Evaluator) or SPNP (Stochastic. Petri Net Package).
  • SHAPE Symbolic Hierarchical Automated Reliability and Performance Evaluator
  • SPNP Stochastic. Petri Net Package
  • the availability model generation support device 1 assumes that the state of the information processing system is in operation when the token is in the place P up . In this case, in the availability model generation support device 1, the availability estimation unit 107 can calculate the availability by assigning a reward function for calculating the availability to the place P up .
  • availability model generation support device 1 token outputs "1" when in place P Stay up-, a function that outputs "0" when the token is in place other than the place P Stay up-, as compensation function Pre-assign to the place P up of the model module.
  • the availability estimation unit 107 calculates the time average value of the output value of the reward function as the average operation rate.
  • the availability estimation unit 107 acquires the availability model and parameter values from the availability model composition unit 101.
  • the availability estimation unit 107 estimates the availability of the information processing system based on the acquired parameter values and the availability model generated by the availability model synthesis unit 101.
  • the availability estimation unit 107 outputs the estimated availability value. In this embodiment, the availability value is displayed on the display.
  • the availability of an information processing system in which various operations are performed in system operation management is estimated by synthesizing at least a part of model modules representing state transitions related to availability.
  • An availability model can be generated. As a result, the productivity of generating the availability model of the information processing system can be easily improved.
  • FIG. FIG. 8 is a block diagram showing a configuration of the availability model generation support apparatus 1 according to the second embodiment of the present invention.
  • the same reference numerals as those in FIG. 1 represent equivalent structures.
  • the features of the availability model are presented in a natural language or the like. Synthesize the availability model by letting it choose.
  • this difference will be mainly described.
  • the availability model generation support device 1 according to the second embodiment includes a correspondence relationship storage unit 103, an availability model feature selection unit, in addition to the functions of the availability model generation support device 1 according to the first embodiment. 104 is provided.
  • the availability model feature selection unit 104 presents a choice of features related to the availability model to the user. For example, an option and a check box for inputting a selection result may be displayed on the Web browser to allow the user to select. The user inputs a selection result based on the characteristics of the information processing system to be evaluated. At this time, the availability model feature selection unit 104 may prompt the user to input a related parameter value (for example, ⁇ ) in addition to the feature selection result. The availability model feature selection unit 104 receives a feature selection result. *
  • the availability model composition unit 101 stores a model module corresponding to the selection result received by the availability model feature selection unit 104 based on the correspondence relationship between the selection result and the model module stored in the correspondence relationship storage unit 103. 102.
  • the availability model composition unit 101 synthesizes the acquired model modules to generate an availability model, similarly to the availability model composition unit 101 according to the first embodiment.
  • the correspondence relationship storage unit 103 stores the selection result received by the availability model feature selection unit 104 and the correspondence relationship between the model modules corresponding to the selection result.
  • the availability model feature selection unit 104 may present a question described in the following natural language, and the correspondence relationship storage unit 103 may receive YES / NO for each question as a selection result.
  • the model module corresponding to the selection result at this time is shown in FIG.
  • the feature of the model is presented in a natural language, and the correspondence relationship between the model module corresponding to the user selection result is stored in the correspondence relationship storage unit 103 in advance.
  • the correspondence relationship storage unit 103 may store the correspondence relationship between the type of operation and the model module instead of the question format.
  • the availability model feature selection unit 104 presents a specific example of the operation described in the following natural language, causes the user to select the operation, and receives the selection result.
  • ⁇ Status monitoring
  • Change of important setting items for example, change of operating system environment variable
  • ⁇ Restart after changing important setting items (for example, restart to reflect settings after changing network settings)
  • the correspondence between the operation and the model module is that the model module corresponding to ( ⁇ ) is the same as (A), the model module corresponding to ( ⁇ ) is the same as (B), and the module corresponding to ( ⁇ ) Is the same as (D).
  • the availability estimation unit 107 estimates (calculates) the availability based on the availability model generated by the availability model combining unit 101, as in the first embodiment.
  • the availability model generation support device 1 presents a choice of features related to the availability model to the user (step S1000).
  • the availability model generation support device 1 accepts a feature selection result by the user (step S1001).
  • the availability model generation support device 1 acquires a model module corresponding to the selection result from the model module storage unit 102 based on the correspondence relationship stored in the correspondence relationship storage unit 103 (step S1002).
  • the availability model generation support device 1 combines the acquired model modules to generate an availability model (step S1008).
  • the availability model generation support device 1 analyzes the generated availability model using the model analysis tool of the existing technology, and estimates (calculates) the availability (step S1010).
  • the same effects as those of the first embodiment can be obtained, and the availability model can be constructed even if the user has no knowledge of mathematical modeling by using the natural language options.
  • the availability of the evaluation target system can be calculated. Therefore, the learning cost for the user can be kept low.
  • FIG. 11 is a block diagram showing a configuration of the availability model generation support apparatus 1 according to Embodiment 3 of the present invention.
  • the same reference numerals as those in FIG. 1 represent equivalent structures.
  • the third embodiment when there is a shortage of model modules, it is possible to add / modify model modules. Hereinafter, this difference will be mainly described.
  • the availability model generation support device 1 includes a model determination unit 105 and a model module addition input / correction in addition to the functions of the availability model generation support device 1 according to the first embodiment.
  • Part 106 is provided.
  • the model determination unit 105 determines whether or not the model module stored in the model module storage unit 102 is insufficient. The determination is made by user input. If there is a shortage of model modules, the model module addition input / correction unit 106 prompts the user to input the model modules.
  • the model module addition input / modification unit 106 receives a model module addition / modification input from the user, adds a model module to the model module storage unit 102, and modifies an existing model module.
  • the availability model combining unit 101 combines at least a part of the availability model modules stored in the model module storage unit 102 according to the rules of the connection relationship, as in the first embodiment. Generate an availability model for.
  • the availability estimation unit 107 estimates (calculates) the availability of the information system based on the availability model generated by the availability model combining unit 101, as in the first embodiment.
  • the availability model generation support device 1 acquires a model module used for synthesis of an availability model from the model module storage unit 102 (step S1002).
  • step S1004 it is determined whether or not the model module stored in the model module storage unit 102 is insufficient (step S1004). If it occurs (YES), the process proceeds to step S1006. If not (NO), The process proceeds to step S1008.
  • step S1006 an input of a model module to be added and accompanying parameters is received from the user, and the model addition input / correction unit 106 stores the input in the model module storage unit 102.
  • the process returns to step S1002.
  • the availability model generation support device 1 generates an availability model by combining the model modules acquired by the availability model combining unit 101 (step S1008).
  • the availability model generation support device 1 analyzes the generated availability model using the model analysis tool of the existing technology, and estimates (calculates) the availability (step S1010). Note that step S1004 may be executed before step S1002.
  • the same effects as those of the first embodiment can be obtained, and the operation operation in which the contents have been changed can be performed by enabling the modification / addition of the model module. It is also possible to evaluate the impact of new operations that did not exist on availability, and to improve availability modeling flexibility.
  • each function of the availability model generation device 1 is realized by the CPU executing a program (software), but may be realized by hardware such as a circuit.
  • the program is stored in the storage device, but may be stored in a computer-readable recording medium.
  • the recording medium is a portable medium such as a flexible disk, an optical disk, a magneto-optical disk, and a semiconductor memory. Moreover, you may employ
  • (Supplementary Note 1) Stores an operation model for operating an information processing system, an availability model module that represents a state transition of an operation target of the operation by an information model, and a rule of connection relation between the availability model modules A model module storage unit;
  • An availability model generation support comprising: an availability model synthesis unit that synthesizes at least a part of the availability model module based on the rules of the connection relation and generates an availability model for estimating the availability of the information processing system. apparatus.
  • the availability model generation support device (Supplementary note 2) The availability model generation support device according to supplementary note 1, wherein An availability model feature selection unit that presents the user with options related to the features of the availability model; An availability model generation support apparatus comprising: a selection result selected from the options; and a correspondence relationship storage unit that stores a correspondence relationship between model modules corresponding to the selection result.
  • the availability model generation support device (Supplementary note 3) The availability model generation support device according to supplementary note 1 or 2, A model determination unit for determining whether or not the model module stored in the model module storage unit is deficient; When a model module addition or correction input is received from the user and a model module addition is received, the model module added to the model module storage unit is stored, and when a model module correction input is received, An availability model generation support apparatus comprising: a model module additional input / correction unit that corrects a model module stored in the model module storage unit.
  • (Supplementary Note 4) Stores an operation model for operating an information processing system, an availability model module that represents a state transition of an operation target of the operation by an information model, and a rule of connection relation between the availability model modules Obtaining at least a part of the availability model module from a model module storage unit; A method of synthesizing the acquired availability model modules based on the rules of the connection relation and generating an availability model for estimating the availability of the information processing system.
  • Model module storage unit that stores an operation model for operating an information processing system, an availability model module that represents a state transition of an operation target of the operation by an information model, and a rule of a connection relation between the availability model modules
  • a program that functions as an availability model synthesis unit that synthesizes at least a part of the availability model module based on the rules of the connection relation and generates an availability model for estimating the availability of the information processing system.
  • the present invention is suitable for efficiently evaluating the influence of various system operation operations on availability.
  • Availability model generation support device 101 Availability model composition unit, 102 Model module storage unit, 103 Correspondence storage unit, 104 Availability model feature selection unit, 105 Model determination unit, 106 Model module addition input / correction unit, 107 Availability estimation unit

Landscapes

  • Engineering & Computer Science (AREA)
  • Quality & Reliability (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Automation & Control Theory (AREA)
  • Stored Programmes (AREA)

Abstract

情報処理システムを運用するための操作と、操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、可用性モデルモジュール同士の接続関係の規則とを記憶するモデルモジュール格納部１０２と、可用性モデルモジュールの少なくとも一部を、接続関係の規則に基づいて合成し、情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部１０１とを備える。

Description

可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム
　本発明は、情報処理システムの可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラムに関する。
　情報処理システムの可用性を推定する技術が知られている。この種の技術の例として、特許文献１には、情報処理システムの運用時に、情報処理システムの構成と、情報処理システムを構成する各コンピュータの故障率および復旧率とに基づいて、情報処理システムの可用性を推定することが記載されている。
　また、非特許文献１には、特定のシステム操作に対応する数理モデルを構築し、当該数理モデルに基づいて可用性を推定することが記載されている。
米国特許第７７５６８０３号明細書
V. Castelli et al., "Proactive management of software aging", IBM Journal of Research and Development, IBM, 2001年3月, 第45巻, 第2号, p.311-332
　情報処理システムを運用するために行う、オペレーティングシステムの設定変更や再起動等の操作は、情報システムの可用性に大きな影響を及ぼす要因のひとつである。特許文献１に記載の技術においては、操作が可用性に及ぼす影響が考慮されていない。一方、非特許文献１には、特定の操作に対応する数理モデルに基づいて可用性を推定することが記載されているが、この数理モデルは特定の操作のみにしか適用できない。このため、システム運用管理において使用される多様な操作が可用性に及ぼす影響を評価するためには、各操作に個別の可用性モデルをそれぞれ構築する必要があり、モデル生成の生産性が低いという問題がある。実際の運用管理手順には多くの種類の操作が存在するため、全ての操作について個別に可用性モデルの設計を行うのは、煩雑で効率的ではない。
　そこで、本発明の目的は、多様なシステム運用操作が可用性に与える影響を効率よく評価することが可能な可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラムを提供することである。
　本発明に係る可用性モデル生成支援装置は、情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部と、前記可用性モデルモジュールの少なくとも一部を、上記接続関係の規則に基づいて合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部と、を備えたものである。
　本発明によれば、多様なシステム運用操作が可用性に与える影響を効率よく評価することができる。
本発明の実施の形態１による、可用性モデル生成支援装置の構成を示すブロック図。 本発明の実施の形態１による、可用性モデル生成支援装置の動作のフローチャート。 本発明の実施の形態１による、モデルモジュールを表すために用いる確率報酬ネットモデルを説明する図。 本発明の実施の形態１による、モデルモジュールを表すために用いる確率報酬ネットモデルを説明する図。 本発明の実施の形態１による、合成された可用性モデルの例を示す図。 本発明の実施の形態１による、合成された可用性モデルの例を示す図。 本発明の実施の形態１による、合成された可用性モデルの例を示す図。 本発明の実施の形態２による、可用性モデル生成支援装置の構成を示すブロック図。 本発明の実施の形態２による、可用性モデル生成支援装置の動作のフローチャート。 本発明の実施の形態２による、ユーザの選択結果に応じて選択されるモデルモジュールの例を示す図。 本発明の実施の形態３による、可用性モデル生成支援装置の構成を示すブロック図。 本発明の実施の形態３による、可用性モデル生成支援装置の動作のフローチャート。
実施の形態１．
　次に、本発明を実施するための形態について、図面を参照して詳細に説明する。
　図１は、本発明の実施の形態１による可用性モデル生成支援装置１の構成を示すブロック図である。可用性モデル生成支援装置１は、サーバ装置、またはパーソナル・コンピュータ等である。可用性モデル生成支援装置１は、図示しない中央処理装置（ＣＰＵ；Ｃｅｎｔｒａｌ　Ｐｒｏｃｅｓｓｉｎｇ　Ｕｎｉｔ）、記憶装置（メモリ及びハードディスク駆動装置（ＨＤＤ；Ｈａｒｄ　Ｄｉｓｋ　Ｄｒｉｖｅ））、入力装置（本例では、キーボード）、および出力装置（本例では、ディスプレイ）を備える。可用性モデル生成支援装置１は、記憶装置に記憶されているプログラムを中央処理装置が実行することにより、後述する機能を実現するように構成されている。
　本実施形態では、情報処理システムは、少なくとも１つの情報処理装置により構成される。　また、本実施形態では、可用性は情報処理システムの稼働率である。稼働率は、例えば瞬間稼働率、平均稼働率などである。瞬間稼働率は、特定の時点において情報処理システムが機能を維持している確率である。また、平均稼働率は予め設定された期間において情報処理システムが機能を維持している確率である。
　図１に示すように、可用性モデル生成支援装置１は、可用性モデル合成部１０１、モデルモジュール格納部１０２、可用性推定部１０７を備える。可用性モデル合成部１０１および可用性推定部１０７は、ＣＰＵがＲＯＭ等に格納された所定のプログラムを実行することにより実現される機能のモジュールに相当する。モデルモジュール格納部１０２は、外部記憶装置により実装される。
　可用性モデル合成部１０１は、モデルモジュール格納部１０２に格納された可用性モデルモジュールの少なくとも一部を接続関係の規則にしたがって合成し、情報処理システムの可用性を推定するための可用性モデルを生成する。
　本実施形態では、可用性モデルは、可用性モデルの合成に利用された各モデルモジュールにおける状態遷移の起こりやすさを表す複数のパラメータの値と、情報処理システムの可用性との関係を表すモデルである。
　また、本実施形態では、パラメータは、ある操作を実行するために要する時間の平均値である平均実行時間、ある操作の実行が成功する確率である成功確率、またはある操作の実行が失敗した際に操作対象に障害を引き起こす確率などである。
　また、可用性モデル合成部１０１は、各モデルモジュールのパラメータの値を取得する。可用性モデル合成部１０１は、モデルモジュール格納部１０２に格納された各モデルモジュールのパラメータの値を取得する。なお、可用性モデル合成部１０１は、ユーザによって入力された各パラメータの値を受け付けることにより、値を取得するように構成されていてもよい。
　モデルモジュール格納部１０２は、可用性モデルモジュールと、モデルモジュール同士の接続関係の規則とを格納する。可用性モデルモジュールは、情報処理システムを運用するために実施される操作と操作対象システムコンポーネント（例えば、ゲストОＳ）の状態遷移を部品化したものである。本実施形態では、モデルモジュールは確率分布を用いたモデル（例えば、確率報酬ネットを用いたモデル）により表される。また、本実施形態では、モデルモジュール同士の接続関係の規則は、モデルモジュールを合成して可用性モデルを生成する際に、あるモデルモジュールがどのモデルモジュールに接続可能であるかを規定する。
　可用性推定部１０７は、可用性モデル合成部１０１から可用性モデルとパラメータの値を取得する。なお、可用性モデル合成部１０１の代わりに、可用性推定部１０７は、モデルモジュール格納部１０２に格納された各モデルモジュールのパラメータの値を取得するように構成されていてもよい。また、可用性推定部１０７は、可用性モデル合成部１０１から取得する代わりに、ユーザにより入力された各パラメータの値を取得するようにしてもよい。可用性推定部１０７は、取得した各パラメータの値と、可用性モデル合成部１０１により生成された可用性モデルに基づいて、情報処理システムの可用性を推定する。
　次に、可用性モデル生成支援装置１の動作について説明する。
　図２は、可用性モデル生成支援装置１の動作のフローチャートである。
　まず、可用性モデル生成支援装置１は、モデルモジュール格納部１０２から、可用性モデル合成に使用するモデルモジュールを取得する（ステップＳ１００２）。このとき、ユーザが、評価対象となる情報処理システムの特徴に基づいて、モデルモジュール格納部１０２に格納されたモデルモジュールから可用性モデルの合成に使用するものを選択する。モデルモジュールには、モデルモジュールに付随するパラメータの値が予め設定されているものを用いてもよい。または、パラメータの値をユーザが別途入力してもよい。
　ここで、本実施の形態でモデルモジュールを表すために用いる確率報酬ネットモデルについて図３、図４を用いて簡単に説明する。本実施の形態で用いる確率報酬ネットモデルは、プレース、トランジション、アーク、ガード関数、および報酬関数で構成される。ここでは、プレース（白丸）は情報システムが取りうる状態を表す。ここでは、トークン（黒丸）が存在するプレースを現在の状態とみなす。複数のモデルモジュール上に存在する同じ名前のプレースは、同じ状態を表している。ここでは、トランジションは状態の遷移（トークンの移動）を引き起こすイベントに対応する。トランジションには、遷移確率の割り当てられたトランジション（白い長方形）、一定時間ごとに状態遷移を引き起こすようなトランジション（黒い長方形）、状態の遷移を直ちに引き起こすトランジション（一本線）があり、後述のガード関数が割り当てられる場合がある。アークは、トランジションとプレースを接続し、状態遷移の方向を表す。ガード関数は、トランジションに割り当てられ、下記のように条件に応じて状態遷移を不可能にする。
　図３の（ｂ）のｇ１は、トークンが図４の（４）のプレースＰｓｖ＿ｆａｉｌにあるとき、Ｔｆａｉｌの状態遷移を可能にする。
　図４の（２）のｇ２は、トークンが図３のプレースＰｕｐにあるとき、Ｔｕｐの状態遷移を可能にする。
　図４の（２）のｇ３は、トークンが図３のプレースＰｕｎｐｌａｎｎｅｄ＿ｏｕｔａｇｅ、または、Ｐｐｌａｎｎｅｄ＿ｏｕｔａｇｅにあるとき、Ｔｄｏｗｎの状態遷移を可能にする。
　図３の（ｃ）のｇ４は、トークンが図４の（５）のプレースＰｒｅｂｏｏｔにあるとき、Ｔｈａｌｔの状態遷移を可能にする。
　報酬関数は、プレース内のトークンの数に応じて出力が変わる関数である。ここでは、Ｐｕｐに１つのトークンがある場合を稼働中と定義する場合を考える。このとき、Ｐｕｐにトークンが１つある場合に１、トークンが無い場合に０を出力する報酬関数を定義すると、Ｐｕｐ内のトークン数の時間平均値を計算することで、稼働率を得ることができる。
　図３、図４に示したモデルモジュールの例のうち、図３の（ａ）から（ｅ）は、操作対象システムコンポーネント（例えば、ゲストＯＳ）の状態変化を表すモデルモジュール、図４の（１）から（５）は、システム運用操作（例えば、設定変更）を表すモデルモジュールである。
　図３の操作対象システムコンポーネントのモデルモジュールについて、以下に説明する。なお、プレースについては、Ｐｕｐは操作対象が稼動中の状態、Ｐｕｎｐｌａｎｎｅｄ＿ｏｕｔａｇｅは操作対象が意図せずに停止してしまった状態、Ｐｐｌａｎｎｅｄ＿ｏｕｔａｇｅは計画停止中の状態を表す。トークンの初期位置は、Ｐｕｐとする。パラメータについては、λは操作対象の故障率（運用操作に関係なく負荷やリソース消費などでダウンする確率）、μ１はシステム障害発生時の障害からの復旧率、μ２は通常運用時の計画停止からの復旧率を表す。
　通常、障害発生時にはその原因の診断や対処などの時間が必要となり、計画停止からの復旧より時間がかかると考えられるため、μ１＜μ２となる。すなわち、（ｄ）の状態遷移のほうが（ｅ）より起こりにくくなる。
　以下、操作対象システムコンポーネントの各モデルモジュール（ａ）～（ｅ）について説明する。
（ａ）運用操作に無関係な操作対象の障害発生（自発的な状態遷移）を表す。
（ｂ）運用操作の失敗に起因する操作対象の障害発生を表す。
（ｃ）運用操作による計画停止を表す。
（ｄ）障害からの復旧を表す。
（ｅ）計画停止からの復旧を表す。
　図４のシステム運用操作を表すモデルモジュールについて以下に説明する。なお、プレースについては、Ｐｏｐ＿ｅｘｅｃは操作を実行している状態、Ｐｏｐ＿ｆａｉｌは操作が失敗した状態、Ｐｏｐ＿ｓｕｃｃｅｓｓは操作が成功した状態、Ｐｓｖ＿ｆａｉｌは操作の失敗が操作対象に障害を引き起こした状態、Ｐｓｖ＿ａｖａｉｌは操作が失敗したが操作対象には何も起こらなかった状態、Ｐｒｅｂｏｏｔは操作対象を再起動する状態を表す。トークンの初期位置は、Ｐｏｐ＿ｅｘｅｃとする。パラメータについては、ｔｏｐは操作の平均実効時間、ｃｏｐは操作の成功確率、ｃｓｖｆａｉｌは操作の失敗が操作対象の可用性に影響を与える確率を示す。
　以下、システム運用操作の各モデルモジュール（１）～（５）について説明する。
（１）運用操作の実行を表す。
（２）操作対象の状態チェックを表す。
（３）運用操作結果を表す。
（４）操作対象の障害発生を表す。本モデルモジュールの利用条件として、モデルモジュール（ｂ）を必要とする。
（５）操作対象の再起動を表す。本モデルモジュール利用条件として、モデルモジュール（ｃ）、（ｅ）を必要とする。
（６）操作の成功を表す。
（７）操作の失敗を表す。
　図４においては、各モデルモジュールについて、モデルモジュールを合成するための規則として、接続先のプレース（状態）の候補が示されている。具体的には、例えば、モデルモジュール（１）の接続先のプレースの候補はＰｕｐ＿ｏｒ＿ｄｏｗｎであるため、そのプレースから始まるモデルモジュール（２）を接続することができることを示している。
　可用性モデル生成支援装置１は、取得したモデルモジュールと、図４に示したモデルモジュールの接続先の状態の候補と条件に基づいて、取得されたモデルモジュールを合成することで可用性モデルを生成する（図２のステップＳ１００８）。具体的には、取得したモデルモジュールに関して、次の２つの合成が行われる。１つめに、操作対象システムコンポーネントのモデルモジュールを合成（同じプレースを統合）することで、操作対象システムコンポーネントモデルを生成する。２つめに、システム運用操作のモデルモジュールを合成することで、システム運用操作モデルを生成する。このとき、図４の（３）に示すように、モデルモジュールの接続先の状態の候補が複数ある場合は、取得したシステム運用操作の各モデルモジュールが全て接続されるように合成する。
　なお、ここではガード関数によって操作対象システムコンポーネントモデルとシステム運用操作モデルの間の相互作用が定義されている。操作対象システムコンポーネントモデルと、システム運用操作モデルをあわせたものが、本実施形態の可用性モデルとなる。
　合成される可用性モデルの例を、図５、図６、図７に示す。
　図５に示す可用性モデルは、状態監視のように操作対象の状態を変えない操作が行われた場合の情報処理システムの可用性モデルであり、モデルモジュール（ａ）、（ｄ）、（１）、（２）、（３）、（６）、（７）を選んだ場合の可用性モデルである。
　図６に示す可用性モデルは、オペレーティングシステムの設定変更のような操作の失敗が操作対象の障害を引き起こしうる場合の情報処理システムの可用性モデルであり、モデルモジュール（ａ）、（ｂ）、（ｄ）、（１）、（２）、（３）、（４）、（６）、（７）を選んだ場合の可用性モデルである。
　図７に示す可用性モデルは、再起動のように、操作自身が操作対象の計画停止を含む場合の情報処理システムの可用性モデルであり、モデルモジュール（ａ）、（ｂ）、（ｃ）、（ｄ）、（ｅ）、（１）、（２）、（３）、（４）、（５）、（６）、（７）を選んだ場合の可用性モデルである。
　なお、条件を満たさないようなモデルモジュールを合成しようとした場合（たとえば、必要なモデルモジュールが足りない場合）は、ユーザに対して警告を表示してもよい。その際、どの条件を満たしていないのかを提示してもよい。また、モデルモジュールの利用条件に基づき、欠損している一部のモデルモジュールを自動的に補うようにしてもよい。
　可用性モデル生成支援装置１は、合成された可用性モデルに基づき、モデル解析ツールを用いて、情報システムの可用性を推定（算出）する（図２のステップＳ１０１０）。本実施形態では、可用性モデル生成装置１は、ＳＨＡＲＰＥ（Ｓｙｍｂｏｌｉｃ　Ｈｉｅｒａｒｃｈｉｃａｌ　Ａｕｔｏｍａｔｅｄ　Ｒｅｌｉａｂｉｌｉｔｙ　ａｎｄ　Ｐｅｒｆｏｒｍａｎｃｅ　Ｅｖａｌｕａｔｏｒ）、またはＳＰＮＰ（Ｓｔｏｃｈａｓｔｉｃ．　Ｐｅｔｒｉ　Ｎｅｔ　Ｐａｃｋａｇｅ）等の周知の技術を用いて可用性を推定する。
　本実施形態では、可用性モデル生成支援装置１は、トークンがプレースＰｕｐにある場合に、情報処理システムの状態が稼動している状態であると仮定する。この場合、可用性モデル生成支援装置１は、可用性を算出するための報酬関数をプレースＰｕｐにアサインすることで可用性推定部１０７が可用性を算出することができる。
　例えば、可用性モデル生成支援装置１は、トークンがプレースＰｕｐにある場合に「１」を出力し、トークンがプレースＰｕｐ以外のプレースにある場合に「０」を出力する関数を、報酬関数として予めモデルモジュールのプレースＰｕｐにアサインしておく。この場合、可用性推定部１０７は、報酬関数の出力値の時間平均値を平均稼働率として算出する。
　その後、可用性推定部１０７は、可用性モデル合成部１０１から可用性モデルとパラメータの値を取得する。可用性推定部１０７は、取得された各パラメータの値と、可用性モデル合成部１０１により生成された可用性モデルとに基づいて、情報処理システムの可用性を推定する。可用性推定部１０７は、推定された可用性の値を出力する。本実施形態では、可用性の値をディスプレイに表示する。
　以上のように、本実施形態によれば、可用性に関わる状態遷移を表すモデルモジュールの少なくとも一部を合成することで、システム運用管理において様々な操作が実行される情報処理システムの可用性を推定するための可用性モデルを生成できる。この結果、情報処理システムの可用性モデルの生成の生産性を容易に向上させることができる。
実施の形態２．
　図８は、本発明の実施の形態２による可用性モデル生成支援装置１の構成を示すブロック図である。図１と同一の符号は同等の構成を表している。実施の形態２では、実施の形態１のようにモデルモジュール格納部１０２から直接可用性モデル合成に使用するモデルモジュールをユーザに選択させるのではなく、可用性モデルの特徴を自然言語などで提示し、ユーザに選択させることで可用性モデルを合成する。以下、かかる相違点を中心に説明する。
　図８に示したように、実施の形態２による可用性モデル生成支援装置１は、実施の形態１による可用性モデル生成支援装置１の機能に加えて、対応関係格納部１０３と、可用性モデル特徴選択部１０４を備えている。
　可用性モデル特徴選択部１０４は、可用性モデルに関する特徴の選択肢をユーザに提示する。たとえば、Ｗｅｂブラウザに選択肢と選択結果入力のためのチェックボックスを表示して、ユーザに選択させてもよい。ユーザは、評価対象の情報処理システムの特性に基づき、選択結果を入力する。このとき、可用性モデル特徴選択部１０４は、特徴の選択結果に加えて、関連するパラメータの値（例えばλ）を入力するようにユーザに促してもよい。可用性モデル特徴選択部１０４は、特徴の選択結果を受け付ける。　
　可用性モデル合成部１０１は、対応関係格納部１０３に格納された、選択結果とモデルモジュールの対応関係に基づき、可用性モデル特徴選択部１０４が受け付けた選択結果に対応するモデルモジュールを、モデルモジュール格納部１０２から取得する。
　可用性モデル合成部１０１は、実施の形態１による可用性モデル合成部１０１と同様に、取得したモデルモジュールを合成して、可用性モデルを生成する。
　対応関係格納部１０３は、可用性モデル特徴選択部１０４の受け付ける選択結果と、選択結果に対応するモデルモジュールの対応関係を格納する。例えば、可用性モデル特徴選択部１０４が、以下のような自然言語で記述された質問を提示し、対応関係格納部１０３は各質問に対するＹＥＳ／ＮＯを選択結果として受け取ってもよい。
（Ｉ）運用操作が失敗した場合、サーバに障害が起こる可能性があるか。（該当する操作例：ネットワーク設定変更）
（ＩＩ）運用操作は、操作対象を再起動するか。（該当する操作例：障害を未然に防ぐための若化操作）
　この場合、選択結果は以下の４種類となる。
（Ａ）　全てがＮＯの場合
（Ｂ）　（Ｉ）のみがＹＥＳの場合
（Ｃ）　（ＩＩ）のみがＹＥＳの場合
（Ｄ）　（Ｉ）、（ＩＩ）ともにＹＥＳの場合
　このときの、選択結果に対応するモデルモジュールを図１０に示す。以上のように、自然言語でモデルの特徴を提示し、ユーザの選択結果と対応するモデルモジュールの対応関係を予め対応関係格納部１０３に格納しておく。
　また、対応関係格納部１０３には、質問形式ではなく、操作の種類とモデルモジュールの対応関係を格納しておいてもよい。この場合、可用性モデル特徴選択部１０４が、例えば、以下のような自然言語で記述された操作の具体例を提示し、ユーザに操作を選択させて、選択結果を受ける。
（α）状態監視
（β）重要な設定項目の変更（例えば、オペレーティングシステムの環境変数の変更など）
（γ）重要な設定項目の変更後に再起動（例えば、ネットワーク設定変更後の設定反映のための再起動など）
　この場合の操作とモデルモジュールとの対応関係は、（α）に対応するモデルモジュールは（Ａ）と同様、（β）に対応するモデルモジュールは（Ｂ）と同様、（γ）に相当するモジュールは（Ｄ）と同様である。
　可用性推定部１０７は、実施の形態１と同様に、可用性モデル合成部１０１が生成した可用性モデルに基づいて可用性を推定（算出）する。
　次に、実施の形態２による可用性モデル生成支援装置１の動作について、図９を参照しながら説明する。
　まず、可用性モデル生成支援装置１が、可用性モデルに関する特徴の選択肢をユーザに提示する（ステップＳ１０００）。
　次に、可用性モデル生成支援装置１は、ユーザによる特徴の選択結果を受け付ける（ステップＳ１００１）。
　次に、可用性モデル生成支援装置１は、対応関係格納部１０３に格納された対応関係に基づいて、選択結果に対応するモデルモジュールをモデルモジュール格納部１０２から取得する（ステップＳ１００２）。
　次に、可用性モデル生成支援装置１は、取得したモデルモジュールを合成して可用性モデルを生成する（ステップＳ１００８）。
　次に、可用性モデル生成支援装置１は、生成された可用性モデルを、既存技術のモデル解析用ツールを用いて解析し、可用性を推定（算出）する（ステップＳ１０１０）。
　以上のように、本実施形態によれば、実施の形態１と同様の効果が得られるとともに、自然言語による選択肢を利用することで、ユーザは数理モデリングの知識が無くても、可用性モデルを構築して評価対象システムの可用性を算出することができる。したがって、ユーザの学習コストも低く抑えることができる。
実施の形態３．
　図１１は、本発明の実施の形態３による可用性モデル生成支援装置１の構成を示すブロック図である。図１と同一の符号は同等の構成を表している。実施の形態３では、モデルモジュールに不足がある場合にモデルモジュールの追加・修正が可能である。以下、かかる相違点を中心に説明する。
　図１１に示したように、実施の形態３による可用性モデル生成支援装置１は、実施の形態１による可用性モデル生成支援装置１の機能に加えて、モデル判定部１０５と、モデルモジュール追加入力・修正部１０６を備えている。
　モデル判定部１０５は、モデルモジュール格納部１０２に格納されたモデルモジュールに不足があるか否かを判定する。判定はユーザ入力によって行う。モデルモジュールに不足がある場合は、モデルモジュール追加入力・修正部１０６が、ユーザにモデルモジュールの入力を行うように促す。
　モデルモジュール追加入力・修正部１０６は、ユーザからモデルモジュールの追加・修正入力を受け付け、モデルモジュール格納部１０２へのモデルモジュールの追加、既存のモデルモジュールの修正を行う。
　可用性モデル合成部１０１は、実施の形態１と同様に、モデルモジュール格納部１０２に格納された可用性モデルモジュールの少なくとも一部を、接続関係の規則にしたがって合成し、情報システムの可用性を推定するための可用性モデルを生成する。
　可用性推定部１０７は、実施の形態１と同様に、可用性モデル合成部１０１が生成した可用性モデルに基づいて情報システムの可用性を推定（算出）する。
　次に、実施の形態３による可用性モデル生成支援装置１の動作について、図１２を参照しながら説明する。
　まず、可用性モデル生成支援装置１は、モデルモジュール格納部１０２から、可用性モデルの合成に使用するモデルモジュールを取得する（ステップＳ１００２）。
　次に、モデルモジュール格納部１０２に格納されたモデルモジュールのみでは不足が生じるか否かを判定し（ステップＳ１００４）、生じる場合（ＹＥＳ）は、ステップＳ１００６に進み、生じない場合（ＮＯ）は、ステップＳ１００８に進む。
　ステップＳ１００６では、ユーザより、追加するモデルモジュールと付随するパラメータの入力を受け付け、モデル追加入力・修正部１０６がモデルモジュール格納部１０２に格納する。モデルモジュールの追加・修正が完了したら、ステップＳ１００２に戻る。
　次に、可用性モデル生成支援装置１は、可用性モデル合成部１０１において取得したモデルモジュールを合成して可用性モデルを生成する（ステップＳ１００８）。
　次に、可用性モデル生成支援装置１は、生成された可用性モデルを、既存技術のモデル解析用ツールを用いて解析し、可用性を推定（算出）する（ステップＳ１０１０）。なお、ステップＳ１００２の前に、ステップＳ１００４を実行してもよい。
　以上のように、本実施形態によれば、実施の形態１と同様の効果が得られるとともに、モデルモジュールの修正・追加を可能にすることで、内容に変更があった運用操作や、今まで存在しなかった新規の運用操作が可用性に与える影響も評価可能となり、可用性モデリングの柔軟性を向上させることができる。
　なお、本願発明は上記の実施の形態１～３に限定されるものではない。本願発明の構成および動作は、本願発明の範囲内において当業者が理解し得る様々な変更を適用することができる。
　この出願は、２０１１年３月４日に出願された日本出願特願２０１１－４７４２３を基礎とする優先権を主張し、その開示の全てをここに取り込む。
　以上、実施形態を参照して本願発明を説明したが、本願発明は上記実施形態に限定されるものではない。本願発明の構成や詳細には、本願発明のスコープ内で当業者が理解し得る様々な変更をすることができる。
　上記各実施形態において、可用性モデル生成装置１の各機能は、ＣＰＵがプログラム（ソフトウェア）を実行することにより実現されていたが、回路等のハードウェアにより実現されていてもよい。また、上記各実施形態において、プログラムは記憶装置に記憶されているが、コンピュータが読み取り可能な記録媒体に記憶されていてもよい。記録媒体は、例えばフレキシブルディスク、光ディスク、光磁気ディスク、半導体メモリ等の可搬性を有する媒体である。また、本発明の他の変形例として、上記各実施形態を組み合わせた構成を採用してもよい。
　上記の実施の形態の一部または全部は、以下の付記のようにも記載されうるが、以下には限られない。
（付記１）情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部と、
　前記可用性モデルモジュールの少なくとも一部を、上記接続関係の規則に基づいて合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部と、を備えた可用性モデル生成支援装置。
（付記２）付記１に記載の可用性モデル生成支援装置であって、
　前記可用性モデルの特徴に関する選択肢をユーザに提示する可用性モデル特徴選択部と、
　前記選択肢の中から選ばれる選択結果と、前記選択結果に対応するモデルモジュールの対応関係を格納する対応関係格納部と、を備えた可用性モデル生成支援装置。
（付記３）付記１または２に記載の可用性モデル生成支援装置であって、
　前記モデルモジュール格納部に格納されたモデルモジュールに不足があるか否かを判定するモデル判定部と、
　ユーザからモデルモジュールの追加または修正入力を受け付け、モデルモジュールの追加を受け付けた場合には、前記モデルモジュール格納部に追加されたモデルモジュールを格納し、モデルモジュールの修正入力を受け付けた場合には、前記モデルモジュール格納部に格納されているモデルモジュールの修正を行うモデルモジュール追加入力・修正部と、を備えた可用性モデル生成支援装置。
（付記４）情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部から、前記可用性モデルモジュールの少なくとも一部を取得する工程と、
　上記接続関係の規則に基づいて、取得した前記可用性モデルモジュールを合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する工程と、を備えた可用性モデル生成支援方法。
（付記５）コンピュータを、
　情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部と、
　前記可用性モデルモジュールの少なくとも一部を、上記接続関係の規則に基づいて合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部と、して機能させるプログラム。
　本発明は、多様なシステム運用操作が可用性に与える影響を効率よく評価することに適している。
　１　可用性モデル生成支援装置、１０１　可用性モデル合成部、１０２　モデルモジュール格納部、１０３　対応関係格納部、１０４　可用性モデル特徴選択部、１０５　モデル判定部、１０６　モデルモジュール追加入力・修正部、１０７　可用性推定部

Claims (5)

  1. 　情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部と、
    　前記可用性モデルモジュールの少なくとも一部を、上記接続関係の規則に基づいて合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部と、を備えた可用性モデル生成支援装置。
  2. 　請求項１に記載の可用性モデル生成支援装置であって、
    　前記可用性モデルの特徴に関する選択肢をユーザに提示する可用性モデル特徴選択部と、
    　前記選択肢の中から選ばれる選択結果と、前記選択結果に対応するモデルモジュールの対応関係を格納する対応関係格納部と、を備えた可用性モデル生成支援装置。
  3. 　請求項１または２に記載の可用性モデル生成支援装置であって、
    　前記モデルモジュール格納部に格納されたモデルモジュールに不足があるか否かを判定するモデル判定部と、
    　ユーザからモデルモジュールの追加または修正入力を受け付け、モデルモジュールの追加を受け付けた場合には、前記モデルモジュール格納部に追加されたモデルモジュールを格納し、モデルモジュールの修正入力を受け付けた場合には、前記モデルモジュール格納部に格納されているモデルモジュールの修正を行うモデルモジュール追加入力・修正部と、を備えた可用性モデル生成支援装置。
  4. 　情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部から、前記可用性モデルモジュールの少なくとも一部を取得する工程と、
    　上記接続関係の規則に基づいて、取得した前記可用性モデルモジュールを合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する工程と、を備えた可用性モデル生成支援方法。
  5. 　コンピュータを、
    　情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部と、
    　前記可用性モデルモジュールの少なくとも一部を、上記接続関係の規則に基づいて合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部と、して機能させるプログラム。
PCT/JP2012/054149 2011-03-04 2012-02-21 可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム WO2012121005A1 (ja)

Priority Applications (2)

Application Number Priority Date Filing Date Title
JP2013503444A JP6016128B2 (ja) 2011-03-04 2012-02-21 可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム
US14/001,453 US20130338799A1 (en) 2011-03-04 2012-02-21 Availability model generation support device, availability model generation support method, and program

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
JP2011047423 2011-03-04
JP2011-047423 2011-03-04

Publications (1)

Publication Number Publication Date
WO2012121005A1 true WO2012121005A1 (ja) 2012-09-13

Family

ID=46797974

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/JP2012/054149 WO2012121005A1 (ja) 2011-03-04 2012-02-21 可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム

Country Status (3)

Country Link
US (1) US20130338799A1 (ja)
JP (1) JP6016128B2 (ja)
WO (1) WO2012121005A1 (ja)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2014061199A1 (ja) * 2012-10-17 2014-04-24 日本電気株式会社 システム設計方法、システム設計装置及びシステム設計プログラム

Families Citing this family (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9104845B2 (en) * 2010-03-31 2015-08-11 Nec Corporation Digital content management system, verification device, programs thereof, and data processing method
US20130275113A1 (en) * 2010-10-29 2013-10-17 Nec Corporation Availability model generation device
CN108255625B (zh) * 2018-01-16 2021-02-26 华南理工大学 基于构建高可用模型的复杂系统的评价方法

Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH08115207A (ja) * 1994-10-14 1996-05-07 Hitachi Ltd プログラム合成方法

Family Cites Families (8)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH05313557A (ja) * 1992-05-14 1993-11-26 Toshiba Corp プラントモデル自動生成装置
US5995921A (en) * 1996-04-23 1999-11-30 International Business Machines Corporation Natural language help interface
US6246403B1 (en) * 1998-10-08 2001-06-12 Hewlett-Packard Company Method and apparatus for generating a graphical user interface
US6854069B2 (en) * 2000-05-02 2005-02-08 Sun Microsystems Inc. Method and system for achieving high availability in a networked computer system
US7197743B2 (en) * 2003-03-04 2007-03-27 Hitachi, Ltd. Method for generating computer software for embedded systems
US20060129367A1 (en) * 2004-11-09 2006-06-15 Duke University Systems, methods, and computer program products for system online availability estimation
US7756803B2 (en) * 2005-03-03 2010-07-13 Hewlett-Packard Development Company, L.P. Method of predicting availability of a system
US20110061041A1 (en) * 2009-09-04 2011-03-10 International Business Machines Corporation Reliability and availability modeling of a software application

Patent Citations (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JPH08115207A (ja) * 1994-10-14 1996-05-07 Hitachi Ltd プログラム合成方法

Non-Patent Citations (3)

* Cited by examiner, † Cited by third party
Title
ANDREA BONDAVALLI ET AL.: "Automated Dependability Analysis of UML Designs", PROCEEDINGS OF THE 2ND IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, 5 May 1999 (1999-05-05), pages 139 - 144 *
GABOR HUSZERL ET AL.: "Quantitative Analysis of Dependability Critical Systems Based on UML Statechart Models", FIFTH IEEE INTERNATIONAL SYMPOSIM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2000), 17 November 2000 (2000-11-17), pages 83 - 92 *
KOICHI TOKUNO ET AL.: "A Markovian Modeling for Software Availability Measurement", OPERATIONS RESEARCH AS A MANAGEMENT SCIENCE RESEARCH, vol. 44, no. 8, 1 August 1999 (1999-08-01), pages 405 - 409 *

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
WO2014061199A1 (ja) * 2012-10-17 2014-04-24 日本電気株式会社 システム設計方法、システム設計装置及びシステム設計プログラム
US9740575B2 (en) 2012-10-17 2017-08-22 Nec Corporation System design method, system design apparatus, and storage medium storing system design program, for analyzing failure restoration procedure

Also Published As

Publication number Publication date
JPWO2012121005A1 (ja) 2014-07-17
JP6016128B2 (ja) 2016-10-26
US20130338799A1 (en) 2013-12-19

Similar Documents

Publication Publication Date Title
US20210216444A1 (en) Micro services tests prioritization
US8738968B2 (en) Configuration based service availability analysis of AMF managed systems
Pascual et al. Run-time adaptation of mobile applications using genetic algorithms
JP6016128B2 (ja) 可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム
CN109196466B (zh) 用于评估升级活动的方法和系统
Jansen et al. The COMICS Tool–Co mputing Mi nimal C ounterexample s for DTMCs
WO2018143019A1 (ja) 情報処理装置、情報処理方法およびプログラム記録媒体
Goel et al. SLA monitor: A system for dynamic monitoring of adaptive web services
JP2007257184A (ja) 障害原因推定システム、方法、及び、プログラム
Wang et al. A hierarchical reliability model of service-based software system
CN115698959A (zh) 特征部署准备就绪预测
JP5910499B2 (ja) 拡張性評価装置、拡張性評価方法および拡張性評価プログラム
US9740575B2 (en) System design method, system design apparatus, and storage medium storing system design program, for analyzing failure restoration procedure
US8650142B2 (en) Method and device for performing a maintenance function
CN106452939A (zh) 一种考虑冗余容错恢复的云计算系统计算资源可用性评估方法
JP5304972B1 (ja) 情報処理装置、情報処理方法、及びプログラム
WO2012056611A1 (ja) 可用性モデル生成装置
Alshaer et al. Graph neural networks based meta-scheduling in adaptive time-triggered systems
WO2015174068A1 (ja) 情報処理装置、処理方法およびプログラムを記録した記録媒体
Jansen et al. The COMICS tool-Computing minimal counterexamples for discrete-time Markov chains
US11876681B2 (en) Topology recommendation platform for application architecture
Mouline et al. Enabling temporal-aware contexts for adaptative distributed systems
JP6466800B2 (ja) ネットワーク評価システム、サービス故障率算出方法、及びプログラム
Shelton et al. Using models to improve the availability of automotive software architectures
Ferry et al. Multi-layered Adaptation for the Failure Prevention and Recovery in Cloud Service Brokerage Platforms

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 12754618

Country of ref document: EP

Kind code of ref document: A1

ENP Entry into the national phase

Ref document number: 2013503444

Country of ref document: JP

Kind code of ref document: A

WWE Wipo information: entry into national phase

Ref document number: 14001453

Country of ref document: US

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 12754618

Country of ref document: EP

Kind code of ref document: A1