Research Article
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 |
|
|