robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

kanske skulle har varit arbete installet

Browse Source
This commit is contained in:
Robin P. Clark 2013-08-12 12:08:48 +01:00
parent 5e7a499920
commit d8beb772c1
4 changed files with 45 additions and 20 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

43
mybib.bib
View File

@ -25,7 +25,7 @@ volume={6351},
series={Lecture Notes in Computer Science}, series={Lecture Notes in Computer Science},
editor={Schoitsch, Erwin}, editor={Schoitsch, Erwin},
doi={10.1007/978-3-642-15651-9_18}, doi={10.1007/978-3-642-15651-9_18},
title={Overcoming Non-determinism in Testing Smart Devices: A Case Study}, title={Testing Smart Devices: A Case Study},
url={http://dx.doi.org/10.1007/978-3-642-15651-9_18}, url={http://dx.doi.org/10.1007/978-3-642-15651-9_18},
publisher={Springer Berlin Heidelberg}, publisher={Springer Berlin Heidelberg},
keywords={testing; non-determinism; smart instruments; safety}, keywords={testing; non-determinism; smart instruments; safety},
@ -393,6 +393,7 @@ URL = {http://search.ebscohost.com.ezproxy.brighton.ac.uk/login.aspx?direct=true
Year = {2005} Year = {2005}
} }
@INPROCEEDINGS{931423, @INPROCEEDINGS{931423,
author={Throop, D.R. and Malin, J.T. and Fleming, L.D.}, author={Throop, D.R. and Malin, J.T. and Fleming, L.D.},
booktitle={Aerospace Conference, 2001, IEEE Proceedings.}, booktitle={Aerospace Conference, 2001, IEEE Proceedings.},
@ -487,17 +488,14 @@ ISSN={2166-563X},}
YEAR = "1980" YEAR = "1980"
} }
@ARTICLE{5492693, @article{silsandsoftware,
author={Bishop, P. and Bloomfield, R. and Littlewood, Bev and Povyakalo, A. and Wright, D.}, author={Bishop, P.},
journal={Software Engineering, IEEE Transactions on}, journal={Safety-Critical Systems Club Newsletter, 14(2)},
title={Toward a Formalism for Conservative Claims about the Dependability of Software-Based Systems}, title={SILs and software},
year={2011}, year={2005},
volume={37}, volume={14},
number={5}, number={2},
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 $ % $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $
@article{Clark200519, @article{Clark200519,
@ -985,8 +983,27 @@ ISSN={1530-2059},}
TITLE = " The Joy of Sets: 2nd edition: ISBN 978-0-387-94094-6", TITLE = " The Joy of Sets: 2nd edition: ISBN 978-0-387-94094-6",
PUBLISHER = " Springer", PUBLISHER = " Springer",
YEAR = "1993" YEAR = "1993"
} }
@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},}
@MISC{concurrency_c_tool,
author = "D. Sheridan",
title = "Simple Concurrency Analysis Plugin for Frama-C",
howpublished = "Available from https://bitbucket.org/adelard/simple-concurrency",
year = "2013"
}
@MISC{microchip, @MISC{microchip,
author = "Microchip", author = "Microchip",

BIN
related_papers_books/SCSC_Newsletter_Software_SILs.pdf Normal file
View File

Binary file not shown.

6
submission_thesis/CH2_FMEA/copy.tex
View File

@ -1271,9 +1271,13 @@ That is that the SIF can recognise that it has a fault condition and can take ap
% %
The MTTF value for each component {\fm} is denoted using the symbol `$\lambda$'. The MTTF value for each component {\fm} is denoted using the symbol `$\lambda$'.
% %
\paragraph{SIL and Software.}
EN61508 regulation in relation to software provides procedural quality guidelines and constraints (such as forbidding certain EN61508 regulation in relation to software provides procedural quality guidelines and constraints (such as forbidding certain
programming languages and/or features): it does not provide a means to trace failure mode effects in software programming languages and/or features): it does not provide a means to trace failure mode effects in software
or across the software/hardware interface. or across the software/hardware interface.
%
While procedural guidelines and constraints can improve software reliability, ensuring that reliability targets, for software,
are actually met for given SIL levels is currently almost impossible~\cite{silsandsoftware}.
%\subsection{ FMEDA - Failure Modes Effects and Diagnostic Analysis} %\subsection{ FMEDA - Failure Modes Effects and Diagnostic Analysis}

16
submission_thesis/CH3_FMEA_criticism/copy.tex
View File

@ -174,8 +174,9 @@ Modern control systems nearly always have a significant software/firmware elemen
and not being able to model software with current FMEA methodologies and not being able to model software with current FMEA methodologies
is a cause for criticism~\cite{safeware}[Ch.12]. is a cause for criticism~\cite{safeware}[Ch.12].
% %
Some techniques apply conservative estimates of a given software implementation Some techniques apply blanket estimates for a given software implementation, based
and use those to estimate reliability statistics~\cite{5492693}. on the verification techniques applied in its testing,
to aid calculation of system level reliability statistics~\cite{5492693}.
%Even the traditionally conservative nuclear industry is now %Even the traditionally conservative nuclear industry is now
%facing up to the ubiquity of software in control systems~\cite{parnas1991assessment}. %facing up to the ubiquity of software in control systems~\cite{parnas1991assessment}.
Similar difficulties in integrating mechanical and electronic/software Similar difficulties in integrating mechanical and electronic/software
@ -198,13 +199,16 @@ and FMEA (bottom-up inductive)
to be performed on the same system to provide insight into the to be performed on the same system to provide insight into the
software hardware/interface~\cite{embedsfmea}. software hardware/interface~\cite{embedsfmea}.
% %
Although this Subtle problems in embedded software are often due to interrupt contention causing unintended
should give a better picture of the failure mode behaviour, it corruption of variables: automated tools to aid in the detection of these
is by no means a rigorous approach to tracing errors that may occur in hardware are becoming available~\cite{concurrency_c_tool}.
%
Although these
should give a better picture of the failure mode behaviour, they are by no means a rigorous approach to tracing errors that may occur in hardware
through to the top (and therefore ultimately controlling) layer of software. through to the top (and therefore ultimately controlling) layer of software.
% %
With the increasing use of micro-controllers in place of analogue electronics With the increasing use of micro-controllers in place of analogue electronics
for most new designs of electronic product, the poor integration capabilities of FMEA for most new designs of electronic product, the poor software integration capabilities of FMEA
are now being seen as deficiencies. are now being seen as deficiencies.
This is becoming apparent in a dilemma now faced This is becoming apparent in a dilemma now faced