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

Table 2

The Output variability for different types of functions.

Types of function	Potential variability of Output
Material handling	Earlier, later, imprecise (quantitatively), erroneous (with an incorrect target), and no output
Energy transfer	Earlier, later, imprecise (insufficient quantitatively, or unstable), erroneous (quantitatively, or with an incorrect type of energy), and no output
Information/data processing	Earlier, later, imprecise (quantitatively), erroneous, no output
State change	Earlier, later, imprecise (incomplete change from a state into another), erroneous (with an incorrect target), and no output