From ff8493147df4309220837305d43aec408ba36192 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Thu, 24 Feb 2011 13:56:20 +0000 Subject: [PATCH] en298 --- introduction/introduction.tex | 4 ++-- standards/standards.tex | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) 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}