A survey of algorithms for black-box safety validation of cyber-physical systems
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-
critical applications, but require rigorous testing before deployment. The complexity of these …
critical applications, but require rigorous testing before deployment. The complexity of these …
Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness
Hybrid system falsification is an important quality assurance method for cyber-physical
systems with the advantage of scalability and feasibility in practice than exhaustive …
systems with the advantage of scalability and feasibility in practice than exhaustive …
Falsification of cyber-physical systems with robustness-guided black-box checking
M Waga - Proceedings of the 23rd International Conference on …, 2020 - dl.acm.org
For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often
too large and complex, and lightweight alternatives (eg, monitoring and testing) have …
too large and complex, and lightweight alternatives (eg, monitoring and testing) have …
FalsifAI: Falsification of AI-enabled hybrid control systems guided by time-aware coverage criteria
Modern Cyber-Physical Systems (CPSs) that need to perform complex control tasks (eg,
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …
autonomous driving) are increasingly using AI-enabled controllers, mainly based on deep …
Multi-armed bandits for boolean connectives in hybrid system falsification
Hybrid system falsification is an actively studied topic, as a scalable quality assurance
methodology for real-world cyber-physical systems. In falsification, one employs stochastic …
methodology for real-world cyber-physical systems. In falsification, one employs stochastic …
Hybrid system falsification under (in) equality constraints via search space transformation
The verification of hybrid systems is intrinsically hard, due to the continuous dynamics that
leads to infinite search spaces. Therefore, research attempts focused on hybrid system …
leads to infinite search spaces. Therefore, research attempts focused on hybrid system …
Exploring the role of simulator fidelity in the safety validation of learning‐enabled autonomous systems
A Baheri - AI Magazine, 2023 - Wiley Online Library
This article presents key insights from the New Faculty Highlights talk given at AAAI 2023,
focusing on the crucial role of fidelity simulators in the safety evaluation of learning‐enabled …
focusing on the crucial role of fidelity simulators in the safety evaluation of learning‐enabled …
FIM: fault injection and mutation for Simulink
We introduce FIM, an open-source toolkit for automated fault injection and mutant
generation in Simulink models. FIM allows the injection of faults into specific parts …
generation in Simulink models. FIM allows the injection of faults into specific parts …
Efficient optimization-based falsification of cyber-physical systems with multiple conjunctive requirements
L Mathesen, G Pedrielli… - 2021 IEEE 17th …, 2021 - ieeexplore.ieee.org
Optimization-based falsification, or search-based testing, is a method of automatic test
generation for Cyber-Physical System (CPS) safety evaluation. CPS safety evaluation is …
generation for Cyber-Physical System (CPS) safety evaluation. CPS safety evaluation is …
Property-based mutation testing
Mutation testing is an established software quality assurance technique for the assessment
of test suites. While it is well-suited to estimate the general fault-revealing capability of a test …
of test suites. While it is well-suited to estimate the general fault-revealing capability of a test …