From 75f2cdc2beeae5068af75b1f12d0c19b1d2f1e25 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Thu, 28 Mar 2013 13:04:26 +0000 Subject: [PATCH] forgot to commit`:wq --- mybib.bib | 15 +++++++++++++++ submission_thesis/CH3_FMEA_criticism/copy.tex | 7 +++++-- 2 files changed, 20 insertions(+), 2 deletions(-) diff --git a/mybib.bib b/mybib.bib index d19b719..2691f77 100644 --- a/mybib.bib +++ b/mybib.bib @@ -25,6 +25,21 @@ author={Bishop, Peter and Cyra, Lukasz}, pages={237-250} } + +Bishop P, Cyra L, +Overcoming Non-determinism in Testing Smart Devices: , +ESREL 2012, ref: 2-Fr3-2, 25-29 June, 2012, Helsinki +@incollection{bishopsmartinstruments2, +year={2012}, +title={Computer Safety, Reliability, and Security}, +volume={6351}, +series={ESREL 2012 Helsinki}, +title={Overcoming Non-determinism in Testing Smart Devices: How to Build Models of Device Behaviour}, +keywords={testing; non-determinism; smart instruments; safety}, +author={Bishop, Peter and Cyra, Lukasz}, +pages={237-250} +} + @incollection{swassessment, year={2010}, isbn={978-1-84996-085-4}, diff --git a/submission_thesis/CH3_FMEA_criticism/copy.tex b/submission_thesis/CH3_FMEA_criticism/copy.tex index 93f5b0b..630f1cc 100644 --- a/submission_thesis/CH3_FMEA_criticism/copy.tex +++ b/submission_thesis/CH3_FMEA_criticism/copy.tex @@ -74,7 +74,10 @@ determine which FMEA test scenarios must be re-worked. Traditional FMEA deals only with electrical and mechanical components, i.e. it does not have provision for software. 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]. Similar difficulties in integrating mechanical and electronic/software +is a cause for criticism~\cite{safeware}[Ch.12]. +%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 failure models are discussed in ~\cite{SMR:SMR580,swassessment}. @@ -108,7 +111,7 @@ analogue electronics only~\cite{smart_instruments_1514209}. % It is termed `smart' because it has some software, or intelligence incorporated into it. % -An AVO-8 multi-meter circa 1970, uses only analogue electronics, and we can determine +For instance, an AVO-8 multi-meter circa 1970, uses only analogue electronics, and we can determine using FMEA how component failures within it could affect readings. % A modern multi-meter will have a small dedicated micro-processor and sensing electronics, all on the same chip,