Idiag (command)

File: idiag

Description: This program generates the I-diagnoser for the given system. The I-diagnoser is written to the given output file.

Input:   H.fsm - Input FSM


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


 * ind_events.ift - Failure Partition for indicator events

Output: HI.diag - I-diagnoser of H.fsm


 * H_diag.fsm - (optional) I-diagnoser written in FSM format