Robin_PHD/thesis.tex

\documentclass[a4paper,10pt]{book}
\usepackage{graphicx}
\usepackage{fancyhdr}
\usepackage{tikz} 
\usetikzlibrary{shapes,snakes}
\usetikzlibrary{shapes.gates.logic.US,trees,positioning,arrows}
\usepackage{subfigure}
\usepackage{amsfonts,amsmath,amsthm}
\usepackage{algorithm}
\usepackage{algorithmic}
\usepackage{lastpage}
\usepackage{glossary}

\makeglossary

%% fix for hyperref bug in algorithm package
\newcommand{\theHalgorithm}{\thechapter.\arabic{algorithm}}
\usepackage{ifthen}
\newboolean{paper}
\setboolean{paper}{false} % boolvar=true or false
\input{style}
\usepackage{hyperref}
\begin{document}
\pagestyle{fancy}
\fancyhf{}
\cfoot{Page \thepage}

\newcommand{\chappap}{chapter}

\input{titlepage/titlepage}

\clearpage

%\rhead{{\small\bf Failure Mode Modular De-Composition}}         
%\rfoot{{\small\bf PhD Thesis : R.P. Clark } }   
 
% Contents
% --------
 
%\cfoot{Page \thepage}                   % Contents page numbers centred
 
\clearpage
%\input{colophon/colophon}
\clearpage

\tableofcontents    
\listoffigures    
\listoftables
\listofalgorithms

%
\cleardoublepage

% Main text
% ---------

%
%\middlefoot{ } \outerfoot{{Page \bf\thepage}} % Body of manual has bolded page
                                              % numbers at outer edges
\pagenumbering{arabic}                        % Arabic page numbers hereafter
\cfoot{Page \thepage\ of \pageref{LastPage}}
\lfoot{Brighton University 2011}
\rfoot{R.P.Clark \today}
\lhead{Failure Mode Modular De-Composition}
\rhead{PhD Thesis}
%\begin{document}

\typeout{>>--------------------->> introduction}
\chapter{Thesis Scope}
\input{introduction/introduction}

\chapter{Safety Critical systems Analysis}
\input{statistics/statistics}

\typeout{ ---------------- Survey of Safety Critical  Analysis Methodologies  and Tools Available}
\chapter{Survey of Safety Critical  Analysis Methodologies  and Tools Available}
\input{survey/survey}

\chapter{An overview of European and North Americans Standards}
\input{standards/standards}

\chapter{Development Concepts of Failure Mode Modular De-Composition}
\input{fmmd_concept/fmmd_concept}

\typeout{ ---------------- Component Failure Modes Definition }
\chapter { Component Failure \\ Modes Definition}
\input{component_failure_modes_definition/component_failure_modes_definition} 



\typeout{ ---------------- FMMD formal MODEL }
\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}

\typeout{ ---------------- Propositional Logic Diagrams}
\chapter {Propositional Logic Diagrams}
\input{logic_diagram/logic_diagram}

\typeout{ ---------------- Electronic Components as PLDs}
\chapter {Common Electronic Components as PLDs}
\input {components_as_plds/components_as_plds}

\typeout{ ----------------  Modelling Software With FMMD}
\chapter{Modelling Software With FMMD}
\input{sw_model/sw_model}

\typeout{ ----------------  Software as PLDs}
\chapter {Software as PLDs}
\input{sw_as_plds/sw_as_plds}


\typeout{ ----------------  Mechanical Sub-systems as PLDs}
\chapter {Common Mechanical Sub-systems as PLDs}
%\input{mech_as_plds/mech_as_plds}


\typeout{ ---------------- Symptom Extraction Using PLD}
\chapter {Symptom Extraction using PLD Diagrams }
\input{symptom_abstraction/symptom_abstraction}

\typeout{ ---------------- Networked resistor }
\chapter {Example component with its failure modes in detail}
\input{nr/nr}


\chapter{FMMD functional~group to \\derived component example : PT100 4 wire Temperature Sensor}
\typeout{ ---------------- pt100}
\input{pt100/pt100}

\chapter{FMMD functional~group to \\derived component example: `ON/OFF' Switch}
\typeout{ ---------------- switch1}
%\input{switch1/switch1}

\chapter{FMMD functional~group to \\derived component example: Safety Critical 'ON OFF' Switch}
Here show the funcitonality of the switch, as with milli volt amp 
main built in self checking is for incorrect wiring (to 5V for perm on detected
and wires fallen off == OFF or broken)

Now show how fmmd works, by showing the check line and transistor, feeding
about 4 switches.
Show how each switch inherits/includes the same check circuit
in a hiearcvy (i.e. they all include that one in their
{\fg}s.
Show how FMMS is describing a common failure mode structure.

\chapter{FMMD functional~group to \\derived component example:  Reading 4 to 20 mA inputs}
%\input{milliampin/milliampin}

\chapter{FMMD functional~group to \\derived component example:  Thermocouple Input }
%\input{thermocouplein/thermocouplein}

\chapter{FMMD functional~group to \\derived component example:  Triac Outputs}
%\input{triacout/triacout}

\chapter{A complete system example, A Safety critical P.I.D temperature controller}
Safety critical in that it must not overheat, and that it must alarm
for incorrect temperature.

\chapter{Modelling and Uncovering Common Mode Failures using FMMD}
\input{common_mode/common_mode}

\chapter{FMMD Used as a design aide}
\input{fmmd_design_aide/fmmd_design_aide}

\chapter{FMMD used to aid the design of production test rigs}
\input{test_rigs/test_rigs}

\chapter{FMMD use throughout product lifecycle}
\input{lifecycle_modelling/lifecycle_modelling}


\chapter{Conclusion}
%\input{conclusion/conclusion}

\appendix

\chapter{FMMD tool : Design Issues}

reference the MSC document and describe the Java extension classes.
Software documentation for fmmd tool.

\typeout{ ----------------  Euler Diagrams represented as graphs}
\chapter {Euler Diagrams \\ Represented as graphs}
\input{eulerg/eulerg}

\chapter{Fast Zone Discrimination Algorithm}
\input{fzd/fzd}

\chapter{Milli Volt Amp with Safety Resistor}
\input{millivoltamp/millivoltamp}

\chapter{A detailed look at the safety systems required by industrial burner controller}
\input{burner/burner}
%\glossary{name={test glossary name}, description={test glossary entry description}}

\printglossary
\addcontentsline{toc}{chapter}{Glossary}

\bibliographystyle{plain}
\bibliography{vmgbibliography,mybib}

\end{document}