Sdiag (command)

File: s_diag

Description: Command-line simplified output diagnoser routine. In the simplified diagnoser format, just the ID no., certain and uncertain attribute fields, and next events/states are outputted. The list of state, label pairs is removed.

Input:   H.fsm - Input FSM


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

Output: H.sdiag - Diagnoser of Hf.fsm in a simplified format


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