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