XI Workshop de Testes e Tolerância a Falhas (WTF) - SBRC 2010
XI Workshop de Testes e Tolerância a Falhas (WTF) - SBRC 2010
XI Workshop de Testes e Tolerância a Falhas (WTF) - SBRC 2010
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
<strong>XI</strong> <strong>Workshop</strong> <strong>de</strong> <strong>Testes</strong> e Tolerância a <strong>Falhas</strong> 127<br />
As a second example, the mo<strong>de</strong>l <strong>de</strong>veloped for the Specified Exceptions<br />
Behavior is presented in Fig. 6. This class encompasses the events that the standard has<br />
<strong>de</strong>fined for specified types of failure or abnormal functioning of the system. In this case,<br />
the PUS <strong>de</strong>fines six failures that may occur in the acceptance stage and their respective<br />
co<strong>de</strong>s. For other stages, the errors are mission-specific. The co<strong>de</strong>s “X1” and “X2” in<br />
Fig.6 show that these errors are not in the standard. Also, it is important to note that the<br />
“Ack” bits are represented by this configuration “[----]”. It means that the<br />
corresponding failure report must be sent regardless the value of these bits.<br />
Telecommand Verification Service –<br />
Specified Exceptions Behavior Mo<strong>de</strong>l<br />
Without<br />
TC<br />
CompExec_NOK[----] /<br />
RepFalCompExec(Co<strong>de</strong>=X2)<br />
Acc_NOK [----] /<br />
RepFalAcc(Co<strong>de</strong>=X1)<br />
APID_NOK[----] /<br />
RepFalAcc(Co<strong>de</strong>=0)<br />
TC_Arrival / -<br />
Checking<br />
TC<br />
TC_OK /<br />
Send_TC_to_Process<br />
Length_NOK[----] /<br />
RepFalAcc(Co<strong>de</strong>=1)<br />
CkSum_NOK[----] /<br />
RepFalAcc(Co<strong>de</strong>=2)<br />
Tipo_NOK[----] /<br />
RepFalAcc(Co<strong>de</strong>=3)<br />
Subtipo_NOK[----] /<br />
RepFalAcc(Co<strong>de</strong>=4)<br />
DApp_NOK[----] /<br />
RepFalAcc(Co<strong>de</strong>=5)<br />
Waiting for<br />
Acceptance<br />
Acc_OK [---0] / -<br />
Waiting for TC<br />
Execution<br />
Conclusion<br />
Figure 6. Telecommand Verification Specified Exceptions Behavior mo<strong>de</strong>l.