robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

en298

Browse Source
This commit is contained in:
Robin Clark 2011-02-24 13:56:20 +00:00
parent f372fe7990
commit ff8493147d
2 changed files with 4 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
introduction/introduction.tex
View File

@ -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

2
standards/standards.tex
View File

@ -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}