diff --git a/fmmdset/fmmdset.tex b/fmmdset/fmmdset.tex index 1d5bd9a..04f62f9 100644 --- a/fmmdset/fmmdset.tex +++ b/fmmdset/fmmdset.tex @@ -163,7 +163,7 @@ and let the set of all possible failure modes be $\mathcal{F}$. We can define a function $fm$ \begin{equation} -fm : \mathcal{C} \mapsto \mathcal{P}\mathcal{F} +fm : \mathcal{C} \rightarrow \mathcal{P}\mathcal{F} \end{equation} defined by, where C is a component and F is a set of failure modes. diff --git a/mybib.bib b/mybib.bib index 31627cd..401fda7 100644 --- a/mybib.bib +++ b/mybib.bib @@ -5,6 +5,12 @@ % $Id: mybib.bib,v 1.3 2009/11/28 20:05:52 robin Exp $ +@ARTICLE{caninauto, + AUTHOR = "H. Zeltwanger", + TITLE = "Single Processor implementation of the CANopen Safety Protocol", + JOURNAL = "CAN in Automation (CiA)", + YEAR = "2008" +} @ARTICLE{valueoflife, AUTHOR = "W.K. Viscusi", diff --git a/statistics/statistics.tex b/statistics/statistics.tex index de84ff2..c62f6ed 100644 --- a/statistics/statistics.tex +++ b/statistics/statistics.tex @@ -48,7 +48,7 @@ For the Brewery, safety is of the highest importance. For the Nuclear power station -\section{Terms and Concepts in // Safety Critical Engineering} +\section{Terms and Concepts in \\ Safety Critical Engineering} \subsection{Safety Relevant Data Object} A Safety Relevant Data Object (SRDO)\cite{caninauto}, is a data structure describing the status of @@ -58,8 +58,8 @@ the measure neutron flux. \subsection{Safety relevant Object Validation Time} Safety times can be given for SRDO's; these are termed Safety Related Object Validation Times (SROVT's)\cite{caninauto}. For instance were a flame to fail in operation in a gas burner -standards state that the gas may not continue to be fed into the -furnace for more than three seconds \cite{en298}. +standards state \cite{en298} that the gas may not continue to be fed into the +furnace for more than three seconds. We can say that the SROVT for a flame signal in a gas burner is 3 seconds. \subsection{Single and Double Failure Modes} A Safety critical system must self check within the relevant SROVT's.