情報通信システム高信頼化のための評価技術に関する研究

2002 Fiscal Year Annual Research Report

• Project/Area Number: 13480109
• Research Institution: Hokkaido University
• Principal Investigator: 木村 俊一 北海道大学, 大学院・経済学研究科, 教授 (50143649)
• Co-Investigator(Kenkyū-buntansha): 岡村 寛之 広島大学, 大学院工学研究科, 助手 (10311812) ; 土肥 正 広島大学, 大学院工学研究科, 教授 (00243600) ; 尾崎 俊治 南山大学, 数理情報学部, 教授 (10034399) ; 高橋 敬隆 早稲田大学, 商学部, 助教授 (20329064) ; 海生 直人 広島修道大学, 経済科学部, 教授 (80148741)
• Keywords: 情報通信システム / 信頼性 / 評価技術 / 確率モデル / ソフトウェアシステム / 予防保全

Research Abstract

性能評価と信頼性を融合した新たな性能・信頼性評価技術(PRET : Performance/Reliability Evaluation Technology)の開発に向けて、平成14年度は以下の研究成果を得た。
・2002年7月にスペイン・マドリッドで開催された待ち行列理論に関する国際会議MCQT'02において、木村は、マルコフ過程をベースとする一般化拡散モデルに関する論文"Diffusion approximations for queues with Markovian bases"を発表した。
・2002年9月にフランス・シャモニーで開催された確率モデルに関する欧日国際ワークショップにおいて、尾崎、海生、土肥、岡村は、ソフトウェア・レジュビネーション方策、待ち行列モデルなどの計4件の研究発表を行った。また、木村と河西も同ワークショップにおいて各1件の研究発表を行なった。
・2002年10月に大阪で開催されたシンポジウムSRDS02において、土肥・海生は、論文"Availability models with age dependent-checkpointing"を発表した。
・2002年11月に中国・北京で開催されたIEEE Computer Society国際ワークショップIWADS2002において、土肥、岡村、海生は、論文"Optimal age-dependent checkpoint strategy with retry of rollback recovery"を発表した。
・2002年11月に米国・アナポリスで開催されたソフトウェア信頼性工学に関する国際シンポジウムISSRE'02において、岡村と土肥は論文"Dependability analysis of a client/server software systems with rejuvenation"を発表した。

Research Products

• [Publications] T.Kimura: "Diffusion approximations for queues with Markovian bases"Annals of Operations Research. 113. 27-40 (2002)
• [Publications] H.Suzuki, T, Dohi, H.Okamura: "Cost-effective analysis of software systems with periodic Rejuvenation"IEICE Transactions on Fundamentals. E85-A・12. 2923-2932 (2002)
• [Publications] 岡村寛之, 渡部保博, 土肥 正, 尾崎俊治: "EMアルゴリズムに基づいたソフトウェア信頼度成長モデル"電子情報通信学会論文誌(A). J85-A・4. 442-450 (2002)
• [Publications] 岡村寛之, 黒木伸吾, 土肥 正, 尾崎俊治: "モジュール構造をもつソフトウェアの信頼性モデルの推定"電子情報通信学会論文誌(D-I). J85-D-I・9. 905-914 (2002)
• [Publications] 伊藤将貴, 岡村寛之, 土肥 正: "従属マルコフ連鎖モデルに基づいたソフトウェア安全性の評価"電子情報通信学会論文誌(A). J85-A・12. 1419-1427 (2002)