PRED: Undesirable Software Outputs
PRED is a language for formally specifying hazardous or other undesirable output anomaly states for software S; PRED is simply a safety oracle based on the system that S controls
Not all software failures are undesirable!
- Software Failure Levels: Catastrophic, Severe, and Major
In certain situations, if a particular variable becomes corrupted in any manner, it is hazardous. In other cases, it might be a set of conditions
- e.g., if variable_1 > 5 and variable_2 > 100. And in other cases, it might be problematic only when variable_1 = 103.