-
In illustrating a new probabilistic failure-analysis capability and tool, we provide examples of verification requirements to exercise the tool. Our use case is from the area of Aircraft Environmental Control Systems (ECS). We describe the electromechanical case study and provide requirements for the verification of control and fault tolerance properties.
Fault analysis using probabilistic methods is a promising approach for CPSs. In order to derive error probabilities at the system level, it is often necessary to know component-level error probabilities, and this is seldom practical. Our approach has the advantage that we can do trade-off analyses to calculate component-level probabilities for which the required system-level probabilities hold. This provides input regarding component requirements that guide the CPS design.
Related Publications TBA
Related Posters TBA
Tool Download TBA