From 5dce3ea282d8a9c2f84fcdc8da0b495f7d81d7c6 Mon Sep 17 00:00:00 2001 From: Robin Clark Date: Tue, 26 Oct 2010 21:07:00 +0100 Subject: [PATCH] Added a very important condition for each state tc Each test case must be examined in the light of any applied states or environmental conditions applied to it. For instance a test circuit that has two positions has two states. Each one must be applied to all the test cases. In the case of the NASA O ring this could have been the environmental temperature range behaviour etc --- fmmd_design_aide/fmmd_design_aide.tex | 52 +++++++++++++++++++++---- fmmd_design_aide/mv_opamp_circuit2.png | Bin 0 -> 13788 bytes symptom_ex_process/algorithm.tex | 3 +- symptom_ex_process/process.tex | 2 + 4 files changed, 49 insertions(+), 8 deletions(-) create mode 100644 fmmd_design_aide/mv_opamp_circuit2.png diff --git a/fmmd_design_aide/fmmd_design_aide.tex b/fmmd_design_aide/fmmd_design_aide.tex index 4a15f63..3b49759 100644 --- a/fmmd_design_aide/fmmd_design_aide.tex +++ b/fmmd_design_aide/fmmd_design_aide.tex @@ -165,7 +165,8 @@ Typically this type of circuit would be used to read a thermocouple and this erro symptom, "LOW READING" would mean our plant could beleive that the temperature reading is lower than it actually is. To take an example from a K type thermocouple, the offset of 1.86mV -from the potential divider represents amplified to $\approx \, 342mV$ would represent $\approx \; 46\,^{\circ}{\rm C}$. +from the potential divider represents amplified to +$\approx \, 342mV$ would represent $\approx \; 46\,^{\circ}{\rm C}$. \clearpage \subsection{Undetected Failure Mode: Incorrect Reading} @@ -181,14 +182,51 @@ allowance according to EN61508. \section{Proposed Checking Method} -Were we to switch in a a second resistor in parrallel with the -safety resistor $R_{safety}$, using a switch (or transistor) -we could detect the effect on the reading with the potential divider +Were we to able to switch a second resistor in parrallel with the +safety resistor and switch it out again, we could tet +that it is still functioning correctly. + +With the new resistor switched in we would expect +the voltage added by the potential divider +to increase. + +The circuit in figure \ref{fig:mvamp2} shows an NPN transistor +controlled by the `test line' connection, which can switch in the resitor R30 +also with a value of \ohms{2.2M}. + +We could detect the effect on the reading with the potential divider according to the following formula. -\vspace{10pt} -Work out a pot div formula, and some typical values -\vspace{10pt} +The potential divider is now $\frac{820R}{1M1+820R}$ over 5V this gives +3.724mV, amplified by 184 this is 0.685V \adcten{140}. +The potential divider with the second resistor +switched out is $\frac{820R}{2M2+820R}$ over 5V gives 1.86mV, +amplified by 184 gives 0.342V \adcten{70}. + +This is a difference of \adcten{70} in the readings. + +So periodically, perhaps even as frequently as once every few seconds +we can apply the checking resistor and look for a corresponding +change in the reading. + +Lets us analyse this in more detail to prove that we are indeed checking for +the failure of the safety resistor, and that we are not instroducing +any new problems. + +First let us look at the new transistor and resistor and +treat these as a functional group. +In our analysis of the failure modes we have to consider +both states of the transistor, ON and OFF. + +\begin{figure}[h] + \centering + \includegraphics[width=200pt,keepaspectratio=true]{./mv_opamp_circuit2.png} + % mv_opamp_circuit2.png: 577x479 pixel, 72dpi, 20.35x16.90 cm, bb=0 0 577 479 + \caption{Amplifier with check circuit} + \label{fig:mvamp2} +\end{figure} + + \section{FMMD analysis of Safety Addition} diff --git a/fmmd_design_aide/mv_opamp_circuit2.png b/fmmd_design_aide/mv_opamp_circuit2.png new file mode 100644 index 0000000000000000000000000000000000000000..31150efa70e7199902c0a025afadda6f200f5a71 GIT binary patch literal 13788 zcmb7r1zc3?y8aqM29z*SkP;9D0Z~G_W9SqmRZzOS21FE8U=&15}dk=Ksxh?{oIO=bZn&_a`i5tusmva9IztdEgiw&x_a0mt@$=W;N+PW7u#TT&8xGg$a#lP2sh`eL z_T@>+7(P3$lKPT+$I;jq@9RyC2Dk$_7>g0OqcZCc{X!&V+^R*-c`cjU)ikcx4+aH= zKa)|qW*L4;Dfohb>+v5es9T{YZbr9E3CH3#)|yCXOlE%UwJk}eY)H=9xqdR?gF%o& zoRlE=!Ab@WbirVya9MB&VFd>{I&ffvLr@SM83f6|N&azL5TE7#I&G4jJn?gE`_rxT zKC^?bwn^z=`(0%4DyYZRD1(~T zRn7lR1`2yf=#4@jtn+hy7M|*c$=nL`kSIvli<56^>GVwLb`whQw6+qjz(te@+ZCId z4B3#en#jMxs%oR3)5<}taM<|E$WE}bOQrc1g4o~=#vCOQsPZ&Z`pLeutEWi)Q((dTKY#e-X}~xBZLI{@ust zL`k2SX|i_^pCC8&JRwTuum2;GrK6QnnSks=nr_a_Tooi)BCcN{In83inrsjTmJ%l6 z4$mUq@t1a1Es08vhuxnRAA5bY$u;=c6AHSmLn*gAP>vD?4@=e152kyDv5o%L5)Up3 zYf}Q9{tvqTmu1WF-}`kvWac>T%x>lQ=8J45h}Aj3h9o3UruLioX$ETw2+sd^X^&qg z`)1j^B`V3oqw$hH`^r_DkoLWSfrrg4YCG|cANos>cxFV`i?cW$$$)DSC!o2}l^bG8 z={)kUj6JqoF|3y5;zGWg44+IynY#=7#5CTmziBK9I9S$ERW;!mqOImvukZ*5a$vm< zHdmxp7tSGiF~X?IGh5iP#Mi)oI3`)`EWKfFiTiUM{8b+Df{BT|+w#D)laAOBoN!o; zv-&3~U{HGrB8GX@)k@^#RW*GZ9_9{X(r4*_oW(*TJLgU&2-jo}4=30Fdtrl*e|PlC zEBICP@ne@nmQ(+$wElkUl*IyLtJ`-6?oXCswqVel?Ixw%XQRc7rh3I+C(E!92V!HE zYY|Pr zJ1cVG{D zu}P+v6ADM|eDX^*FI;%KzvML5M{l0E5oc&lc)DEUm7tzwg5n7w1#6ewe>%OQrXFQq z=KIhpmVEO(H@7Vw*-2j6+P8eVhFv-^l(;l+sU^?sEOj5%b1yYoVhPf%@mt|-iK0$F z+M5T_!NDU@8R6k_e3?+{4pwCT^cgd@9HHLcmI#{0%X(;_N`D%+*GZ;Xhlfnebq`8H zTW_y;yv5Z9>|EjGnPt~009&Pz3F%^z)! zHFR-_ZL!yk>haHglCG?^Kq0*wU(hF(B-Wd;h(X2nm|p@w+g4QybI3!e{ zw!;&qs|Z=D5H!b>u}BC0$^2scT&Eq;b&M)E#W2$>0h=o~-njzX z%bc5=p}uoXxX`q!J7;3Vxvu-;P?E%R$oFjBqmXxfV#>Ilg4GHpMn>NJt++-(aCl&m zUN!Zh-+n7z$j&|1u{$7zoLmBDI=^U_dEn)_))Ktb6HK16sNGT#2VeCReXf@{0y3XOr?XI?>q=83vJI|9pIFDN* zY;i)!b9{*fyv8&P<;J%UhI?6wy2sTPojM(w58_&szL{D2w{PR7AD0S^^COnLdWDUv zv^EnB@*VYMza)F|E+UiX8_9v9QxCqXs)XstesLUF(mZ?S*S4|1LKx7SMhem+*0H$o zK%pH0u0NP?#yC6Nm~Ni0_TFuomndxEyLsVDdFI;|*l(BZ?ONz{+v+oBDf6v#^SfK< zA?BL#r9#!+(7w0^EIaz0XeW;e#!S*M5T8F%fnRS46|_*=xVjF^+2FQkzr`r{xQz<1 zmCZx?+iJPFE=DDDoEj<2W4TMWE=F+kp>1(&`P+`g?BHRvI9@F`k%Z_suXU^wm9W;G zYD!$&Jw3M^1~-!%tI-RA$A~sJcRW9Hcb6?HV`}PT(qLO(VQ+K$*tmzryEgkjpQ5Np zA9@|3%8=I8#d#wk+ESQne#9&GLVGcXU`@2Kwccr zT4kzAdTB!+Yr>$kXR06&hy7sL1&KqY)_MN8{NF?7ze8j0%##x^Nz_YD68QJe9Vbma z1hjTM#a#m*7myM$!O17D$N;usP5mrWPcEa}$px3W<9D>@<+0J)Zavpwo)<`v;JkdK zBz-VoKINV){C4kfquA)vx=;k;PR0IKi=O%q_R8tEvzxQhL)CI`4+y3sp^Z5Fr|cvN zA0@T7hltKjY)8{;LV75(uW2pc_E>TNdB=ogL(v8JcY3}$#SR)Nxe)gcr>0y#ZPu|I z=_Cjn?3*CFGI%!ojHSC?vEjFBR?g<;!lKP?X4~Qom)w?^FQ8QTN?I>tvwjA^MA$^%hR~KNU4lMqIbry<`EInIQ)(X zMT%9*2z^H_2`d?!dLAniKAq`nITK&${W>#5*GvAzCIM*TwfcArL625@1D z5)8!m-a=4LH$T+%l69E-;1}%9sQ6_>yi~xGv4@ctZLZ5T&>~lr9fr1R%N+d7X{Alj z-@e`F<~vH()t&GSFh|!2_w8cEi-d%ek6W9=OcXfbGE?N=_>;uFWTOO~Mhy*&5A=wV z!B27Fc%+a;G)(*YULyvl&K$T7JPfF`|MN3<;sxiamPP~gS8BX4m$f1t-1cOjycY~S z5{j25FyMb#-Sp@+KrJMBEdc!iw1576RYjkx(UoPMphx<_P)O#%@&Om3tFXK_bvC(p zp^i4m*0wVBrd7OUajzYIUvhsRm-3dQHDRavXg!v;r{DW_N+7at?h4b{-bVIcCs?Gk zqc$5DmCvYi^?6$UwWi9AHvO6n&7?l`NT&F5f7ilCO!fL>GoNWv%={RBnG7{lY=zQs zS%YO}OIxYitz3BUIQhX??_b8z=Y+heg~8U|DIXD*O;@76t*_5QeX-v#`m$--!E!=Y zlK4s#hr<{$^xU<$)RXMT@|?`08zPzVLYd=psTprbEU&CJ&f0tlreu)vm+44)h#MtZ zbR#9bn!;{P9{WMT6@Ui^Ly3<1pXw!FeFa z?E0rim5Wx|Ev(Oy6<5jOvNGSu<6p*O$yjc$kewu<1MxnHnMS$>1(5*<4)JelTIyKm zGmONEb$05+ONibk9IfE&I^Tbn!ijsYR+QO`=74Z-i$kNPT|ZS?YPa5_l(`rW199e( zw#B6A((vAEM=YLGNXWEfqTYPN=+W1Zv1j$Qr-A?g47xs^&oGJJEHTJ+X_rPG9xpU9 z$fIW5Ug%UFTfY!|S+iOWfV-G?qKIfNf)fR^`C{ldq-ak;H#HeCvA}BXO*P5x_hKA7 zpHcgHtp0RKY56r4XwDTJFP`Yr?w9kW>!K1|2KsrLUX9FGg>W>olaOB8J?vLWDg=Xr z{16n$LXab@u>`*6XiXBYH7=ia-J_MithW=Arj{=Q-jNnkcV9-NV)NPuB5KC&wN^6^ zc-jR#RnJ0K-MWHKEc7@X(cP_l1r53$&dR7%#YpRb%)J^#lZWI`1bw*E+j>Ag-R%np_B;#bsy)R^*bu*U7n1iB6 zr-{0x^JQx)tn~eKG6Vo*PA=(jfxxj^zc*2*aOk}+%)t%qNm=B^M{1-LG*eGIm7s~! zkW9wJgXi}faG#TDl+%H?LMh zN7KV;2`oprFlzBa>VgHPM4uHXOx-;^QrqF_yL&X^M;(O5z$=$lp&${OP(=t}NBL0A zD?B`fz0&|D_2uq;nK~S}EF>h9>onHn{oI_v8`zW#{KaQ;!jbqN&`!MlQ9iEVZaQf) zi#7$j=^mq||fuDO{vPQS>laZT)yU2o5 zn(yztBs?%rZcX4ZFf+4AJUN4^>%4*hNRJMP-Q67(K`;OEl>!|J4u00<8HnViekP|FDoc? zlp_UqYoG_l8z&Eq7$uoO6%Y3VepZtw3l#CJS!FQii;QnjF0ttir&n3qhFzu#3z0SZmFy8Fp_v&p+zlOA3!>6waPCxKO@QJJhwX z?$D}i9eO!W5t8A&@}qY6(9i~yeVd<2MM~@jwtrAStUZ6#WPbw~tkoR?3{d5}?{9d% zAA~%~$~x{l{&c6r$1QWzXEsMO@m3}h&)41mq0W6Wg0gZl@{DOyJS8`NNTIg=YkcCT zrUXbQ)#0+3VMzFO46qSl%M0G!ZV&GnvcgEUOQk}9Ih z4ioVCG%yt?)$572*6pVNu3tkme;+_=N$mx55reACN@!X#T#m4h(R&lmkX;wb=sx11 zWdp)aUardmkdBx~9)g0F83+7Q$ZclDTQ|t@n@2G8S&MFAVUhIH)}q(DYj1~y0+DIk zzeMx=miOGM`rK%-<4z3n)=)@l*qIYJDVz4#<8<7zP59acG;S$J=gHO%b}Vx?CD0Hs zAhu(*VoA4LRPhHQD5ke>-==b^>3ZJ)iAhe=)W0UX@;&zyM(#9_rq`&bBKXeK z+aYDWzDY?EBpj@L-Q?a$qSk$RPms41F%lWGj!D_DJUXJ>m<`O$G3?5bWE$t+a|3YN zQO_K(sl$*aa?2+8p2&l5@PPgKY;IoOn7VQJ3swaKINTwT>6|6A_fHrDn|9LPjTdQq zaYcAqE88D@gWz@G=-OwayH_g~B)O$9u^C20_HE6mZ z$K3_zPu?xZ)N??l#!@>l$=YyL9AoBJfXR zb^1@i+er@T$ms@GEYLh;n-^(9VKQ`2Y1&vxfu`uz(!yE)C>q{Bp}P+!TBO1;wmi8d z%Zatez(em}c$Py|%6>1-+n;#t4)Izc*$Hx+4)}H>{g+#c%#hsm6CP9g`v3q1>%98j z>1oy^8w3DTh&A1fui7oI%>(dkbJgX!ZMm5kAA03R5ezva^FjvmJ2RAdvM} zZQh*GxS3iC^}M!^o_rB5&(BMHKt3%sb~V6#MK&THNzMO2jt-KB%d9dYIbMjfE$(z( zIT;j88Cv&sf%FD$*4)$c9Y}?!hXERH#RCg5Nv7vIEQ;>fH#c3;S5iuAZl>{T#pLAl z*6cU}PJ-uU{frP6@Ofif;vWNLZXIKdbcC56*1CT3R`bYIYyUd;J*wdQo1ulng@tKV zRfhZ55@KSAB|K*OV{yxy6s$a-p=M~AQ)!<~^P6mmtfe6@6aeet&M}FHA!B%n&G17Ubb4){+XNi#J!MH0%H$8*tEt|O?oQt(6Uy*tf@omF3H&2 zm#nXM#iU^CEcQWutf65a0F;N=R$fq9G&sp#l#z|v>YpJpg+H`Z!q(!PihFrLx#Hs2 z5UwLd`>xcB5Ts2bO~wis0Y|~#)X%fjKdGN`drV=ST_{bGwz_&C%9&K*0rY-_7Gyj6 z4?{`ZfMf-f2x|T}y;I8E?YWfKTj5eiGT2t>@d(xSqqfW^7Z5!c2>gIuiHn1omIcb> zJY~s~mT7;lrQIL!YJWw-gh-rvf?X8!Sul5l1I+N=OuJT}saK43TjDGS;*ndFuzk~N zRdwra%-v!ouc0GY+L<6Yct-lEGcZ8t>FX8CQBn$+ZTy(A1ndK^-1oSk^6n1j!E{Osm?jK0Il#ZL6Kxdii&DN+fsusV*3TxOyB0Sj9t-Q?qzy>CDM^?Q`1 zzOO$*{UUmOodKci;}g+1aF@wre!v{8f4O#O!fk*^$28)S4k*Yhb^$a5d`Hl4Qid73 zar)E)eeEJ+&ni8@OZ!c|(j}IdTG&B5Usk4sp+RZ)#NwIr5gie*u$x%m+P*4sa^ZmR zDL3N1TjPr!^H_NxhP0sivq3*a2~X5`+Q`1)29NIqG23YML)SsI=03O z4cgfk0cUC;lsgvQMjp{%c*Lv3#Ty%G*Nm`5&a&A%v`n%21N2XH!YJPgq@Uk74oB(- z{{?RL5@(s+ONyVME^|g`+svN=j5DBW^o=UNO-kWCq8vXV5#KL?lS+`S)9ifTHtorV zfM4@nSY{+#KQM@Hx8mNJJ-#FIk(cRBq^9_NYQ>{bH_1+}&;_m4YUJK8ML$5#$b^0+ z>#<`y4pLdoIxGeFe%Uc)@~@(Yf>;XcBtbv*PlSqMMhTX@hPCFI|_cD}*i-z;wMi&v=&8`t30 z0YcbEH)idH3BMRG;y#aM9=2@Vlp+Rqb0xTe;44_O^P2^X0IEWpU2JS<2mL}+n7@PlCUQFT$ z0K|YAg$wb~Xwkiq>8kJgcjJg53>MiRhgv8UujQw+1C1ety%vJ@IfG z9>dy4WUL5)s@LKIe|~n+h`ZiZkrZ_*JBG(RU7+qFER2|_+70V-GEq`uxgfeQ8Bq|E zP4J76WqrU%1E#&Sa`@xJ?r=hEEX!*^;Q#t{&rT zbj$~c>rpF%!*JOhdtz*M3H$YoG5PlIvZA9YCowwcx#ZhnkF8+@a2-1-d%MoMO9Ou8=4vs;7GsCrk+ zsM4J~;zSrom}I3-k8`Q%Cg64kDoY3Nlx2b*(d%hHZP+Z)t;mNXYpZEqc;w?ruZgTk=Jh>RD1bSn85+^Pr zZdxG~A3h9?7~;qJtK=KDXM$ySf;vDhsEPr!;395*EBo!MsC)%Adhy%l0QBFuK_vt@ z`G#tc+5|7JasoT1y9AyLMA=*suru;j7&lPFCg1W_BYGe)BPvRfxy~MX9ZB5Y>%M2D zDk@=}q_o2w=!YYKl#hVv!@S?00?kaY!2jBolzHX+$wZI@VCSGFiyQB(iERzguP$N1 z5#@T4>ZxSp=U|}ru!>h-It@b@0jT+BJwx~E*|TE|Fd|@?^4T2^wIPx#(CgW?MwaZ8 zL3E#ivC3(pZ9KK5YePMXLDdyAIoK9W4qS^&QqP*4I^=Dm(nwZ2Du5fecUYk|Wi7gt=;C=E zsx2YH|G#h02cG;Kg3f9aX90l65gT=YTsq_OLINT?8U0-N4}IP@;TweJ5dUbZ5`zQr zP8kko+L$k|F8mvT?KX8X0)YWSscG%&aenKb9Gx2oVC6=|kEkO^SPR~n@S$}EV~90o zpn=<4YPn^-FW)j>!W77W4*zH=&zXX@SUVQ@2Jn66mi_pdM*tv*R~6`?>c{qLna$OJ zwZy#E$pKBZm>8yQBOD8;Z$SyMeu=mVXB`mMiCn}#J*bS7gribZ;QL+Vh&3A44hvzt`zm~%*7%FdLu!DVS9RO`QcGv0- z(RP1BMIhrBI`VVPQcur}{)i?<$W(ko_=UU$+jcsAQ&Wr`CW3lbO2okz)2n^MTKmnI z&tC{>wJ#nBlGoVNG@%6~cqmL8WOSnZVq#_l0zl_$ur$BVVi0Xw${^x+=kw5D5nG+p z6`$E8F+>*tsd@mkf<7W@4}gHPr*Ed34h>X)(v7}c&&|mh$#uRaSPB@WrIGlPJP@)P zmq4hvTi7U(1rA~ccWvxO7#+O_cd_*k{$xYktr@|)OF@&w?0|HWgXpy+052Urqb?R5 z$Z7iB8dEQqj07RI8+1UMrkh{4#H0f!CjuTZcb40BNi#ouG#C5cZ8fnwtxpks&w7UD zJP3NAmt_swW<=Q?Bae^+e=l- zKy$rKuSsiYa*47Dav4eN3zh?vNlYwGB?^EriMF-{N{1x8M{afXfYK{s3-F=U&1yPg zoM5?KSgAu!euNo{enpoKy1XEVfv`9-ek5u--xWDjTT;LQ2%x#`A&di#{45M8O(8BM zR2vT&kuC_`9H={^CU*XpYQ$KL%|2 z=hd5T5Au6cL0^g2XfrBH3$@bM_yIfum8Ss`3(6tupTLMHgrz}jthv;;(-F+|SJ#1z zK~Jt~WPZch(EpGQq3gOH<`{5sY`5Xg?~#UQ&nP6Bm0j0QGjAL}PG91K1vc!lQZw`> zS?cX^u1kmV+8{_N2p0KCyP3Ejl6HvxZoX$yFjsuBGt=#YqXMhcR8HB!G&Lc!~e_nZuZzZ$eq(f6{DZ6%DIxdWd#&Hg53V^~6_QmvYq7Ri5VlDI~yo%NFU#}xciu)Fu@bGelYgl z%F!&XUCLc0>T-ZnnR>u}PF}_EZ0^+q!m3gN+gvnWnFBHAv(08IU=zNtuw~GbdZemy z5brp2m=eV?R7QpJ(5yDkZyjsvVt+zVM4k9#z>nlIPC1&)X~(aXr^Jq;ua++aDp}4A zY^E@5*b-{Zv04Wr(>qwj{K?vU!`l*R#VIN471G%wY42C27h>hHnaarL_+Y?U7AiT_t z9by#1GoU{Abgg07mAj9!o}L(?l>|#x{32;O4uk@cc&d z(L0XZ&DljE+kG<0so^Xq$*rJ_8Ki{cGI#sYdsoy!uK$N6`TJ3CK8#DB37EbfGrYx9 zc%fLEQ+l6e$&_FfpldMcwkHz!31RNvm5T8Xh(a0}XQcS=QbfcH$fn?uIwH*_SXPm! z>dUgygo(4Q1k(+q;bEnUMs}O^*WiSbg<^;1L-`G%+xCG+RUg{Mj#e%QY^TY8zhI7Q zu9RMomKu2fyu4L6U@O%3pgeHGAUw6~H&pH(-!fWMpaz9maMwm)2CVKF0ddoQxV~1O=)XYM<@)MX2Y0OW+hAOrmF~(%7aDb*-;L!qCN2flq7q`UCcN z0`0qK&G9k1gmwuHGeKoAoQRg@^-*vlc(&BjS{?`>bWNJQEd~v8&0{#yF}gAbNrz`q zLn*z;^@o1n4otJho!z7}09<~w$?JPfN>6uVT#&W@;Umq>ykmub40_k*Y6lT%p{fw=>jnKcV^;>M<0=+3Bp?frIl?{Pv`f4_Li3tXq~PcJwwoo zEAYp6e~3s>XOQ-aZ)kTol9Al&bdfxll1sEF!seut2>)a{Y1!gea>CBMs}SmH>P+6- zv13j;1$~-Gmepm_sall> zlU&pdC2=7{0vmFY+ zIv$mZZA?(ugAd2{_zUB{qaqiJ2emevwU9gr2CtU-sKeC$w5W_4#nNt=L=gs`%a z@~n{qK`@CLmBEDdHk+-zl};KseE;IQt9gGX{?3vA3TA7s(>KXZqELjzhZy~E-LZknAj}q-qU>g#ywu;D@T@sFG~Zm_2o%Ud zsk{)`SIWd6h7OwRqZbMT^|t!37h2-@7Sjg^9$c6QU?j$RNi z!lK_v7n?2u4+>cxsL~X9$lDiV&X^5u=;g}8JWw*vU0gnT3oe-%md%k#diSW{Q?Qb0 z92>aamG#FjUNEOl?cFSOpCv4;=ks}fJ(@}1u^Ft{5OV%Tr>IEVAw42u?#5Ds89BJQ z9#6)LTr#ZOPeJRX zi`vV~R10VA0S}@(1jFM{WfbP;1SkrZ29wNslm5>fILcOAd7D=@Y^3deOxhR&NHs9T$SouU=3mWyw_^cmo{vGMW~ycT@-8|Hs_KT)270&? zAToYXLRLojRr7mgHpYS(LvDU2=KhN6>W0Z*1(B7Tzxct-oY$Dc+NWP&FU$2YvL6yuT+V!)TO3-~y227nQHQMj66}K(31pOpVN|m?# zM|NA-5s;u@sBqoy{53#+$HdS~dOpmon>@2GvjYqYjP*bxZKk}Szad5IRo_VanuC+e z%W=36v>yB-sKHe9@Gjx6fx?GYURJYU(9mp={v6-jCRn{Dn3>uP12fj#+@RYRxZ>Zkw}1~?d;P&)%Q#al>P#7LQ-US@j1mbH3BN=Orelax zNMS0V>q>XZh!HJk>*uTwRS>xiz%>I>5>Bb_3%LvZ#pV!)5C8Mj648GD_ICt-kZYSK zj%kx$iuNF>|BuJal4d~aG&hu|##!bAPbXa5_?^$%i;NWA@(yY4w zX13u!tl+=WjsNTY{2%xEe}Bs#n)u@_mt@DBM?WQejGfc3(c?lT|9q!(M{IA+1>_$N zY8V8&4r+MAisfNYW;VavKh}Oj&MXBP&>OhQx&`Kj_Nke3TJ{wYQEe%b*~MI1^S@@Z z-DjrgE1k=pH;~Y60_^!@!X?CmGe>Kz#XFNtf&@QsIVq2zp1mNQE&!$GyOL-C%JGuU z9Twu>(X9S|XW;&wHT_>D#Tr#%()IjwHj(0CU9UdcmnM#=IwqL##lCz5jA9&Jd-UcR vHDjt&fI5iK5Z$L+7r~!s5pRcHPY_6tPRI5Pbh~YVUm=8|rUF{-Uhw||+MhHo literal 0 HcmV?d00001 diff --git a/symptom_ex_process/algorithm.tex b/symptom_ex_process/algorithm.tex index eabea67..ab7f878 100644 --- a/symptom_ex_process/algorithm.tex +++ b/symptom_ex_process/algorithm.tex @@ -312,13 +312,14 @@ $$ atc(TC) = R $$ \begin{algorithmic}[1] \STATE { let r be a `test case result'} \STATE { Let the function $Analyse : tc \rightarrow r $ } \COMMENT { This analysis is a human activity, examining the failure~modes in the test case and determining how the functional~group will fail under those conditions} + \FORALL { Environmental and Specific Conditions } \STATE { $ R $ is a set of test case results $r_j \in R$ where the index $j$ corresponds to $tc_j \in TC$} \FORALL { $tc_j \in TC$ } \STATE { $ rc_j = Analyse(tc_j) $} \COMMENT {this is Fault Mode Effects Analysis (FMEA) applied in the context of the functional group} %\STATE { $ rc_j \in R $ } \COMMENT{Add $rc_j$ to the set R} \STATE{ $ R := R \cup rc_j $ } \COMMENT{Add $rc_j$ to the set R} \ENDFOR - + \ENDFOR \RETURN $R$ %\hline diff --git a/symptom_ex_process/process.tex b/symptom_ex_process/process.tex index 5f140d1..0776ee3 100644 --- a/symptom_ex_process/process.tex +++ b/symptom_ex_process/process.tex @@ -83,6 +83,8 @@ form `test cases'. \item Using the `test cases' as scenarios to examine the effects of component failures we determine failure~mode behaviour of the functional group. This is a human process involving detailed analysis of the failure modes in the test case on the operation of the {\fg}. +Where spcific environment conditions, or applied states are germane to the {\fg} these must be examined +for each test case. \item Collect common~symptoms by determining which test cases produce the same fault symptoms {\em from the perspective of the functional~group}. \item The common~symptoms are now the fault mode behaviour of the {\fg}. i.e. given the {\fg} as a `black box' the symptoms are the ways in which it can fail. \item A new `derived component' can now be created where each common~symptom, or lone symptom is a failure~mode of this new component.