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 …
Approximation-refinement testing of compute-intensive cyber-physical models: An approach based on system identification
Black-box testing has been extensively applied to test models of Cyber-Physical systems
(CPS) since these models are not often amenable to static and symbolic testing and …
(CPS) since these models are not often amenable to static and symbolic testing and …
[HTML][HTML] 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 …
[PDF][PDF] ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
This report presents the results from the 2021 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
[HTML][HTML] Replicability of experimental tool evaluations in model-based software and systems engineering with MATLAB/Simulink
Research on novel tools for model-based development differs from a mere engineering task
by not only developing a new tool, but by providing some form of evidence that it is effective …
by not only developing a new tool, but by providing some form of evidence that it is effective …
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 …
[PDF][PDF] Arch-comp 2020 category report: Falsification
This report presents the results from the 2020 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
[HTML][HTML] Characteristics, potentials, and limitations of open-source Simulink projects for empirical research
Simulink is an example of a successful application of the paradigm of model-based
development into industrial practice. Numerous companies create and maintain Simulink …
development into industrial practice. Numerous companies create and maintain Simulink …
Robustness of specifications and its applications to falsification, parameter mining, and runtime monitoring with s-taliro
Logical specifications have enabled formal methods by carefully describing what is correct,
desired or expected of a given system. They have been widely used in runtime monitoring …
desired or expected of a given system. They have been widely used in runtime monitoring …
[PDF][PDF] Arch-comp 2022 category report: Falsification with ubounded resources
This report presents the results from the 2022 friendly competition in the ARCH workshop for
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …
the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly …