From 1bf848f9422b963a4cbb37d6a3ff1b6d7e06981b Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Wed, 4 Aug 2010 13:46:48 +0100 Subject: [PATCH] . --- symptom_ex_process/algorithm.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/symptom_ex_process/algorithm.tex b/symptom_ex_process/algorithm.tex index 60a4f3e..8d933ab 100644 --- a/symptom_ex_process/algorithm.tex +++ b/symptom_ex_process/algorithm.tex @@ -56,7 +56,7 @@ These are described using the Algorithm environment in the next section \ref{alg By defining the process and describing it using set theory, constraints and verification checks in the process are stated formally. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% -\clearpage +%\clearpage \subsection{ Determine Failure Modes to examine} The first stage is to find the failure modes to consider for @@ -165,7 +165,7 @@ $$ DTC(F) = TC $$ \ENDIF \IF{Double fault checking} - \STATE { let $f1,f2$ represet a component failure modes, and $c$ a component in the functional group } + \STATE { let $f1,f2$ represet a component failure modes, and $c$ any component in the functional group } %\ENSURE { That all failure modes are represented in at least one test case } \ENSURE { $ \forall f1,f2 \;where\; (f1,f2) \not\in c\;such\;that\; (f1,f2 \in F)) \wedge ( \{f1,f2\} \in \bigcup TC) $ } \COMMENT { This corresponds to checking that each possible double failure mode is considered