JP6016128B2 - 可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム - Google Patents
可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム Download PDFInfo
- Publication number
- JP6016128B2 JP6016128B2 JP2013503444A JP2013503444A JP6016128B2 JP 6016128 B2 JP6016128 B2 JP 6016128B2 JP 2013503444 A JP2013503444 A JP 2013503444A JP 2013503444 A JP2013503444 A JP 2013503444A JP 6016128 B2 JP6016128 B2 JP 6016128B2
- Authority
- JP
- Japan
- Prior art keywords
- model
- availability
- model module
- module
- availability model
- Prior art date
- Legal status (The legal status 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 status listed.)
- Active
Links
- 238000000034 method Methods 0.000 title claims description 12
- 238000003860 storage Methods 0.000 claims description 47
- 230000010365 information processing Effects 0.000 claims description 39
- 230000007704 transition Effects 0.000 claims description 30
- 230000006870 function Effects 0.000 claims description 20
- 230000015572 biosynthetic process Effects 0.000 claims description 18
- 238000003786 synthesis reaction Methods 0.000 claims description 18
- 238000012937 correction Methods 0.000 claims description 10
- 230000002194 synthesizing effect Effects 0.000 claims description 9
- 230000002950 deficient Effects 0.000 claims description 2
- 238000005094 computer simulation Methods 0.000 claims 1
- 230000008859 change Effects 0.000 description 7
- 238000004519 manufacturing process Methods 0.000 description 7
- 238000010586 diagram Methods 0.000 description 6
- 238000012986 modification Methods 0.000 description 6
- 230000004048 modification Effects 0.000 description 6
- 238000013178 mathematical model Methods 0.000 description 4
- 238000011084 recovery Methods 0.000 description 4
- 238000004458 analytical method Methods 0.000 description 3
- 238000005516 engineering process Methods 0.000 description 3
- 230000008569 process Effects 0.000 description 3
- 238000012545 processing Methods 0.000 description 3
- 230000000694 effects Effects 0.000 description 2
- 238000012544 monitoring process Methods 0.000 description 2
- 230000032683 aging Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000009826 distribution Methods 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 230000003993 interaction Effects 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 230000007420 reactivation Effects 0.000 description 1
- 230000003716 rejuvenation Effects 0.000 description 1
- 238000012827 research and development Methods 0.000 description 1
- 239000004065 semiconductor Substances 0.000 description 1
- 230000002269 spontaneous effect Effects 0.000 description 1
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
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)
- Debugging And Monitoring (AREA)
Description
次に、本発明を実施するための形態について、図面を参照して詳細に説明する。
図1は、本発明の実施の形態1による可用性モデル生成支援装置1の構成を示すブロック図である。可用性モデル生成支援装置1は、サーバ装置、またはパーソナル・コンピュータ等である。可用性モデル生成支援装置1は、図示しない中央処理装置(CPU;Central Processing Unit)、記憶装置(メモリ及びハードディスク駆動装置(HDD;Hard Disk Drive))、入力装置(本例では、キーボード)、および出力装置(本例では、ディスプレイ)を備える。可用性モデル生成支援装置1は、記憶装置に記憶されているプログラムを中央処理装置が実行することにより、後述する機能を実現するように構成されている。
図2は、可用性モデル生成支援装置1の動作のフローチャートである。
まず、可用性モデル生成支援装置1は、モデルモジュール格納部102から、可用性モデル合成に使用するモデルモジュールを取得する(ステップS1002)。このとき、ユーザが、評価対象となる情報処理システムの特徴に基づいて、モデルモジュール格納部102に格納されたモデルモジュールから可用性モデルの合成に使用するものを選択する。モデルモジュールには、モデルモジュールに付随するパラメータの値が予め設定されているものを用いてもよい。または、パラメータの値をユーザが別途入力してもよい。
図4の(2)のg2は、トークンが図3のプレースPupにあるとき、Tupの状態遷移を可能にする。
図4の(2)のg3は、トークンが図3のプレースPunplanned_outage、または、Pplanned_outageにあるとき、Tdownの状態遷移を可能にする。
図3の(c)のg4は、トークンが図4の(5)のプレースPrebootにあるとき、Thaltの状態遷移を可能にする。
(a)運用操作に無関係な操作対象の障害発生(自発的な状態遷移)を表す。
(b)運用操作の失敗に起因する操作対象の障害発生を表す。
(c)運用操作による計画停止を表す。
(d)障害からの復旧を表す。
(e)計画停止からの復旧を表す。
(1)運用操作の実行を表す。
(2)操作対象の状態チェックを表す。
(3)運用操作結果を表す。
(4)操作対象の障害発生を表す。本モデルモジュールの利用条件として、モデルモジュール(b)を必要とする。
(5)操作対象の再起動を表す。本モデルモジュール利用条件として、モデルモジュール(c)、(e)を必要とする。
(6)操作の成功を表す。
(7)操作の失敗を表す。
図5に示す可用性モデルは、状態監視のように操作対象の状態を変えない操作が行われた場合の情報処理システムの可用性モデルであり、モデルモジュール(a)、(d)、(1)、(2)、(3)、(6)、(7)を選んだ場合の可用性モデルである。
図8は、本発明の実施の形態2による可用性モデル生成支援装置1の構成を示すブロック図である。図1と同一の符号は同等の構成を表している。実施の形態2では、実施の形態1のようにモデルモジュール格納部102から直接可用性モデル合成に使用するモデルモジュールをユーザに選択させるのではなく、可用性モデルの特徴を自然言語などで提示し、ユーザに選択させることで可用性モデルを合成する。以下、かかる相違点を中心に説明する。
(II)運用操作は、操作対象を再起動するか。(該当する操作例:障害を未然に防ぐための若化操作)
(A) 全てがNOの場合
(B) (I)のみがYESの場合
(C) (II)のみがYESの場合
(D) (I)、(II)ともにYESの場合
(α)状態監視
(β)重要な設定項目の変更(例えば、オペレーティングシステムの環境変数の変更など)
(γ)重要な設定項目の変更後に再起動(例えば、ネットワーク設定変更後の設定反映のための再起動など)
まず、可用性モデル生成支援装置1が、可用性モデルに関する特徴の選択肢をユーザに提示する(ステップS1000)。
図11は、本発明の実施の形態3による可用性モデル生成支援装置1の構成を示すブロック図である。図1と同一の符号は同等の構成を表している。実施の形態3では、モデルモジュールに不足がある場合にモデルモジュールの追加・修正が可能である。以下、かかる相違点を中心に説明する。
(付記1)情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部と、
前記可用性モデルモジュールの少なくとも一部を、上記接続関係の規則に基づいて合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部と、を備えた可用性モデル生成支援装置。
前記可用性モデルの特徴に関する選択肢をユーザに提示する可用性モデル特徴選択部と、
前記選択肢の中から選ばれる選択結果と、前記選択結果に対応するモデルモジュールの対応関係を格納する対応関係格納部と、を備えた可用性モデル生成支援装置。
前記モデルモジュール格納部に格納されたモデルモジュールに不足があるか否かを判定するモデル判定部と、
ユーザからモデルモジュールの追加または修正入力を受け付け、モデルモジュールの追加を受け付けた場合には、前記モデルモジュール格納部に追加されたモデルモジュールを格納し、モデルモジュールの修正入力を受け付けた場合には、前記モデルモジュール格納部に格納されているモデルモジュールの修正を行うモデルモジュール追加入力・修正部と、を備えた可用性モデル生成支援装置。
上記接続関係の規則に基づいて、取得した前記可用性モデルモジュールを合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する工程と、を備えた可用性モデル生成支援方法。
情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部と、
前記可用性モデルモジュールの少なくとも一部を、上記接続関係の規則に基づいて合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部と、して機能させるプログラム。
Claims (4)
- 情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部と、
前記可用性モデルモジュールの少なくとも一部を、上記接続関係の規則に基づいて合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部と、
前記可用性モデルの特徴に関する選択肢をユーザに提示する可用性モデル特徴選択部と、
前記選択肢の中から選ばれる選択結果と、前記選択結果に対応するモデルモジュールの対応関係を格納する対応関係格納部と、を備えた可用性モデル生成支援装置。 - 請求項1に記載の可用性モデル生成支援装置であって、
前記モデルモジュール格納部に格納されたモデルモジュールに不足があるか否かを判定するモデル判定部と、
ユーザからモデルモジュールの追加または修正入力を受け付け、モデルモジュールの追加を受け付けた場合には、前記モデルモジュール格納部に追加されたモデルモジュールを格納し、モデルモジュールの修正入力を受け付けた場合には、前記モデルモジュール格納部に格納されているモデルモジュールの修正を行うモデルモジュール追加入力・修正部と、を備えた可用性モデル生成支援装置。 - 可用性モデルの特徴に関する選択肢をユーザに提示し、選択結果の入力を受け付ける工程と、
情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部から、前記可用性モデルモジュールの少なくとも一部を取得する工程と、
上記接続関係の規則に基づいて、取得した前記可用性モデルモジュールを合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する工程と、を備え、
前記可用性モデルモジュールの少なくとも一部を取得する工程では、前記選択肢の中から選ばれる選択結果と、選択結果に対応するモデルモジュールの対応関係を格納する対応関係格納部を参照し、選択結果に対応するモデルモジュールを、前記モデルモジュール格納部から取得する、可用性モデル生成支援方法。 - コンピュータを、
情報処理システムを運用するための操作と、前記操作の操作対象の状態遷移とを情報モデルで表現した可用性モデルモジュールと、前記可用性モデルモジュール同士の接続関係の規則と、を格納するモデルモジュール格納部と、
前記可用性モデルモジュールの少なくとも一部を、上記接続関係の規則に基づいて合成し、前記情報処理システムの可用性を推定するための可用性モデルを生成する可用性モデル合成部と、
前記可用性モデルの特徴に関する選択肢をユーザに提示する可用性モデル特徴選択部と、
前記選択肢の中から選ばれる選択結果と、前記選択結果に対応するモデルモジュールの対応関係を格納する対応関係格納部と、して機能させるプログラム。
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
JP2011047423 | 2011-03-04 | ||
JP2011047423 | 2011-03-04 | ||
PCT/JP2012/054149 WO2012121005A1 (ja) | 2011-03-04 | 2012-02-21 | 可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム |
Publications (2)
Publication Number | Publication Date |
---|---|
JPWO2012121005A1 JPWO2012121005A1 (ja) | 2014-07-17 |
JP6016128B2 true JP6016128B2 (ja) | 2016-10-26 |
Family
ID=46797974
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
JP2013503444A Active JP6016128B2 (ja) | 2011-03-04 | 2012-02-21 | 可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム |
Country Status (3)
Country | Link |
---|---|
US (1) | US20130338799A1 (ja) |
JP (1) | JP6016128B2 (ja) |
WO (1) | WO2012121005A1 (ja) |
Families Citing this family (4)
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 |
WO2012056611A1 (ja) * | 2010-10-29 | 2012-05-03 | 日本電気株式会社 | 可用性モデル生成装置 |
JPWO2014061199A1 (ja) * | 2012-10-17 | 2016-09-05 | 日本電気株式会社 | システム設計方法、システム設計装置及びシステム設計プログラム |
CN108255625B (zh) * | 2018-01-16 | 2021-02-26 | 华南理工大学 | 基于构建高可用模型的复杂系统的评价方法 |
Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05313557A (ja) * | 1992-05-14 | 1993-11-26 | Toshiba Corp | プラントモデル自動生成装置 |
JPH08115207A (ja) * | 1994-10-14 | 1996-05-07 | Hitachi Ltd | プログラム合成方法 |
Family Cites Families (7)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
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 |
-
2012
- 2012-02-21 WO PCT/JP2012/054149 patent/WO2012121005A1/ja active Application Filing
- 2012-02-21 JP JP2013503444A patent/JP6016128B2/ja active Active
- 2012-02-21 US US14/001,453 patent/US20130338799A1/en not_active Abandoned
Patent Citations (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
JPH05313557A (ja) * | 1992-05-14 | 1993-11-26 | Toshiba Corp | プラントモデル自動生成装置 |
JPH08115207A (ja) * | 1994-10-14 | 1996-05-07 | Hitachi Ltd | プログラム合成方法 |
Non-Patent Citations (1)
Title |
---|
JPN6016009010; 得能貢一、外1名: 'ソフトウェア可用性評価のためのアベイラビリティモデル' オペレーションズ・リサーチ : 経営の科学 第44巻,第8号, 19990801, 第405〜409頁 * |
Also Published As
Publication number | Publication date |
---|---|
JPWO2012121005A1 (ja) | 2014-07-17 |
US20130338799A1 (en) | 2013-12-19 |
WO2012121005A1 (ja) | 2012-09-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP6016128B2 (ja) | 可用性モデル生成支援装置、可用性モデル生成支援方法、およびプログラム | |
Pascual et al. | Run-time adaptation of mobile applications using genetic algorithms | |
US11573848B2 (en) | Identification and/or prediction of failures in a microservice architecture for enabling automatically-repairing solutions | |
CN109196466B (zh) | 用于评估升级活动的方法和系统 | |
Goel et al. | SLA monitor: A system for dynamic monitoring of adaptive web services | |
WO2018143019A1 (ja) | 情報処理装置、情報処理方法およびプログラム記録媒体 | |
WO2014181495A1 (ja) | 仮想マシン配置決定装置、仮想マシン配置決定方法および仮想マシン配置決定プログラム | |
JP5910499B2 (ja) | 拡張性評価装置、拡張性評価方法および拡張性評価プログラム | |
Wang et al. | A hierarchical reliability model of service-based software system | |
JP2007257184A (ja) | 障害原因推定システム、方法、及び、プログラム | |
Koutny et al. | Structured occurrence nets: A formalism for aiding system failure prevention and analysis techniques | |
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 | |
JP5304972B1 (ja) | 情報処理装置、情報処理方法、及びプログラム | |
WO2012056611A1 (ja) | 可用性モデル生成装置 | |
US20110282820A1 (en) | Dynamic backjumping in constraint satisfaction problem solving | |
WO2015174068A1 (ja) | 情報処理装置、処理方法およびプログラムを記録した記録媒体 | |
Alshaer et al. | Graph neural networks based meta-scheduling in adaptive time-triggered systems | |
JPWO2015072078A1 (ja) | サービス再開手順生成装置、サービス再開手順生成方法およびサービス再開手順生成プログラム | |
US11876681B2 (en) | Topology recommendation platform for application architecture | |
Mouline et al. | Enabling temporal-aware contexts for adaptative distributed systems | |
JP6466800B2 (ja) | ネットワーク評価システム、サービス故障率算出方法、及びプログラム | |
Ferry et al. | Multi-layered Adaptation for the Failure Prevention and Recovery in Cloud Service Brokerage Platforms | |
JP2024005179A (ja) | インフラ要件テンプレート管理装置、インフラ要件テンプレート管理システム及びインフラ要件テンプレート管理方法 | |
JP5458947B2 (ja) | 情報処理装置、情報処理方法およびプログラム |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
A621 | Written request for application examination |
Free format text: JAPANESE INTERMEDIATE CODE: A621 Effective date: 20150108 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20160307 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20160408 |
|
A131 | Notification of reasons for refusal |
Free format text: JAPANESE INTERMEDIATE CODE: A131 Effective date: 20160606 |
|
A521 | Request for written amendment filed |
Free format text: JAPANESE INTERMEDIATE CODE: A523 Effective date: 20160729 |
|
TRDD | Decision of grant or rejection written | ||
A01 | Written decision to grant a patent or to grant a registration (utility model) |
Free format text: JAPANESE INTERMEDIATE CODE: A01 Effective date: 20160902 |
|
A61 | First payment of annual fees (during grant procedure) |
Free format text: JAPANESE INTERMEDIATE CODE: A61 Effective date: 20160915 |
|
R150 | Certificate of patent or registration of utility model |
Ref document number: 6016128 Country of ref document: JP Free format text: JAPANESE INTERMEDIATE CODE: R150 |