Trace Analysis Results for Action Ac_disk_failure(a24)

This text provides more details for action Ac_disk_failure(a24).
Action is of type: undirected interaction, may change variables of several processes.
Action Ac_disk_failure(a24) occurs 1147 times, which accounts for 5.74 % of all events.
On average an action occurs 1109.67 times, so this action is above average.
Action occurs at position 11 for the first time, at position 19973 for the last time.
It never follows another action in zero time, there is always a non-zero delay observed before this action occurs.

Enabling Set and State Transformations

The following table shows for what value setting of variables the action occurs and what state transformation it performs.The table shows only those variables that belong to processes that the action corresponds to.
VariableEnabling RangeState TransformationRemarks
disks_working18(sv18) in {3,4} v'=v-1
disks_failed19(sv19) in {0,1} v'=v+1
system_fail33(sv33) = 0non-linear function, increasing: 1, decreasing: 0, identity: 1146, v'=v+c(s) with c(s) in {0,1}

Different Cases of State Transformations Observed for This Action

The following list provides the difference in values (delta) for a state transformation v'=v+ delta that has been observed for this action.
There are 2 different cases.

List of Warnings

There are no specific warnings for this action.