Paper Info
Title
Process Modelling to Support Dependability Arguments
Abstract
This paper reports work to support dependability arguments about the future reliability of a product before there is direct empirical evidence. We develop a method for estimating the number of residual faults at the time of release from a "barrier model" of the development process, where in each phase faults are created or detected. These estimates can be used in a conservative theory in which a reliability bound can be obtained or can be used to support arguments of fault freeness.We present the work done to demonstrate that the model can be applied in practice. A company that develops safety-critical systems provided access to two projects as well as data over a wide range of past projects. The software development process as enacted was determined and we developed a number of probabilistic process models calibrated with generic data from the literature and from the company projects. The predictive power of the various models was compared.
Year
DOI
Venue
2002
10.1109/DSN.2002.1028892
DSN
Keywords
Field
DocType
probability,product development,reliability theory,software engineering,software reliability,barrier model,dependability arguments,fault freeness,future reliability,probabilistic process models,process modelling,reliability bound,residual faults,safety-critical systems,software development process
Dependability,Life-critical system,Computer science,Process modeling,Real-time computing,Software development process,Probabilistic logic,Reliability engineering,New product development,Reliability theory,Project management
Conference
ISBN
Citations 
PageRank 
0-7695-1597-5
5
0.64
References 
Authors
7
2
Name
Order
Citations
PageRank
Robin E. Bloomfield122744.91
Sofia Guerra2354.57