From 30bf554f77d411c203a87f58c3f588b92fe96425 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Tue, 22 Feb 2011 08:50:10 +0000 Subject: [PATCH] Made this into a paper to print it out easier. --- introduction/Makefile | 19 ++++++++++++++++++ introduction/introduction.tex | 24 +++++++++++++++++++++-- introduction/paper.tex | 36 +++++++++++++++++++++++++++++++++++ 3 files changed, 77 insertions(+), 2 deletions(-) create mode 100644 introduction/Makefile create mode 100644 introduction/paper.tex diff --git a/introduction/Makefile b/introduction/Makefile new file mode 100644 index 0000000..99b37ad --- /dev/null +++ b/introduction/Makefile @@ -0,0 +1,19 @@ + +# + + +paper: paper.tex introduction_paper.tex + #latex paper.tex + #dvipdf paper pdflatex cannot use eps ffs + pdflatex paper.tex + cp paper.pdf introduction_paper.pdf + okular introduction_paper.pdf + + +# Remove the need for referncing graphics in subdirectories +# +introduction_paper.tex: introduction.tex paper.tex + cat introduction.tex | sed 's/introduction\///' > introduction_paper.tex + +bib: + bibtex paper diff --git a/introduction/introduction.tex b/introduction/introduction.tex index 75c15a0..6543495 100644 --- a/introduction/introduction.tex +++ b/introduction/introduction.tex @@ -41,7 +41,15 @@ can determine an overall failure rate, in terms of probability of failure on dem The maturing of the application of the programmable electronic controller (PEC) for a wide range safety critical applications, has led to a fragmentation of subdisiplines which speak imperfectly to one another. -The main three sub-disiplines are Electrical, Software and Mechanical Engineering. +This is because +the main three engineering disiplines, Electrical, Software and Mechanical Engineering +produced equipment that was interfaced a a later time. +Just as electronic circuitry becomes more integrated, and sub-domains +of electrical engineering (analog and digital for instance) are commonly found along-side on the same chip, +so modern PEC's are becoming more and more integrated and now typically encompass +input from the three engineering disciplines\footnote{Consider an aircraft, this involves expert knowledge from +Software, Electronic and Mechanical Engineering and requires a high degree of safety validation}. + Additional disiplines are defined by application area of the PEC. All of these sub-displines are in turn split into even finer units. The practicioners of these fields tend to view a PEC in different ways. @@ -56,10 +64,22 @@ tool. For a anyone responsible for ensuring or proving the safety of a PEC must be able to understand the process being controlled, the mechanical and electrical sensors and actuators and the software. Not only must the -safety engineer understand more than four potential disiplines, he/she +safety engineer understand more than four potential disciplines, he/she must be able to trace failure modes of components to SYSTEM levels failure modes, and classify these according to their criticallity. +\paragraph{Desire to introduce formal methods to static failure mode analysis} +There has been much work introducing formal methods into +the requirements and validation phases of electromechanical systems. +Apart from the ability to check, precisely, that what ha been +build behaves correctly and as requested, the process +of formal specification ensures that all important details are analysed +and looked at in detail. +It is an aim of this project to bring formal methods to +static failure mode analysis. This means being able to account for every base +component failure mode in a model, and to be able to represent +mechanical, electrical and software components in a single failure mode model. + \paragraph{Desirability of a common failure mode notation} Having a common failure mode notation accross all disciplines in a project would allow all the specialists to prepare failure mode diff --git a/introduction/paper.tex b/introduction/paper.tex new file mode 100644 index 0000000..88bba00 --- /dev/null +++ b/introduction/paper.tex @@ -0,0 +1,36 @@ + +\documentclass[a4paper,10pt]{article} +\usepackage{graphicx} +\usepackage{fancyhdr} +\usepackage{tikz} +\usetikzlibrary{shapes,snakes} +\usepackage{amsfonts,amsmath,amsthm} +\input{../style} +\usepackage{ifthen} +\usepackage{lastpage} + +\newboolean{paper} +\setboolean{paper}{true} % boolvar=true or false + +\begin{document} +\pagestyle{fancy} +\fancyhf{} +%\renewcommand{\chaptermark}[1]{\markboth{ \emph{#1}}{}} +\fancyhead[LO]{} +\fancyhead[RE]{\leftmark} +%\fancyfoot[LE,RO]{\thepage} +\cfoot{Page \thepage\ of \pageref{LastPage}} +\rfoot{\today} +\lhead{FMMD Introduction} + % numbers at outer edges +\pagenumbering{arabic} % Arabic page numbers hereafter +\author{R.P.Clark} +\title{FMMD Introduction} +\maketitle +\input{introduction_paper} + +\bibliographystyle{plain} +\bibliography{../vmgbibliography,../mybib} + +\today +\end{document}