diff --git a/submission_thesis/appendixes/detailed_analysis.tex b/submission_thesis/appendixes/detailed_analysis.tex index 72018af..d9339f3 100644 --- a/submission_thesis/appendixes/detailed_analysis.tex +++ b/submission_thesis/appendixes/detailed_analysis.tex @@ -663,7 +663,16 @@ $$ fm(Get\_Temperature) = \{ Pt100\_out\_of\_range, temp\_incorrect \} . $$ - +%%% NOT sure I should leave this in +FC4: presents an interesting dilemma. +The {\fm}, Pt100:VAL\_ERR, could cause an out of range error, but may +cause an incorrect temperature reading. +An out of range error, has less consequences than an incorrect reading, because +an out of range error is detectable. +Because FMMD forces the analyst to choose only one symptom to tie the {\fm} to, +the worst, or most dangerous possible +symptom must be chosen. +