An improved path-based reliability prediction model for component-based embedded software

Changde Li, Xingshe Zhou, Yuying Wang, Yunwei Dong

科研成果: 书/报告/会议事项章节会议稿件同行评审

4 引用 (Scopus)

摘要

With the increasing use of component-based software development in embedded systems, reliability prediction for such software has become a challenge. This paper consequently contributes to this problem through an improved path-based reliability prediction model. We use Hoare's Communicating Sequential Processes (CSP) to specify the software architecture. So the execution path could be derived from CSP trace model accurately and completely. A probabilistic model named Component Transition Graph (CTG) is constructed. Based on CTG, the execution frequency of path is calculated. By analyzing the structure of loop in the architecture, we propose a solution for reliability estimation containing loops in path which is the most important contribution of our work. The reliability prediction and sensitivity analysis techniques and how the model could be used to identify the critical component interfaces and transition are illustrated with examples.

源语言英语
主期刊名4th International Conference on Frontier of Computer Science and Technology, FCST 2009
301-307
页数7
DOI
出版状态已出版 - 2009
活动4th International Conference on Frontier of Computer Science and Technology, FCST 2009 - Shanghai, 中国
期限: 17 12月 200919 12月 2009

出版系列

姓名4th International Conference on Frontier of Computer Science and Technology, FCST 2009

会议

会议4th International Conference on Frontier of Computer Science and Technology, FCST 2009
国家/地区中国
Shanghai
时期17/12/0919/12/09

指纹

探究 'An improved path-based reliability prediction model for component-based embedded software' 的科研主题。它们共同构成独一无二的指纹。

引用此