diff --git a/introduction/introduction.tex b/introduction/introduction.tex index 6543495..7d53017 100644 --- a/introduction/introduction.tex +++ b/introduction/introduction.tex @@ -559,8 +559,8 @@ to reduce the possibility of this last condition. \section{Motivation for developing a formal methodology} -A feature of many safety critical systems specifications, -including EN298, EN230 \cite{en298} \cite{en230} +A feature of some newer safety critical systems standards, +including the gas burner standard EN298~\cite{en298}[Section 9] is to demand, at the very least that single failures of hardware or software cannot diff --git a/standards/standards.tex b/standards/standards.tex index 6e4d75b..6bd23b4 100644 --- a/standards/standards.tex +++ b/standards/standards.tex @@ -101,6 +101,8 @@ Stabndards of ten reference other - i.e. EMC testing in EN298 refers toEN blah b \section{Standard in detail: EN298} +Section 9. Second faults, pushing the requirements for static testing. + \section{Standard in detail: UL1998} \section{Standard in detail: EN230}