Research Article
Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution
Table 3
The variability of the downstream aspect in terms of upstream Output.
| Aspect of downstream function | Variability of upstream Output | Variability of downstream aspect |
| Input | Earlier | Earlier, later, or normal | Later | Later or omitted | Omitted | Omitted | Imprecise | Imprecise, normal, or omitted | Erroneous | Erroneous |
| Precondition | Earlier | Earlier, later, normal, or omitted | Later | Later or omitted | Omitted | Omitted | Imprecise | Erroneous or omitted | Erroneous | Erroneous or omitted | Insufficient | Insufficient, erroneous, or omitted |
| Resource | Earlier | Normal | Later | Omitted or insufficient | Omitted | Omitted | Insufficient | Omitted or insufficient | Erroneous | Erroneous |
| Time | Earlier | Earlier | Later | Later | Higher value | Lasting longer | Lower value | Lasting shorter | Erroneous | Erroneous | Omitted | No requirement about time |
| Control | Earlier | Earlier or normal | Later | Later or omission | Imprecise | Erroneous or imprecise | Erroneous | Erroneous | Omitted | Omitted |
|
|