property assessment

Safety assessment of Cyber-Physical Systems (CPS) requires a tremendous amount of effort as the complexity of cyber-physical systems is increasing. A well-known approach for the safety assessment of CPS is Fault Injection (FI). The goal of fault injection is to find a catastrophic fault that can fail the system by injecting faults into it. These catastrophic faults are less likely to happen, and finding it requires tremendous labor and cost.