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}. $$