@inproceedings{c69a5cb7b03045b5990889d6e6dea255,
title = "An improved path-based reliability prediction model for component-based embedded software",
abstract = "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.",
keywords = "Component, Component transition graph, CSP, Path-based model, Reliability prediction",
author = "Changde Li and Xingshe Zhou and Yuying Wang and Yunwei Dong",
year = "2009",
doi = "10.1109/FCST.2009.83",
language = "英语",
isbn = "9780769539324",
series = "4th International Conference on Frontier of Computer Science and Technology, FCST 2009",
pages = "301--307",
booktitle = "4th International Conference on Frontier of Computer Science and Technology, FCST 2009",
note = "4th International Conference on Frontier of Computer Science and Technology, FCST 2009 ; Conference date: 17-12-2009 Through 19-12-2009",
}