forgot to commit`:wq

This commit is contained in:
Robin Clark 2013-03-28 13:04:26 +00:00
parent 0d478e7280
commit 75f2cdc2be
2 changed files with 20 additions and 2 deletions

View File

@ -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},

View File

@ -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,