Development of Scalable Algorithms of MRSPN/MRGP Analysis for the Automation

• Project/Area Number: 26330028
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Mathematical informatics
• Research Institution: Hiroshima University
• Principal Investigator: Okamura Hiroyuki 広島大学, 工学研究院, 准教授 (10311812)
• Project Period (FY): 2014-04-01 – 2017-03-31
• Project Status: Completed (Fiscal Year 2016)
• Budget Amount: ¥4,420,000 (Direct Cost: ¥3,400,000、Indirect Cost: ¥1,020,000); Fiscal Year 2016: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2015: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2014: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000)
• Keywords: システム工学 / 性能評価 / 確率モデル / ペトリネット / モデル検査

Outline of Final Research Achievements

The project developed algorithms to analyze MRSPN (Markov Regenerative Stochastic Petri Net) and MRGP (Markov Regenerative Process). Especially, the project dealt with the transient analysis to derive quantitative system performance measures for MRSPN with a large number of states. Moreover, the tool was also developed which implements the new algorithms.

Research Products

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