| 講演名 | 2019-11-28 非周期チェックポインティングを伴う非マルコフ型アベイラビリティモデルの最適ソフトウェア若化方策に関する考察 鄭 俊俊(立命館大), 岡村 寛之(広島大), 土肥 正(広島大), |
|---|---|
| PDFダウンロードページ |  PDFダウンロードページへ |
| 抄録(和) | 本稿では，非周期チェックポインティングを伴う非マルコフ型アベイラビリティモデルの最適ソフトウェア若化方策について考察する．ソフトウェア若化はメモリリークやフラグメンテーションに代表されるソフトウェアエージングと呼ばれる経年劣化現象を予防的に保全するための技術である．本稿では，チェックポイント設定方式に基づいて二種類のアベイラビリティモデルについて考える．また，位相型近似により最適化問題に必要となるシステムの定常アベイラビリティを求める．そして，システムの定常アベリラビリティを最大化する最適なソフトウェア若化スケジュールを決定する． |
| 抄録(英) | In this paper, we present non-Markovian availability models for capturing the dynamics of system behavior of an operational software system that undergoes aperiodic time-based software rejuvenation and checkpointing schemes. Two availability models with rejuvenation are considered according to the procedure after the completion of rollback recovery operation. We further proceed to investigate whether there exists the optimal rejuvenation schedule that maximizes the steady-state system availability, which is derived by the means of the phase expansion technique. The numerical experiments are conducted to determine the optimal rejuvenation trigger timing maximizing the system availability for each availability model, and to compare both two models. |
| キーワード(和) | ソフトウェア若化 / チェックポインティング / 最適若化方策 / 非マルコフ過程 / 位相型近似 / 定常アベイラビリティ |
| キーワード(英) | software rejuvenation / checkpointing / optimal rejuvenation policy / non-Markovian process / phase expansion / steady-state availability |
| 資料番号 | R2019-47 |
| 発行日 | 2019-11-21 (R) |
| 研究会情報 | |
| 研究会 | R |
|---|---|
| 開催期間 | 2019/11/28(から1日開催) |
| 開催地（和） | 中央電気倶楽部 |
| 開催地（英） | Central Electric Club |
| テーマ（和） | 半導体と電子デバイスの信頼性、信頼性一般 |
| テーマ（英） | Reliability of semiconductor and electronic devices, Reliability general |
| 委員長氏名（和） | 安里 彰(富士通) |
| 委員長氏名（英） | Akira Asato(Fujitsu) |
| 副委員長氏名（和） | 土肥 正(広島大) |
| 副委員長氏名（英） | Tadashi Dohi(Hiroshima Univ.) |
| 幹事氏名（和） | 田村 信幸(法政大) / 井上 真二(関西大) |
| 幹事氏名（英） | Nobuyuki Tamura(Hosei Univ.) / Shinji Inoue(Kansai Univ.) |
| 幹事補佐氏名（和） | 岡村 寛之(広島大) / 横川 慎二(電通大) |
| 幹事補佐氏名（英） | Hiroyuki Okamura(Hiroshima Univ.) / Shinji Yokogawa(Univ. of Electro-Comm.) |
| 講演論文情報詳細 | |
| 申込み研究会 | Technical Committee on Reliability |
|---|---|
| 本文の言語 | ENG-JTITLE |
| タイトル（和） | 非周期チェックポインティングを伴う非マルコフ型アベイラビリティモデルの最適ソフトウェア若化方策に関する考察 |
| サブタイトル（和） | |
| タイトル（英） | A Note on Optimal Rejuvenation Policies for Non-Markovian Availability Models with Aperiodic Checkpointing |
| サブタイトル（和） | |
| キーワード(1)（和/英） | ソフトウェア若化 / software rejuvenation |
| キーワード(2)（和/英） | チェックポインティング / checkpointing |
| キーワード(3)（和/英） | 最適若化方策 / optimal rejuvenation policy |
| キーワード(4)（和/英） | 非マルコフ過程 / non-Markovian process |
| キーワード(5)（和/英） | 位相型近似 / phase expansion |
| キーワード(6)（和/英） | 定常アベイラビリティ / steady-state availability |
| 第 1 著者 氏名（和/英） | 鄭 俊俊 / Junjun Zheng |
| 第 1 著者 所属（和/英） | 立命館大学(略称：立命館大) Ritsumeikan University(略称：Ritsumeikan Univ.) |
| 第 2 著者 氏名（和/英） | 岡村 寛之 / Hiroyuki Okamura |
| 第 2 著者 所属（和/英） | 広島大学(略称：広島大) Hiroshima University(略称：Hiroshima Univ.) |
| 第 3 著者 氏名（和/英） | 土肥 正 / Tadashi Dohi |
| 第 3 著者 所属（和/英） | 広島大学(略称：広島大) Hiroshima University(略称：Hiroshima Univ.) |
| 発表年月日 | 2019-11-28 |
| 資料番号 | R2019-47 |
| 巻番号（vol） | vol.119 |
| 号番号（no） | R-315 |
| ページ範囲 | pp.23-28(R), |
| ページ数 | 6 |
| 発行日 | 2019-11-21 (R) |