...
This commit is contained in:
parent
49c09e6a27
commit
37b38d8286
@ -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}. $$
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user