A Stress Testing Framework For Autonomous System Verification And Validation (V&V)

Autonomous cyber-physical systems are prone to error and failure. Verification and validation (V&V) is necessary for their safe, secure and resilient operations. Methods to detect faults in aerospace engineering (fault trees) and later adapted for security (attack trees) could capture a wide array of critical risks and we argue how stress testing could be a pragmatic approach to evaluating the assurance of autonomous cyber-physical systems.