Certifying Safe Behavior from Observations

• Reliability testing: Showing that software works safely when expected situations occur

• Fault injection testing: Showing that software behaves safely when unexpected situations arise

+

Previous slide

Next slide

Back to first slide

View graphic version