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

25APR2010

Browse Source
This commit is contained in:
Robin 2010-04-25 12:40:03 +01:00
parent 38ffad59b5
commit dcad10e83d
1 changed files with 13 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
introduction/introduction.tex
View File

@ -9,12 +9,16 @@ the design of safety critical systems.
The initial motivation for this study was to create a system
applicable to industrial burner controllers.
The methodology developed was designed to cope with
both the specific `simultaneous failures'\cite{EN298},\cite{EN230},\cite{EN12067}
and the probability to dangerous fault approach\cite{EN61508}.
both the
deterministic
and
probablistic approaches.
%specific `simultaneous failures'\cite{EN298},\cite{EN230},\cite{EN12067}
%and the probability to dangerous fault approach\cite{EN61508}.
The visual notation developed was initially designed for electronic fault modelling.
However, it was relaised that could be applied to mechanical and software domains as well.
This changed the target for the study slightly to encompass these domains in a common notation.
However, it was realised that could be applied to mechanical and software domains as well.
This changed the target for the study slightly to encompass these three domains in a common notation.
\section{Background}
@ -221,6 +225,10 @@ overdoses.
Any new safety critical analysis methodology should
be able to model software, electrical and hardware faults using
a common notation.
Ideally the tool should be automated so that it can
seamlessly analyse the entire system, and apply
rigorous checking to ensure that no
fault conditions are missed.
% http://en.wikipedia.org/wiki/Autopilot