diff --git a/fmmd_concept/Makefile b/fmmd_concept/Makefile new file mode 100644 index 0000000..884439a --- /dev/null +++ b/fmmd_concept/Makefile @@ -0,0 +1,15 @@ + +# + + +paper: paper.tex fmmd_concept_paper.tex + #latex paper.tex + #dvipdf paper pdflatex cannot use eps ffs + pdflatex paper.tex + okular paper.pdf + + +# Remove the need for referncing graphics in subdirectories +# +fmmd_concept_paper.tex: fmmd_concept.tex paper.tex + cat fmmd_concept.tex | sed 's/fmmd_concept\///' > fmmd_concept_paper.tex diff --git a/fmmd_concept/fmmd_concept.tex b/fmmd_concept/fmmd_concept.tex new file mode 100644 index 0000000..3650246 --- /dev/null +++ b/fmmd_concept/fmmd_concept.tex @@ -0,0 +1,47 @@ + + + + +\ifthenelse {\boolean{paper}} +{ +\abstract{ This paper proposes a methodology for +creating failure mode models of safety critical systems, which +have a common and integrateable notation +for mechanical, electronic and software domains. +The proposed methodology is bottom-up and +modular. +} +} +{} + + +\section{Introduction} + +\section{Some requirements for a failure mode methodolgy} +\begin{itemize} +\item All component failure modes must be considered in the model. +\item It should be easy to integrate mechanical, electronic and software models. +\item It should be re-usable, in that commonly used modules can be re-used in other designs/projects. +\item It should have a formal babsis, that is to say it should be able to produce mathematical proofs +for its results. +\item It should be capable of producing reliability and danger evaluation statistics. +\item It should be easy to use. +\end{itemize} + + +OK need to describe the need for it + + + +AND then how we can solve all there problems + + +AND then a rough outline of what is needed + + +AND then a general description of symptom extraction + +AND the hierarchy... + + +Probab about 3 pages diff --git a/fmmd_concept/paper.tex b/fmmd_concept/paper.tex new file mode 100644 index 0000000..a4cde40 --- /dev/null +++ b/fmmd_concept/paper.tex @@ -0,0 +1,31 @@ + +\documentclass[a4paper,10pt]{article} +\usepackage{graphicx} +\usepackage{fancyhdr} +\usepackage{tikz} +\usepackage{amsfonts,amsmath,amsthm} +\input{style} +\usepackage{ifthen} +\newboolean{paper} +\setboolean{paper}{true} % boolvar=true or false + + +%\newtheorem{definition}{Definition:} + +\begin{document} +\pagestyle{fancy} + +%\outerhead{{\small\bf Statistical Basis for Current Static Analysis Methodologies}} +%\innerfoot{{\small\bf R.P. Clark } } + % numbers at outer edges +\pagenumbering{arabic} % Arabic page numbers hereafter +\author{R.P.Clark} +\title{FMMD: A bottom up modular failure mode modelling methodology} +\maketitle +\input{fmmd_concept_paper} + +\bibliographystyle{plain} +\bibliography{vmgbibliography,mybib} + +\today +\end{document}