From 9112da91240f029f4d89a0caff208228d4aa07f1 Mon Sep 17 00:00:00 2001 From: Flancian <0@flancia.org> Date: Mon, 19 Jul 2021 13:53:34 +0200 Subject: [PATCH] vault backup: 2021-07-19 13:53:34 --- system theoretic process analysis.md | 2 ++ 1 file changed, 2 insertions(+) diff --git a/system theoretic process analysis.md b/system theoretic process analysis.md index 1b951c2ed..0512cba01 100644 --- a/system theoretic process analysis.md +++ b/system theoretic process analysis.md @@ -31,5 +31,7 @@ - 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, 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]]. \ No newline at end of file