vault backup: 2021-07-19 13:54:34

This commit is contained in:
2021-07-19 13:54:34 +02:00
parent 9112da9124
commit a5242040b3
+2 -2
View File
@@ -32,6 +32,6 @@
- it must include the actual (real) context in which the control action is unsafe, instead of controller beliefs; and it must be linked to a hazard.
- define [[controller constraints]]: behaviours that need to be satisfied to prevent UCAs. they can usually be derived from negations of the UCAs.
- step four: [[identify loss scenarios]]
- a [[loss scenario]] describes the [[causal factors that can lead to the [[unsafe control actions]] and to [[hazards]].
- a [[loss scenario]] describes the [[causal factors]] that can lead to the [[unsafe control actions]] and to [[hazards]].
-