robin/Robin_PHD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

getting very tired now

Browse Source
This commit is contained in:
Robin Clark 2013-09-26 22:48:55 +01:00
parent c158779751
commit 7d8832df44
1 changed files with 13 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

26
submission_thesis/appendixes/detailed_analysis.tex
View File

@ -643,10 +643,8 @@ $$
% %
% %
FC4: $Pt100:VAL\_ERR$ & could cause an out of & temp\_incorrect\\ FC4: $Pt100:VAL\_ERR$ & causes an incorrect & temp\_incorrect\\
& range error, but may & \\ & temperature reading & \\ \hline
& cause an incorrect & \\
& temperature reading & \\ \hline
FC5: post condition fails & software failure & temp\_incorrect \\ FC5: post condition fails & software failure & temp\_incorrect \\
in function convert\_ADC\_to\_T & convert\_ADC\_to\_T & \\ \hline in function convert\_ADC\_to\_T & convert\_ADC\_to\_T & \\ \hline
@ -664,17 +662,17 @@ $$
$$ $$
%%% NOT sure I should leave this in %%% NOT sure I should leave this in
FC4: presents an interesting dilemma. % FC4: presents an interesting dilemma.
The {\fm}, Pt100:VAL\_ERR, could cause an out of range error, but may % The {\fm}, Pt100:VAL\_ERR, could cause an out of range error, but may
cause an incorrect temperature reading. % cause an incorrect temperature reading.
An out of range error, has less consequences than an incorrect reading, because % An out of range error, has less consequences than an incorrect reading, because
an out of range error is detectable. % an out of range error is detectable.
Because FMMD forces the analyst to choose only one symptom to tie the {\fm} to, % Because FMMD forces the analyst to choose only one symptom to tie the {\fm} to,
the worst, or most dangerous possible % the worst, or most dangerous possible
symptom must be chosen. % symptom must be chosen.
%
% Actually thats bollocks ! I am getting very very tired.
\clearpage \clearpage