diff --git a/mybib.bib b/mybib.bib index da1b75f..73ab943 100644 --- a/mybib.bib +++ b/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", diff --git a/related_papers_books/SOFTWARE_REL_ASS_05492693.pdf b/related_papers_books/SOFTWARE_REL_ASS_05492693.pdf new file mode 100644 index 0000000..8199ffa Binary files /dev/null and b/related_papers_books/SOFTWARE_REL_ASS_05492693.pdf differ diff --git a/submission_thesis/CH3_FMEA_criticism/copy.tex b/submission_thesis/CH3_FMEA_criticism/copy.tex index 72291f2..638d05a 100644 --- a/submission_thesis/CH3_FMEA_criticism/copy.tex +++ b/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