R cycle (command)

File: r_cycle

Description: This program tests for the diagnosability of the system. It detects 4 different kinds of indeterminate cycles and writes one output file for each cycle type. This deals with machines with intermittant failurs.

Input:   H.fsm - Input FSM


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

Output: H.o_cycles - type-o indeterminate cycles in diagnoser


 * H.i_cycles - type-i indeterminate cycles in diagnoser


 * H.p_cycles - type-p indeterminate cycles in diagnoser


 * H.r_cycles - type-r indeterminate cycles in diagnoser