dded peter bishop s/w rel papaer

really want the SIL one

mybib.bib

@@ -487,6 +487,18 @@ ISSN={2166-563X},}
   YEAR =         "1980"
 }
 
+@ARTICLE{5492693,
+author={Bishop, P. and Bloomfield, R. and Littlewood, Bev and Povyakalo, A. and Wright, D.},
+journal={Software Engineering, IEEE Transactions on},
+title={Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems},
+year={2011},
+volume={37},
+number={5},
+pages={708-717},
+keywords={probability;software fault tolerance;uncertainty handling;conservative claims;formal support;probability of failure on demand;software-based system dependability;software-based system reliability;software-based system safety;Battery powered vehicles;Phase frequency detector;Power engineering and energy;Power engineering computing;Programming;Reliability engineering;Software reliability;Software safety;Software systems;Uncertainty;Bayesian probability;safety case;software reliability.},
+doi={10.1109/TSE.2010.67},
+ISSN={0098-5589},}
+
 % $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $
 @article{Clark200519,
 	title = "Failure Mode Modular De-Composition Using Spider Diagrams",

submission_thesis/CH3_FMEA_criticism/copy.tex

@@ -173,6 +173,9 @@ Traditional FMEA deals only with electrical and mechanical components, i.e. it d
 Modern control systems nearly always have a significant software/firmware element,
 and not being able to model software with current FMEA methodologies 
 is a cause for criticism~\cite{safeware}[Ch.12]. 
+%
+Some techniques apply conservative estimates of a given software implementation
+and use those to estimate reliability statistics~\cite{5492693}.
 %Even the traditionally conservative nuclear industry is now
 %facing up to the ubiquity of software in control systems~\cite{parnas1991assessment}.
 Similar difficulties in integrating mechanical and electronic/software