From 37b38d8286394e8bf487f9796f509c56db53abe7 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Sat, 22 Jan 2011 14:22:34 +0000 Subject: [PATCH] ... --- standards/standards.tex | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/standards/standards.tex b/standards/standards.tex index 24c999c..fe18465 100644 --- a/standards/standards.tex +++ b/standards/standards.tex @@ -56,6 +56,12 @@ to be applied to any system. For every Safety requirement $S_{req}$ we should have a related safety goal $S_{goal}$ for the requirments to be meaningful. +FIND LIST + +* To protect life and limb + +* To protect the environment + We can express this as $$ \forall S_{req} \longrightarrow S_{goal}. $$