MRSPN/MRGP解析の自動化に向けたスケーラブルアルゴリズムの開発

• 研究課題/領域番号: 26330028
• 研究種目: 基盤研究(C)
• 配分区分: 基金
• 応募区分: 一般
• 研究分野: 数理情報学
• 研究機関: 広島大学
• 研究代表者: 岡村 寛之 広島大学, 工学研究院, 准教授 (10311812)
• 研究期間 (年度): 2014-04-01 – 2017-03-31
• 研究課題ステータス: 完了 (2016年度)
• 配分額: 4,420千円 (直接経費: 3,400千円、間接経費: 1,020千円); 2016年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円); 2015年度: 1,300千円 (直接経費: 1,000千円、間接経費: 300千円); 2014年度: 1,560千円 (直接経費: 1,200千円、間接経費: 360千円)
• キーワード: システム工学 / 性能評価 / 確率モデル / ペトリネット / モデル検査

研究成果の概要

本研究課題では MRSPN (Markov Regenerative Stochastic Petri Net) ならびに MRGP (Markov Regenerative Process) に対する解析アルゴリズムの開発を行った．特に，大規模 MRSPN に対する解析手法，および，システムの性能評価で必須となるシステムの過渡状態を評価するための過渡解析手法の開発を行った．さらに，それらを実装したツールの作成を行った．

研究成果

• [雑誌論文] マルコフ再生確率ペトリネットによる信頼性評価事例 (2016)
  • 著者名/発表者名: 岡村寛之, 土肥正
  • 雑誌名: 日本信頼性学会誌 巻: 38 ページ: 340-349
  • NAID: 130007686557
  • 査読あり
• [雑誌論文] Phase-type software reliability model: Parameter estimation algorithms with grouped data (2016)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: Annals of Operations Research 巻: 244 号: 1 ページ: 177-208
  • DOI: 10.1007/s10479-015-1870-0
  • 査読あり
• [雑誌論文] A phase expansion approach for transient analysis of software rejuvenation model (2016)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: Proceedings of the 8th International Workshop on Software Aging and Rejuvenation (WoSAR 2016) 巻: - ページ: 98-103
  • DOI: 10.1109/issrew.2016.53
  • 査読あり
• [雑誌論文] Performance evaluation of VM-Based intrusion tolerant systems with Poisson arrivals (2016)
  • 著者名/発表者名: J. Zheng, H. Okamura and T. Dohi
  • 雑誌名: Proceedings of the 4th International Symposium on Computing and Networking (CANDAR 2016) 巻: - ページ: 181-187
  • DOI: 10.1109/candar.2016.0041
  • 査読あり
• [雑誌論文] Performance comparison of algorithms for computing parametric sensitivity functions in continuous-time Markov chains (2016)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: Proceedings of the 7th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2016) 巻: - ページ: 415-422
  • 査読あり
• [雑誌論文] PH FITTING ALGORITHM AND ITS APPLICATION TO RELIABILITY ENGINEERING (2016)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 雑誌名: 日本オペレーションズ・リサーチ学会論文誌 巻: 59 号: 1 ページ: 72-109
  • DOI: 10.15807/jorsj.59.72
  • NAID: 130005124577
  • ISSN: 0453-4514, 2188-8299
  • 査読あり / オープンアクセス
• [雑誌論文] Quantifying Resiliency of Virtualized System with Software Rejuvenation (2015)
  • 著者名/発表者名: H. Okamura, J. Guan, C. Luo and T. Dohi
  • 雑誌名: IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences 巻: E98.A 号: 10 ページ: 2051-2059
  • DOI: 10.1587/transfun.E98.A.2051
  • NAID: 130005100660
  • ISSN: 0916-8508, 1745-1337
  • 査読あり
• [雑誌論文] Network survivability modeling and analysis for power-aware MANETs by Markov regenerative processes (2015)
  • 著者名/発表者名: H. Okamura, Z. Yi and T. Dohi
  • 雑誌名: Telecommunication Systems Journal 巻: 60 号: 4 ページ: 471-484
  • DOI: 10.1007/s11235-015-9989-5
  • 査読あり
• [雑誌論文] Variational Bayes for phase-type distribution (2014)
  • 著者名/発表者名: H. Okamura, R. Watanabe and T. Dohi
  • 雑誌名: Communications in Statistics-Simulation and Computation 巻: vol. 43, no. 8 号: 8 ページ: 2031-2044
  • DOI: 10.1080/03610918.2013.848895
  • 査読あり
• [雑誌論文] Transient analysis of software rejuvenation policies in virtualized system: phase-type expansion approach (2014)
  • 著者名/発表者名: H. Okamura, K. Yamamoto and T. Dohi
  • 雑誌名: Quality Technology and Quantitative Management Journal 巻: 11 ページ: 335-352
  • 査読あり
• [学会発表] mapfit: An R-based tool for PH/MAP parameter estimation (2015)
  • 著者名/発表者名: H. Okamura and T. Dohi
  • 学会等名: The 14th International Conference on Quantitative Evaluation of Systems (QEST2015)
  • 発表場所: Madrid, Spain
  • 年月日: 2015-09-01
  • 国際学会
• [学会発表] Quantifying resiliency of virtualized system with software rejuvenation (2014)
  • 著者名/発表者名: H. Okamura, J. Guan, C. Luo and T. Dohi
  • 学会等名: The 2014 International Conference on Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE 2014)
  • 発表場所: Dalian, China
  • 年月日: 2014-07-23 – 2014-07-25
• [備考] JSPetriNet
  • URL: https://github.com/rellab/JSPetriNet