A Study on Reliability Assessment for Embedded OS

嵌入式操作系统可靠性评估研究

• 批准号: 23500047
• 负责人: OKAMURA Hiroyuki
• 金额: $ 3.33万
• 依托单位: Hiroshima University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2011
• 资助国家: 日本
• 起止时间: 2011 至 2013
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-23500047/
• 关键词: 組み込みソフトウェア; ソフトウェア信頼性; オープンソース; ソフトウェアメトリクス; 組み込み OS; 組み込みOS

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.

该项目考虑了嵌入式操作系统可靠性评估的数学和统计方法。 Android等嵌入式操作系统的可靠性评估尚未建立。然而，在将嵌入式操作系统移植到应用程序之前进行可靠性评估非常重要，特别是在使用开源项目的情况下。该项目开发了一种方法和工具，可以根据从错误跟踪系统及其程序代码获得的指标数据来估计定量软件的可靠性。

项目成果

Enhancing Performance of Random Testing through Markov Chain Monte Carlo Methods

• DOI: 10.1109/tc.2011.208
• 发表时间: 2010-11
• 期刊: IEEE Transactions on Computers
• 影响因子: 3.7
• 作者: Bo Zhou;H. Okamura;T. Dohi

Software reliability growth models with normal failure time distributions

• DOI: 10.1016/j.ress.2012.02.002
• 发表时间: 2013-08
• 期刊: Reliab. Eng. Syst. Saf.
• 作者: H. Okamura;T. Dohi;S. Osaki

Semi-parametric approach for software reliability evaluation using mixed gamma distributions

使用混合伽马分布进行软件可靠性评估的半参数方法

• 发表时间: 2011
• 作者: H. Okamura;T. Hirata and T. Dohi
• 通讯作者: T. Hirata and T. Dohi

Application of hierarchical Bayesian modeling to discrete-time software reliability growth model

分层贝叶斯模型在离散时间软件可靠性增长模型中的应用

• 发表时间: 2012
• 期刊: Proceedings of 2012 Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2012)
• 作者: 一ノ坪剛生;青木駿介;佐賀亮介;辻 洋;H. Okamura and T. Dohi
• 通讯作者: H. Okamura and T. Dohi

Software safety assessment based on a subordinated Markov chain

基于从属马尔可夫链的软件安全评估

• 发表时间: 2011
• 期刊: International Journal of Systems Assurance Engineering and Management
• 作者: Robin Swezey;Shun Shiramatsu;Tadachika Ozono and Toramatsu Shintani;辻 洋;H. Okamura and T. Dohi
• 通讯作者: H. Okamura and T. Dohi