The Set of PossFaults(Cont'd)

PossFaults[{t07,t*7,t*9,t08,t*8}] = {

{t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S0}

{t7 - e ->, t7 -> S0, t8 - f ->, t8 -> S1, t9 -> S2}

{t7 - e ->, t7 -> S1, t8 - f ->, t8 -> S1, t9 -> S0}

{t7 - e ->, t7 -> S1, t8 - f ->, t8 -> S1, t9 -> S2}}

PossFaults[{t07,t*7,t04,t08,t*8}] = {}

PossFaults[{t07,t*9,t08,t*8}] = {

{t7 - e ->, t8 - f ->, t8 -> S1, t9 -> S0}

{t7 - e ->, t8 - f ->, t8 -> S1, t9 -> S2}}

PossFaults[{t07,t04,t08,t*8}] = {}

Note: ti -> Sj means that might have transferred to Sj

while tk - y -> means that tk might have the output fault of y

前一張投影片

下一張投影片

回到第一張投影片

檢視圖形版本