Design-Time Reliability Prediction for Software Systems
Franz Brosch, Barbora Zimmerová · 2009
Reliability is one of the most critical extra-functional properties of a software system, which needs to be evalu-ated early in the development process when formal methods and tools can be applied. Though many approaches for re-liability prediction exist, not much work has been done in combining different types of failures and system views that influence the reliability. This paper presents an integrated approach to reliability prediction, reflecting failures trig-gered by both software faults and physical-resource break-downs, and incorporating detailed information about sys-tem control flow governed by user inputs. 1. Introduction and Related