R diag (command)

File: r_diag

Description: This program generates the multiple-failure with reset events-diagnoser (mfr-diagnoser) for the given system. The mfr-diagnoser is written into the given output file.

Input:   H.fsm - Input FSM


 * H.ft - Failure Partition for building the diagnoser of H.fsm


 * Hr.rt - Partition of reset events

Output: Hmf.diag - mf-diagnoser of H.fsm


 * H.diag.fsm - (optional) Diagnoser written in FSM format

