mirror of
https://github.com/flancian/garden.git
synced 2026-08-08 15:36:19 +00:00
vault backup: 2021-07-19 13:50:34
This commit is contained in:
@@ -29,6 +29,7 @@
|
|||||||
- [[feedback]] can be derived from [[responsibilities]] (which information does the process model need to contain?)
|
- [[feedback]] can be derived from [[responsibilities]] (which information does the process model need to contain?)
|
||||||
- step three: [[identify unsafe control actions]]
|
- step three: [[identify unsafe control actions]]
|
||||||
- an [[unsafe control action]] is one that, in a particular context, will lead to a [[hazard]].
|
- an [[unsafe control action]] is one that, in a particular context, will lead to a [[hazard]].
|
||||||
- it must include the actual (real) context in which the control action is unsafe; and it must be linked to a hazard. it shouldn't depend on
|
- 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.
|
||||||
|
|
||||||
|
|
||||||
Reference in New Issue
Block a user