By Topic

An Improved Path-Based Reliability Prediction Model for Component-Based Embedded Software

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Changde Li ; Sch. of Comput. Sci. & Eng., Northwestern Polytech. Univ., Xi'an, China ; Xingshe Zhou ; Yuying Wang ; Yunwei Dong

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.

Published in:

2009 Fourth International Conference on Frontier of Computer Science and Technology

Date of Conference:

17-19 Dec. 2009