
\documentclass[a4paper,10pt]{book}
\usepackage{graphicx}
\usepackage{fancyhdr}
\usepackage{tikz} 
\usepackage{amsfonts,amsmath,amsthm}
\usepackage{algorithm}
\usepackage{algorithmic}

\input{style}

\begin{document}
\pagestyle{fancy}

\input{titlepage/titlepage}

\clearpage

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

\tableofcontents    
\listoffigures    
\listoftables
%

\cleardoublepage

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

%
%\middlefoot{ } \outerfoot{{Page \bf\thepage}} % Body of manual has bolded page
                                              % numbers at outer edges
\pagenumbering{arabic}                        % Arabic page numbers hereafter
 
%\begin{document}

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

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

\chapter{Statistical Methods and Models}
%\input{statistics/statistics}

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



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


\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{ ----------------  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 }
\chapter {Symptom Extraction }
\input{symptom_abstraction/symptom_abstraction}


\chapter{Failure Mode Modular De-Composition}
%\input{fmmd/fmmd}

\chapter{A Formal Description of FMMD}
\input{fmmdset/fmmdset}


\chapter{FMMD component to module level example : PT100 4 wire Temperature Sensor}
\typeout{ ---------------- pt100}
\input{pt100/pt100}

\chapter{FMMD component to module level example : Simple 'ON OFF' Switch}
\typeout{ ---------------- switch1}
%\input{switch1/switch1}

\chapter{FMMD component to module level example : Safety Critical 'ON OFF' Switch}

\chapter{FMMD component to module level example : Reading 4 to 20 mA inputs}
%\input{milliampin/milliampin}

\chapter{FMMD component to module level example : Thermocouple Input }
%\input{thermocouplein/thermocouplein}

\chapter{FMMD component to module level 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{FMMD tool : Design Issues}

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


\chapter{Algorithms and Mathematical Relationships Discovered}
\input{fzd/fzd}

\chapter{A detailed look at the safety systems required by industrial burner controller}
%\input{indburner/indburner}

%\chapter{FMMD tool : Algorithms and Euler Diagram Parsing}

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

\small
\bibliographystyle{abbrv}
\bibliography{vmgbibliography,mybib}
\normalsize

\end{document}
