diff --git a/burner/burner.tex b/burner/burner.tex index e083aa4..5d7b763 100644 --- a/burner/burner.tex +++ b/burner/burner.tex @@ -1,10 +1,17 @@ % % Make the revision and doc number macro's then they are defined in one place +\ifthenelse {\boolean{paper}} +{ + \begin{abstract} things can get very abstract \end{abstract} +} +{ +\section{Overview} +} \section{Overview of A Burner Controller : Safety Perspective} @@ -60,4 +67,4 @@ the systems would see a floating, amplified signal. A high impedance safety resistor can be added to the circuit, to pull the signal high (or out of nornal range) upon disconnection. The system then knows that a fault has occurred and will not use -that sensor reading (see \ref{fig:millivolt}). \ No newline at end of file +that sensor reading (see \ref{fig:millivolt}). diff --git a/burner/paper.tex b/burner/paper.tex index db2da1e..f7b2f5d 100644 --- a/burner/paper.tex +++ b/burner/paper.tex @@ -4,6 +4,12 @@ \usepackage{fancyhdr} \usepackage{tikz} \usepackage{amsfonts,amsmath,amsthm} + +\usepackage{ifthen} +\newboolean{paper} +\setboolean{paper}{true} % boolvar=true or false + + \input{../style} %\newtheorem{definition}{Definition:} diff --git a/component_failure_modes_definition/component_failure_modes_definition.tex b/component_failure_modes_definition/component_failure_modes_definition.tex index ce4542f..c188d02 100644 --- a/component_failure_modes_definition/component_failure_modes_definition.tex +++ b/component_failure_modes_definition/component_failure_modes_definition.tex @@ -1,13 +1,16 @@ + + +\ifthenelse {\boolean{paper}} +{ \abstract{ This chapter defines what is meant by the terms components, derived~components, functional~groups, component fault modes and `unitary~state' component fault modes. %The application of Bayes theorem in current methodologies, and %the suitability of the `null hypothesis' or `P' value statistical approach %are discussed. Data types and their relationships are described using UML. -Mathematical constraints and definitions are made using set theory. +Mathematical constraints and definitions are made using set theory.} } - \section{Introduction} This chapter describes the data types and concepts for the Failure Mode Modular De-composition (FMMD) method. diff --git a/component_failure_modes_definition/paper.tex b/component_failure_modes_definition/paper.tex index 290d4ae..7cf1f81 100644 --- a/component_failure_modes_definition/paper.tex +++ b/component_failure_modes_definition/paper.tex @@ -4,14 +4,18 @@ \usepackage{fancyhdr} \usepackage{tikz} \usepackage{amsfonts,amsmath,amsthm} -\input{style} +\usepackage{ifthen} +\newboolean{paper} +\setboolean{paper}{true} % boolvar=true or false +\input{../style} + %\newtheorem{definition}{Definition:} \begin{document} \pagestyle{fancy} -\outerhead{{\small\bf Definitions, Components, Functional Groups and Unitary State Failure Mode Sets}} +%\outerhead{{\small\bf Definitions, Components, Functional Groups and Unitary State Failure Mode Sets}} %\innerfoot{{\small\bf R.P. Clark } } % numbers at outer edges \pagenumbering{arabic} % Arabic page numbers hereafter diff --git a/components_as_plds/components_as_plds.tex b/components_as_plds/components_as_plds.tex index a5a9eb8..e13d243 100644 --- a/components_as_plds/components_as_plds.tex +++ b/components_as_plds/components_as_plds.tex @@ -13,6 +13,8 @@ % +\ifthenelse {\boolean{paper}} +{ \begin{abstract} This chapter describes the analysis of electrical components in terms of their operational and failure modes. When analysed a component can be represented by a set of `fault modes'. @@ -24,6 +26,10 @@ several components onto the same diagram. Logical analysis of how the failure modes of the components interact in a sub-system or module, can now be undertaken. \end{abstract} +} +{} + + % \section{Introduction} diff --git a/fmmdset/fmmdset.tex b/fmmdset/fmmdset.tex index 5c18c6a..1120614 100644 --- a/fmmdset/fmmdset.tex +++ b/fmmdset/fmmdset.tex @@ -2,8 +2,10 @@ % +\ifthenelse {\boolean{paper}} +{ \begin{abstract} -This chapter describes a process for analysing safety critical systems, to formally prove how safe the +This paper describes a process for analysing safety critical systems, to formally prove how safe the designs and built -in safety measures are. It provides the rigourous method for creating a fault effects model of a system from the bottom up using part level fault modes. From the model fault trees, @@ -12,9 +14,9 @@ and accurate, statistical estimation for fault frequency can be derived automati It provides the means to trace the causes of dangerous detected and dangerous undetected faults. It is intended to be used to formally prove systems to meet EN and UL standards, including and not limited to EN298, EN61508, EN12067, EN230, UL1998. - \end{abstract} - +} +{} \section{Introduction} diff --git a/fmmdset/paper.tex b/fmmdset/paper.tex index 9668e7f..9444656 100644 --- a/fmmdset/paper.tex +++ b/fmmdset/paper.tex @@ -4,13 +4,18 @@ \usepackage{fancyhdr} \usepackage{tikz} \usepackage{amsfonts,amsmath} + +\usepackage{ifthen} +\newboolean{paper} +\setboolean{paper}{true} % boolvar=true or false + \input{../style} \begin{document} \pagestyle{fancy} -\outerhead{{\small\bf Propositional Logic Diagram}} -\innerfoot{{\small\bf R.P. Clark } } +%\outerhead{{\small\bf Propositional Logic Diagram}} +%\innerfoot{{\small\bf R.P. Clark } } % numbers at outer edges \pagenumbering{arabic} % Arabic page numbers hereafter \author{R.P.Clark} diff --git a/fzd/fzd.tex b/fzd/fzd.tex index f10ea49..f5c24f0 100644 --- a/fzd/fzd.tex +++ b/fzd/fzd.tex @@ -1,9 +1,10 @@ -\abstract{ -This + + + \ifthenelse {\boolean{paper}} -{paper} -{chapter} -discusses a two stage algorithm designed to greatly +{ +\abstract{ +This paper discusses a two stage algorithm designed to greatly reduce the number of Area compare operations required to determine which zones are `available' in an Euler diagram. @@ -24,6 +25,34 @@ The next stage reduces the number of searches required within the isolated groups, (thus reducing the $M.2^{nn}$ terms) by traverssing a graph of the relationships between the contours. } +} +{ %% Introduction +\section{Algorithm Purpose} + +This paper discusses a two stage algorithm designed to greatly +reduce the number of Area compare operations required to determine which zones are `available' in an Euler +diagram. + +This algorithm will aid in the quick resolution of complex drawn +Euler diagrams where the available zones on the diagram must be known. + +An Euler diagram of $N$ contours has a possible $2^N$ zones. +A `brute force' search for available zones (determining for availability of all possible $2^N$ +zones) involves $N.2^N$ Area Compare operations. + +The first stage of the algorithm identifies $M$ number of unique groups of contours that are isolated +w.r.t. zone production. Thus each identified group of $nn$ contours +has a maximum of $2^{nn}$ zones. This reduces the exponential overhead of the $N.2^N$ order. +In fact we reduce the number of stages to search from a $N.2^N$ order +to approximately $N^2 + M.2^{nn}$. + +The next stage reduces the number of searches required within the isolated +groups, (thus reducing the $M.2^{nn}$ terms) by traverssing a graph +of the relationships between the contours. +} + + + \section{Introduction : Euler Diagram and Zones Available for use} Euler diagrams consist of closed curves in the plane which are used to represent sets. diff --git a/logic_diagram/logic_diagram.tex b/logic_diagram/logic_diagram.tex index 65a1b72..86739da 100644 --- a/logic_diagram/logic_diagram.tex +++ b/logic_diagram/logic_diagram.tex @@ -1,5 +1,6 @@ - +\ifthenelse {\boolean{paper}} +{ \begin{abstract} %This chapter describes using diagrams to represent propositional logic. Propositial Logic Diagrams have been designed to provide an intuitive method for visualising and manipulating @@ -27,6 +28,8 @@ automated systems. The Diagrams described here form the mathematical basis for a new visual and formal system for the analysis of safety critical software and hardware systems. \end{abstract} +} +{} %\title{Propositional Logic Diagrams} %\begin{keyword} @@ -115,6 +118,7 @@ practical differences between the way they are used to represent software as opp representing electronics and mechanical systems. \subsection{Concrete PLD Definition} +\paragraph{MUST REFERENCE CONSTRAINT DIAGRAMS HERE} A concrete {\em Propositional logic diagram} is a set of labeled {\em contours} (closed curves) in the plane. The minimal regions formed by the closed curves diff --git a/logic_diagram/paper.tex b/logic_diagram/paper.tex index 08a0628..7cb02a5 100644 --- a/logic_diagram/paper.tex +++ b/logic_diagram/paper.tex @@ -4,6 +4,11 @@ \usepackage{fancyhdr} \usepackage{tikz} \usepackage{amsfonts,amsmath,amsthm} + +\usepackage{ifthen} +\newboolean{paper} +\setboolean{paper}{true} % boolvar=true or false + \input{style} %\newtheorem{definition}{Definition:} diff --git a/pt100/paper.tex b/pt100/paper.tex index 0aeae77..a370658 100644 --- a/pt100/paper.tex +++ b/pt100/paper.tex @@ -4,6 +4,13 @@ \usepackage{fancyhdr} \usepackage{tikz} \usepackage{amsfonts,amsmath,amsthm} + +\usepackage{ifthen} +\newboolean{paper} +\setboolean{paper}{true} % boolvar=true or false + + + \input{../style} %\newtheorem{definition}{Definition:} @@ -11,7 +18,7 @@ \begin{document} \pagestyle{fancy} -\outerhead{{\small\bf PT100 FMMD analysis}} +%\outerhead{{\small\bf PT100 FMMD analysis}} %\innerfoot{{\small\bf R.P. Clark } } % numbers at outer edges \pagenumbering{arabic} % Arabic page numbers hereafter diff --git a/pt100/pt100.tex b/pt100/pt100.tex index a077289..2ff976a 100644 --- a/pt100/pt100.tex +++ b/pt100/pt100.tex @@ -1,6 +1,7 @@ % % Make the revision and doc number macro's then they are defined in one place - +\ifthenelse {\boolean{paper}} +{ \begin{abstract} The PT100, or platinum wire \ohms{100} sensor is a widely used industrial temperature sensor that is @@ -21,7 +22,7 @@ Thus after the analysis the PT100 temperature sensing circuit, may be veiwed from an FMEA persepective as a component itself, with a set of known failure modes. \end{abstract} - +} \begin{figure}[h] \centering @@ -69,7 +70,8 @@ because of resistance in the cables. Resistance from the supply drop in the supply to the PT100. As no significant current is carried by the two `sense' lines the resistance back to the ADC causes only a negligible voltage drop, and thus the four wire -configuration is more accurate. +configuration is more accurate\footnote{The increased accuracy is because the voltage measured, is the voltage across +the thermistor and not the voltage across the thermistor and current supply wire resistance.}. \subsection{Calculating Temperature from \\ the sense line voltages} @@ -84,7 +86,7 @@ does not impinge on accuracy. The resistance to temperature conversion is achieved through the published PT100 tables\cite{eurothermtables}. The standard voltage divider equations (see figure \ref{fig:vd} and -equation \ref{eqn:vd} can be used to calculate +equation \ref{eqn:vd}) can be used to calculate expected voltages for failure mode and temperature reading purposes. \begin{figure}[h] diff --git a/standards/paper.tex b/standards/paper.tex index a649964..0c3a20e 100644 --- a/standards/paper.tex +++ b/standards/paper.tex @@ -5,13 +5,17 @@ \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 Safety Critical Standards Review}} +%\outerhead{{\small\textbf Safety Critical Standards Review}} %\innerfoot{{\small\bf R.P. Clark } } % numbers at outer edges \pagenumbering{arabic} % Arabic page numbers hereafter diff --git a/standards/standards.tex b/standards/standards.tex index 1461208..783735b 100644 --- a/standards/standards.tex +++ b/standards/standards.tex @@ -1,16 +1,36 @@ % % Make the revision and doc number macro's then they are defined in one place +\ifthenelse {\boolean{paper}} +{ \begin{abstract} This chapter describes the legal frameworks and standards organisations that exist in Europe and North America. Some specific standards (that the author has experience with directly) are reviewed. \end{abstract} +} +{} \section{Introduction} +\subsection{Product Life Cycle} +i +difffernent areas +EN61508 REQ to SPEC to DESIGN + + +EN298 +DESIGN TO PRODUCT + +FM +PRODUCT VERIFICATION MONITORING + +Different agencies - approval is testing of new product +and verification to standard - manufacturing overwatch / supervision +word on tip of tounge - + \section{European or `EN' Standards} \subsection{Scope} diff --git a/statistics/Makefile b/statistics/Makefile index e3c78b4..9be7943 100644 --- a/statistics/Makefile +++ b/statistics/Makefile @@ -4,7 +4,7 @@ # -paper: paper.tex statistics.tex +paper: paper.tex statistics_paper.tex #latex paper.tex #dvipdf paper pdflatex cannot use eps ffs pdflatex paper.tex @@ -13,5 +13,5 @@ paper: paper.tex statistics.tex # Remove the need for referncing graphics in subdirectories # -statistics.tex: statistics.tex paper.tex +statistics_paper.tex: statistics.tex paper.tex cat statistics.tex | sed 's/statistics\///' > statistics_paper.tex diff --git a/statistics/paper.tex b/statistics/paper.tex index 880efd4..dbb264a 100644 --- a/statistics/paper.tex +++ b/statistics/paper.tex @@ -4,14 +4,18 @@ \usepackage{fancyhdr} \usepackage{tikz} \usepackage{amsfonts,amsmath,amsthm} -\input{style} +%\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}} +%\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 diff --git a/statistics/statistics.tex b/statistics/statistics.tex index 0efad61..1d4b7ad 100644 --- a/statistics/statistics.tex +++ b/statistics/statistics.tex @@ -1,8 +1,14 @@ + + + +\ifthenelse {\boolean{paper}} +{ \abstract{ This chapter looks at current methodologies for static analysis of safety critical systems -and looks at the statistical justifications for their application. +and looks at the statistical justifications for their application.} } +{} \section{Introduction} diff --git a/survey/paper.tex b/survey/paper.tex index 3cb1c26..b0870ba 100644 --- a/survey/paper.tex +++ b/survey/paper.tex @@ -4,14 +4,18 @@ \usepackage{fancyhdr} \usepackage{tikz} \usepackage{amsfonts,amsmath,amsthm} -\input{../style} +\usepackage{ifthen} +\newboolean{paper} +\setboolean{paper}{true} % boolvar=true or false + +%\input{../style} %\newtheorem{definition}{Definition:} \begin{document} \pagestyle{fancy} -\outerhead{{\small\bf Survey of Safety Critical Static Analysis Methods}} +%\outerhead{{\small\bf Survey of Safety Critical Static Analysis Methods}} %\innerfoot{{\small\bf R.P. Clark } } % numbers at outer edges \pagenumbering{arabic} % Arabic page numbers hereafter diff --git a/survey/survey.tex b/survey/survey.tex index 09a0e76..9efc491 100644 --- a/survey/survey.tex +++ b/survey/survey.tex @@ -1,9 +1,13 @@ % % Make the revision and doc number macro's then they are defined in one place +ifthenelse {\boolean{paper}} +{ \begin{abstract} - +A very abstract abstract \end{abstract} +} +{} \section{FMEA} diff --git a/sw_as_plds/sw_as_plds.tex b/sw_as_plds/sw_as_plds.tex index 3bbcb3c..a1231b3 100644 --- a/sw_as_plds/sw_as_plds.tex +++ b/sw_as_plds/sw_as_plds.tex @@ -27,6 +27,9 @@ % \address{ Energy Technology Control\\ % 25 North Street, Lewes, BN7 2PE, Great Britain} % + +\ifthenelse {\boolean{paper}} +{ \begin{abstract} This chapter describes how software can be represented by first order logic, and how software elements be represented in a propositional logic diagram. @@ -34,7 +37,8 @@ When represented in this way they can be combined with other PLD's representing Thus, Fault Mode Effects Analysis (FMEA) can be applied to electro/software/mechanical systems using a common mathematically based formal graphical notation. \end{abstract} - +} +{} % %\begin{keyword} % fault~tree fault~mode EN298 EN61508 EN12067 EN230 UL1998 safety~critical logic euler venn propositional diff --git a/symptom_abstraction/symptom_abstraction.tex b/symptom_abstraction/symptom_abstraction.tex index 72789e8..c25f0c5 100644 --- a/symptom_abstraction/symptom_abstraction.tex +++ b/symptom_abstraction/symptom_abstraction.tex @@ -1,4 +1,6 @@ +\ifthenelse {\boolean{paper}} +{ \begin{abstract} In modular systems design, it is often very useful to know the failure modes of the sub-systems used. @@ -33,7 +35,8 @@ automatically, where component failure mode statistics are available\cite{mil199 This paper focuses on the process of building the blocks that are used in the hierarchy. \end{abstract} - +} +{} %\clearpage \section{Introduction} diff --git a/symptom_ex_process/paper.tex b/symptom_ex_process/paper.tex index a9412f9..1eedeb4 100644 --- a/symptom_ex_process/paper.tex +++ b/symptom_ex_process/paper.tex @@ -6,6 +6,10 @@ \usepackage{amsfonts,amsmath,amsthm} \usepackage{algorithm} \usepackage{algorithmic} +\usepackage{ifthen} +\newboolean{paper} +\setboolean{paper}{true} % boolvar=true or false + %\input{../style} %\newtheorem{definition}{Definition:} diff --git a/symptom_ex_process/symptom_ex_process.tex b/symptom_ex_process/symptom_ex_process.tex index 003f0a6..afaef3a 100644 --- a/symptom_ex_process/symptom_ex_process.tex +++ b/symptom_ex_process/symptom_ex_process.tex @@ -1,4 +1,7 @@ + +\ifthenelse {\boolean{paper}} +{ \begin{abstract} In failure mode analysis, it is essential to know the failure modes of the sub-systems and components used. @@ -35,6 +38,9 @@ automatically, where component failure mode statistics are available\cite{mil199 This paper focuses on the process of building the blocks, that are key to creating an FMMD hierarchy. \end{abstract} +} +{} + %\clearpage @@ -669,8 +675,9 @@ We now have a set $SP$ of the symptoms of failure. Algorithm \ref{alg:sympabs55} is the final stage in the process. We now have a derived~component $DC$, which has its own set of failure~modes. This can now be -% treated as a component, and -used in conjection with other components (or derived~components) to form functional~groups at a higher level of failure~mode~abstraction. +used in conjection with other components (or derived~components) +to form functional~groups at a higher level of failure~mode~abstraction. +Hierarchies of fault abstraction can be built that can model an entire SYSTEM. \end{algorithmic} \end{algorithm} @@ -683,8 +690,9 @@ The technique provides a methodology for bottom-up analysis of the fault behavio Because symptom abstraction collects fault modes, the number of faults to handle decreases as the hierarchy progresses upwards. -This is seen in real life Systems. At the highest levels the number of faults -reduces. A Sound system might have, for instance only four faults at its highest or System level, +This is seen by casual observation of real life Systems. At the highest levels the number of faults +is significantly less than the sum of its component failure modes. +A Sound system might have, for instance only four faults at its highest or System level, \small $$ SoundSystemFaults = \{TUNER\_FAULT, CD\_FAULT, SOUND\_OUT\_FAULT, IPOD\_FAULT\}$$ \normalsize