A Study on Reliability Assessment for Embedded OS

• Project/Area Number: 23500047
• Research Category: Grant-in-Aid for Scientific Research (C)
• Allocation Type: Multi-year Fund
• Section: 一般
• Research Field: Software
• Research Institution: Hiroshima University
• Principal Investigator: OKAMURA Hiroyuki 広島大学, 工学(系)研究科(研究院), 准教授 (10311812)
• Project Period (FY): 2011 – 2013
• Project Status: Completed (Fiscal Year 2013)
• Budget Amount: ¥5,200,000 (Direct Cost: ¥4,000,000、Indirect Cost: ¥1,200,000); Fiscal Year 2013: ¥1,560,000 (Direct Cost: ¥1,200,000、Indirect Cost: ¥360,000); Fiscal Year 2012: ¥1,300,000 (Direct Cost: ¥1,000,000、Indirect Cost: ¥300,000); Fiscal Year 2011: ¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
• Keywords: 組み込みソフトウェア / ソフトウェア信頼性 / オープンソース / ソフトウェアメトリクス / 組み込み OS / 組み込みOS

Research Abstract

The project considered mathematical and statistical approaches for reliability assessment of embedded OS. The reliability assessment of embedded OS, such as Android OS, has been unestablished. However, it is quite important to perform the reliability assessment before porting embedded OS to application, especially in the case of utilizing open source projects. This project developed the methods and a tool to estimate quantitative software reliability from the metrics data getting from bug tracking system and their program codes.

Research Products

• [Journal Article] A novel framework of software reliability evaluation with software reliability growth models and software metrics (2014)
  • Author(s): H. Okamura and T. Dohi
  • Journal Title: Proceedings of The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014) Pages: 97-104
  • DOI: 10.1109/hase.2014.22
  • Peer Reviewed
• [Journal Article] SRATS: Software reliability assessment tool on spreadsheet (Experience report) (2013)
  • Author(s): H. Okamura and T. Dohi
  • Journal Title: Proceedings of The 24th International Symposium on Software Reliability Engineering (ISSRE 2013) Volume: なし Pages: 100-117
  • DOI: 10.1109/issre.2013.6698909
  • Peer Reviewed
• [Journal Article] Application of deterministic annealing EM algorithm to MAP/PH parameter estimation (2013)
  • Author(s): H. Okamura, H. Kishikawa and T. Dohi
  • Journal Title: Telecommunication Systems Journal Volume: vol.54(1) Issue: 1 Pages: 79-90
  • DOI: 10.1007/s11235-013-9717-y
  • Peer Reviewed
• [Journal Article] Improvement of expectation-maximization algorithm for phase-type distributions with grouped and truncated data (2013)
  • Author(s): H. Okamura, T. Dohi and K. S. Trivedi
  • Journal Title: Applied Stochastic Models in Business and Industry Volume: vol.29 Issue: 2 Pages: 141-156
  • DOI: 10.1002/asmb.1919
  • Peer Reviewed
• [Journal Article] Quantitative security evaluation for software system from vulnerability database (2013)
  • Author(s): H. Okamura, M. Tokuzane and T. Dohi
  • Journal Title: Journal of Software Engineering and Applications Volume: vol.6(4A) Issue: 04 Pages: 15-23
  • DOI: 10.4236/jsea.2013.64a003
  • Peer Reviewed
• [Journal Article] Software reliability growth models with normal failure time distributions (2013)
  • Author(s): H. Okamura, T. Dohi and S. Osaki
  • Journal Title: Reliability Engineering and System Safety Volume: vol.116 Pages: 135-141
  • DOI: 10.1016/j.ress.2012.02.002
  • Peer Reviewed
• [Journal Article] Enhancing performance of random testing through Markov chain Monte Carlo methods (2013)
  • Author(s): B. Zhou, H. Okamura and T. Dohi
  • Journal Title: IEEE Transactions on Computers Volume: vol.62(1) Issue: 1 Pages: 186-192
  • DOI: 10.1109/tc.2011.208
  • Peer Reviewed
• [Journal Article] Security evaluation for software system with vulnerability life cycle and user profiles (2012)
  • Author(s): H. Okamura, M. Tokuzane and T. Dohi
  • Journal Title: Proceedings of 2012 Workshop on Dependable Transportation/Recent Advances in Software Dependability (WDTS-RASD 2012) Pages: 39-44
  • DOI: 10.1109/wdts-rasd.2012.17
  • Peer Reviewed
• [Journal Article] Application of hierarchical Bayesian modeling to discrete-time software reliability growth model (2012)
  • Author(s): H. Okamura and T. Dohi
  • Journal Title: Proceedings of 2012 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2012) Pages: 382-389
  • Peer Reviewed
• [Journal Article] Component importance analysis of virtualized system (2012)
  • Author(s): J. Zheng, H. Okamura and T. Dohi
  • Journal Title: Proceedings of The 9th IEEE International Conference on Autonomic and Trusted Computing (ATC 2012) Pages: 462-469
  • DOI: 10.1109/uic-atc.2012.128
  • Peer Reviewed
• [Journal Article] Application of Markov Chain Monte Carlo Random Testing to Test Case Prioritization in Regression Testing (2012)
  • Author(s): B. Zhou, H. Okamura and T. Dohi
  • Journal Title: IEICE Transactions on Information and Systems Volume: E95.D Issue: 9 Pages: 2219-2226
  • DOI: 10.1587/transinf.E95.D.2219
  • NAID: 10031142837
  • ISSN: 0916-8532, 1745-1361
  • Peer Reviewed
• [Journal Article] Application of hierarchical Bayesian modeling to discrete-time software reliability growth model (2012)
  • Author(s): H. Okamura and T. Dohi
  • Journal Title: Proceedings of 2012 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling Volume: なし Pages: 382-389
  • Peer Reviewed
• [Journal Article] Unification of software reliability models using Markovian arrival processes (2011)
  • Author(s): H. Okamura and T. Dohi
  • Journal Title: Proceedings of 17th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC-2011) Pages: 20-27
  • DOI: 10.1109/prdc.2011.12
  • NAID: 110007483139
  • Peer Reviewed
• [Journal Article] On the effect of the order of test cases in the modified exponential software reliability growth model (2011)
  • Author(s): K.Okumura, H.Okamura, T.Dohi
  • Journal Title: Proceedings of 2011 Second International Conference on Networking and Computing (ICNC-2011) Pages: 294-296
  • DOI: 10.1109/icnc.2011.55
  • Peer Reviewed
• [Journal Article] Quantifying the effectiveness of testing efforts on software fault detection with a logit software reliability growth model (2011)
  • Author(s): H.Okamura, Y.Etani, T.Dohi
  • Journal Title: Proceedings of 2011 Joint Conference of the 21st International Workshop on Software Measurement (IWSM-2011) and the 6th International Conference on Software Process and Product Measurement (MENSURA-2011) Pages: 62-68
  • DOI: 10.1109/iwsm-mensura.2011.26
  • Peer Reviewed
• [Journal Article] Software reliability growth model with normal distribution and its parameter estimation (2011)
  • Author(s): H.Okamura, T.Dohi, S.Osaki
  • Journal Title: Proceedings of the International Conference on Quality, Reliability, Maintenance and Safety Engineering (ICQR2MSE 2011) Pages: 424-429
  • DOI: 10.1109/icqr2mse.2011.5976642
  • Peer Reviewed
• [Journal Article] ソフトウェア信頼性評価尺度の推定精度向上に関するリサンプリング手法の提案 (2011)
  • Author(s): 岡村寛之, 土肥正
  • Journal Title: ソフトウェアシンポジウム '11 論文集 Pages: 10-10
  • Peer Reviewed
• [Journal Article] Software safety assessment based on a subordinated Markov chain (2011)
  • Author(s): H. Okamura and T. Dohi
  • Journal Title: International Journal of Systems Assurance Engineering and Management Volume: vol.1 Pages: 307-315
  • Peer Reviewed
• [Presentation] A novel framework of software reliability evaluation with software reliability growth models and software metrics (2014)
  • Author(s): H. Okamura and T. Dohi
  • Organizer: The 15th IEEE International Symposium on High Assurance Systems Engineering (HASE 2014)
  • Place of Presentation: Miami Beach, FL, USA
• [Presentation] SRATS : Software reliability assessment tool on spreadsheet (Experience report) (2013)
  • Author(s): H. Okamura and T. Dohi
  • Organizer: The 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
  • Place of Presentation: Pasadena, CA, USA
• [Presentation] SRATS: Software reliability assessment tool on spreadsheet (Experience report) (2013)
  • Author(s): H. Okamura and T. Dohi
  • Organizer: The 24th International Symposium on Software Reliability Engineering (ISSRE 2013)
  • Place of Presentation: Pasadena, CA, USA
• [Presentation] Semi-parametric approach for software reliability evaluation using mixed gamma distributions (2011)
  • Author(s): H. Okamura, T. Hirata and T. Dohi
  • Organizer: The 7th International Conference on Mathematical Methods in Reliability, -Theory, Methods and Applications - (MMR-2010)
  • Place of Presentation: Beijing, China
• [Presentation] Semi-parametric approach for software reliability evaluation using mixed gamma distributions (2011)
  • Author(s): H. Okamura, T. Hirata and T. Dohi
  • Organizer: 7th International Conference on Mathematical Methods in Reliability, --Theory, Methods and Applications - (MMR-2010)
  • Place of Presentation: Beijing, China