Extended FRAM by Integrating with Model Checking to Effectively Explore Hazard Evolution

Table 1

The Output variability from a single aspect.

Aspect	Variability of the aspect	Output variability
Input	Earlier	Earlier, normal, later, or omitted
	Later	Later or omitted
	Erroneous	Erroneous or omitted
	Imprecise	Imprecise or omitted
	Omitted	No output
Precondition	Earlier	Normal
	Later	Later or omitted
	Imprecise	Normal, erroneous, or omitted
	Omitted	Normal, omitted, or erroneous
	Erroneous	Omitted or erroneous
Resource	Imprecise	Imprecise, erroneous, or normal
	Later	later, imprecise, or erroneous
	Omitted	Omitted
	Erroneous	Erroneous
Time	Shorter duration	Insufficient or erroneous
	Longer duration	Exceeding or overflow
	Omitted	Omitted, erroneous, insufficient exceeding, or overflow
	Imprecise	Imprecise or erroneous
Control	Imprecise	Imprecise, normal, or erroneous
	Earlier	Imprecise or normal
	Later	Imprecise, erroneous, or normal
	Omitted	Erroneous, imprecise, or normal
	Erroneous	Erroneous