164 lines
4.3 KiB
TeX
164 lines
4.3 KiB
TeX
|
|
\documentclass[a4paper,10pt]{book}
|
|
\usepackage{graphicx}
|
|
\usepackage{fancyhdr}
|
|
\usepackage{tikz}
|
|
\usepackage{subfigure}
|
|
\usepackage{amsfonts,amsmath,amsthm}
|
|
\usepackage{algorithm}
|
|
\usepackage{algorithmic}
|
|
|
|
%% 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}
|
|
|
|
\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
|
|
|
|
%\begin{document}
|
|
|
|
\typeout{>>--------------------->> introduction}
|
|
\chapter{Thesis Scope}
|
|
\input{introduction/introduction}
|
|
|
|
\chapter{Safety Critical systems Analysis}
|
|
\input{statistics/statistics}
|
|
|
|
\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{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{ ---------------- 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{ ---------------- 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 using PLD Diagrams }
|
|
\input{symptom_abstraction/symptom_abstraction}
|
|
|
|
|
|
|
|
\chapter{A Formal Description of FMMD}
|
|
\input{fmmdset/fmmdset}
|
|
|
|
|
|
\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}
|
|
|
|
\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{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}
|
|
|
|
%\chapter{FMMD tool : Algorithms and Euler Diagram Parsing}
|
|
|
|
%\paragraph{bibliography}
|
|
%\small
|
|
\bibliographystyle{plain}
|
|
\bibliography{vmgbibliography,mybib}
|
|
%\normalsize
|
|
|
|
\end{document}
|