moved things around and sympex more rational file structure
This commit is contained in:
parent
cbddb185c8
commit
c315a69229
@ -215,6 +215,7 @@ We can apply symptom abstraction to a {\fg} to find
|
||||
a set of derived failure modes. We are interested in the failure modes
|
||||
of all the components in the {\fg}. An analysis process
|
||||
defined by the symbol `$\bowtie$' is applied to the {\fg}.
|
||||
The $\bowtie$ analysis, or symptom extraction process, is described in chapter \ref{chap:sympex}.
|
||||
Using $\alpha$ to symbolise the fault abstraction level, we can state:
|
||||
|
||||
$$ \bowtie(FG^{\alpha}) \rightarrow C^{{\alpha}+1} $$
|
||||
|
@ -1,3 +1,7 @@
|
||||
%%
|
||||
%%
|
||||
%% OBSOLETE DO NOT EDIT
|
||||
%%
|
||||
|
||||
|
||||
%\section{A Formal Algorithmic Description of `Symptom Abstraction'}
|
||||
|
@ -1,3 +1,7 @@
|
||||
%%
|
||||
%%
|
||||
%% OBSOLETE DO NOT EDIT
|
||||
%%
|
||||
\nocite{safeware}
|
||||
\section{Overview of Symptom Extraction Process}
|
||||
|
||||
|
File diff suppressed because it is too large
Load Diff
@ -1,4 +1,7 @@
|
||||
|
||||
%%
|
||||
%%
|
||||
%% OBSOLETE DO NOT EDIT
|
||||
%%
|
||||
\section{Fault Finding and Failure Mode Analysis}
|
||||
|
||||
\subsection{Static Analysis}
|
||||
|
26
thesis.tex
26
thesis.tex
@ -86,6 +86,17 @@
|
||||
\input{component_failure_modes_definition/component_failure_modes_definition}
|
||||
|
||||
|
||||
|
||||
\chapter{A Formal Description of FMMD}
|
||||
\input{fmmdset/fmmdset}
|
||||
|
||||
|
||||
|
||||
\typeout{ ---------------- FMMD DATA MODEL }
|
||||
\chapter {FMMD Data Model }
|
||||
\input{fmmd_data_model/fmmd_data_model}
|
||||
|
||||
|
||||
\typeout{ ---------------- Symptom Extraction }
|
||||
\chapter {Symptom Extraction Process }
|
||||
\input{symptom_ex_process/symptom_ex_process}
|
||||
@ -112,23 +123,12 @@
|
||||
%\input{mech_as_plds/mech_as_plds}
|
||||
|
||||
|
||||
|
||||
|
||||
\typeout{ ---------------- Symptom Extraction }
|
||||
\chapter {Symptom Extraction using PLD Diagrams }
|
||||
\input{symptom_abstraction/symptom_abstraction}
|
||||
|
||||
|
||||
|
||||
\chapter{A Formal Description of FMMD}
|
||||
\input{fmmdset/fmmdset}
|
||||
|
||||
|
||||
|
||||
\typeout{ ---------------- FMMD DATA MODEL }
|
||||
\chapter {FMMD Data Model }
|
||||
\input{fmmd_data_model/fmmd_data_model}
|
||||
|
||||
|
||||
|
||||
\chapter{Modelling Software With FMMD}
|
||||
\input{sw_model/sw_model}
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user