Littlewood, B. & Povyakalo, A. A. (2013). Conservative bounds for the pfd of a 1outof2 softwarebased system based on an assessor’s subjective probability of “not worse than independence”. IEEE Transactions on Software Engineering, 39(12), pp. 16411653. doi: 10.1109/TSE.2013.31
This is the latest version of this item.

PDF
 Accepted Version
Download (6MB)  Preview 
Abstract
We consider the problem of assessing the reliability of a 1outof2 softwarebased system, in which failures of the two channels cannot be assumed to be independent with certainty. An informal approach to this problem assesses the channel pfds (probabilities of failure on demand) conservatively and then multiplies these together in the hope that the conservatism will be sufficient to overcome any possible dependence between the channel failures. Our intention here is to place this kind of reasoning on a formal footing. We introduce a notion of “not worse than independence” and assume that an assessor has a prior belief about this, expressed as a probability. We obtain a conservative prior system pfd, and show how a conservative posterior system pfd can be obtained following the observation of a number of demands without system failure. We present some illustrative numerical examples, discuss some of the difficulties involved in this way of reasoning, and suggest some avenues of future research.
Item Type:  Article 

Additional Information:  © 2013 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other users, including reprinting/ republishing this material for advertising or promotional purposes, creating new collective works for resale or redistribution to servers or lists, or reuse of any copyrighted components of this work in other works. 
Uncontrolled Keywords:  System reliability; Software fault tolerance; 1outof2 system; Dependent failures; Subjective probability 
Subjects:  Q Science > QA Mathematics > QA76 Computer software 
Divisions:  School of Informatics > Centre for Software Reliability 
URI:  http://openaccess.city.ac.uk/id/eprint/2514 
Available Versions of this Item

Conservative bounds for the pfd of a 1outof2 softwarebased system based on an assessor’s subjective probability of "not worse than independence". (deposited 25 Sep 2012 14:26)
 Conservative bounds for the pfd of a 1outof2 softwarebased system based on an assessor’s subjective probability of “not worse than independence”. (deposited 29 Jul 2013 14:30) [Currently Displayed]
Actions (login required)
View Item 
Downloads
Downloads per month over past year