\documentclass[a4paper,10pt]{book} \usepackage{graphicx} \usepackage{fancyhdr} \usepackage{tikz} \usepackage{amsfonts,amsmath,amsthm} \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 Metyhodologies and Tools Available} %\input{survey/survey} \typeout{ ---------------- Propositional Logic Diagrams} \chapter {Propositional Logic Diagrams} \input{logic_diagram/logic_diagram} \typeout{ ---------------- Electronic Components as PLDs} \chapter {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 {Mechanical Sub-systems as PLDs} %\input{mech_as_plds/mech_as_plds} \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 : 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}