Output File Formats

The description of each element is found in italics with { } directly underneath it.

Diagnoser
Total Diagnoser States = 33

Id = 1

{Diagnoser State ID = 1}

V1, P3, C1 F4

{FSM State}

V1, P3, C1 F1F4

{FSM State}

Total pairs = 2

{# Pairs in diagnoser state}

Certain: F4

{Failure (and indicator) types that are certain}

Uncertain: F1

{Failure (and indicator) types that are certain}

OV, PP, F -> 10

{Event transition and next diagnoser state}

OV, PP NF -> 8

{Event transition and next diagnoser state}

PP, NF -> PP, F -> 4

{Event transition and next diagnoser state}

Id = 2

... ...

... ...

Diagnoser FSM
The diagnoser FSM is written in the standard standard fsm format.

Simplified Diagnoser
The simplified diagnoser has the following changes from the regular diagnoser format: Total Diagnoser States = 33
 * Each diagnoser state has the following format: ID number, followed by a Certain attribute field, followed by an Uncertain attribute field, followed by the next events and states.
 * The list of state, label pairs that are present in the regular diagnoser format, as well as the total pairs field, is removed.
 * Normal states are indicated by an empty Certain field and an empty Uncertain field.
 * When the state label pairs include a normal sate along with other failed states, a N label appears in the Uncertain field.

Id = 1

{Diagnoser State ID 1}

Certain:

{Failure types that are certain}

OV, PP, F ->10

{Event transition and next diagnoser state}

OV, PP, NF -> 8

{Event transition and next diagnoser state}

PP, NF -> PP, F -> 4

{Event transition and next diagnoser state}

Id = 3

... ...

... ...

Fi-indeterminate cycles
The simplified diagnoser has the following changes from the regular diagnoser format:

The first line of the dcycle output is the first Fi-indeterminate cycle. The Ids of the diagnoser state followed by the transitions to the next state are linked together with a '->'. The uncertain failure types in the cycle and the FSM states which compose each diagnoser state are then listed.

4                    d                 -> 2                    n                    -> 3                 g                  -> 4

{1st D state} {Failure event}  {2nd D State}  {Failure Event}  {3rd D state} {Failure event}   {Failure event}

Uncertain: F1

{Uncertain failure types in cycle}

Diagnoser State 4 contains the following FSM states:

5

10

12

... ...

... ...

Fi-indeterminate Cycles for Multiple Failure Diagnoser and (Fi,li)-indeterminate Cycles
6                    4                     5

{1st D_state}   {2nd D_state}   {3rd D_state}

... ...

... ...