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

conclusion to CH4

Browse Source
This commit is contained in:
Robin Clark 2012-09-09 10:23:21 +01:00
parent e11db64009
commit f9d7a41ce8
1 changed files with 22 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
submission_thesis/CH4_FMMD/copy.tex
View File

@ -2145,19 +2145,35 @@ The abstraction level concept is formally defined in section~\ref{sec:abstractio
\section{Conclusion}
Tie into wish list at end of chapter 3. Solves state explosion, completeness, traceability, models for related such as FMECA
%Tie into wish list at end of chapter 3. Solves state explosion, completeness, traceability, models for related such as FMECA
\paragraph{Failure model Completeness.}
It is undesirable to miss any component {\fm} in the analysis process; were this to
happen our failure model would be incomplete.
%
Given the starting conditions of base component {\fms} from the literature,
we can ensure that all these {\fms} are traceable to subsequent {\dc} {\fms}
in the model.
%
With the above condition true, we term this a `complete' FMMD failure model.
\paragraph{State explosion problem of FMEA solved by FMMD}.
\paragraph{State explosion problem of FMEA solved by FMMD.}
%
Because FMMD considers failure modes within functional groups
the traditional state explosion problem in FMEA, where each failure
mode could be considered in the context of all other components in the system
disappears.
%
This is dealt with formally in section~\ref{sec:cc}.
\paragraph{Uses of the FMMD failure mode model.}
%
Having a failure mode graph/model where base component failure modes are traceable to top event events,
Having a failure mode graph/model, where base component failure modes are traceable to top event events,
provides a forward search derived failure mode model.
%
A forward search means that we can ensure that
all known component failure
modes have been considered in the analysis.
%A forward search means that we can apply checks to ensure that
%all known component failure
%modes have been considered in the analysis (i.e. completeness as described above).
%
We can use this model to derive information
to assist in creating related models such as FTA~\cite{nucfta,nasafta},