Trace Analysis Results for Variable Failed(Failed)

This text provides more details for variable Failed(Failed).
Variable is of type: int
Variable is initialized: yes
Purpose of variable:
The variable describes a state variable, because it changes in value in the trace.

Distribution of Values

The following figure shows the distribution of values seen for this variable.
Characteristics of this set are:
Range: in {0,1}
Number of value assignments (excluding identity): 12
Total number of values (=#states) considered for statistics: 5474
Arithmetic Mean: 0.00292
Geometric Mean: 0.00000
Standard Deviation: 0.05399
Variance: 0.00291
Kurtosis: 337.43717
Skewness: 18.42047
Sorry, figure for the caption is missing

Sorry, figure for the caption is missing

Sequence of Values

The variable is modified for the first time at event: 34.
The variable is modified the last time at event: 4547.
It is remains unchanged by the last 926 events, i.e. 16.92 % of all events!
The following figure shows the sequence of values seen in the trace. Note that the horizontal axis considers events and does not(!) reflect time stamps and durations.
Sorry, figure for the caption is missing

State Transformation Functions

The following table shows which actions perform a state transformation to this variable.

Action	Occurrences	State Transformation	Remarks
failure(4)	6	v'=v+1
Repair(5)	6	v'=v-1
C1RestartIfFailed(7)	2	v'=v	Warning: Action performs identity function!
C2RestartIfFailed(8)	1	v'=v	Warning: Action performs identity function!

List of Warnings

Type 7: Action C1RestartIfFailed(7) performs identity as state transformation to variable Failed(Failed).
Type 7: Action C2RestartIfFailed(8) performs identity as state transformation to variable Failed(Failed).
Type 8: Action C2RestartIfFailed(8) occurs only once, linear state transformation for Failed(Failed) is possible but fitting is based on not enough data to be uniquely determined.