diff --git a/submission_thesis/appendixes/detailed_analysis.tex b/submission_thesis/appendixes/detailed_analysis.tex index d9339f3..813c218 100644 --- a/submission_thesis/appendixes/detailed_analysis.tex +++ b/submission_thesis/appendixes/detailed_analysis.tex @@ -643,11 +643,9 @@ $$ % % - FC4: $Pt100:VAL\_ERR$ & could cause an out of & temp\_incorrect\\ - & range error, but may & \\ - & cause an incorrect & \\ - & temperature reading & \\ \hline - + FC4: $Pt100:VAL\_ERR$ & causes an incorrect & temp\_incorrect\\ + & temperature reading & \\ \hline + FC5: post condition fails & software failure & temp\_incorrect \\ in function convert\_ADC\_to\_T & convert\_ADC\_to\_T & \\ \hline @@ -664,17 +662,17 @@ $$ $$ %%% 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. - - +% 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. +% +% Actually thats bollocks ! I am getting very very tired. \clearpage