Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking

04/24/2020
by   Masaki Waga, et al.
0

For exhaustive formal verification, industrial-scale cyber-physical systems (CPSs) are often too large and complex, and lightweight alternatives (e.g., monitoring and testing) have attracted the attention of both industrial practitioners and academic researchers. Falsification is one popular testing method of CPSs utilizing stochastic optimization. In state-of-the-art falsification methods, the result of the previous falsification trials is discarded, and we always try to falsify without any prior knowledge. To concisely memorize such prior information on the CPS model and exploit it, we employ Black-box checking (BBC), which is a combination of automata learning and model checking. Moreover, we enhance BBC using the robust semantics of STL formulas, which is the essential gadget in falsification. Our experiment results suggest that our robustness-guided BBC outperforms a state-of-the-art falsification tool.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

09/10/2021

Efficient Black-Box Checking via Model Checking with Strengthened Specifications

Black-box checking (BBC) is a testing method for cyber-physical systems ...
10/07/2019

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-P...
05/01/2018

Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning

With the rapid development of software and distributed computing, Cyber-...
01/09/2022

A systematic literature review on counterexample explanation

Context: Safety is of paramount importance for cyber-physical systems in...
06/04/2021

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems

In this paper, we present the Python package PSY-TaLiRo which is a toolb...
08/23/2018

Learning Timed Automata via Genetic Programming

Model learning has gained increasing interest in recent years. It derive...
07/15/2021

Using Cyber Digital Twins for Automated Automotive Cybersecurity Testing

Cybersecurity testing of automotive systems has become a practical neces...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.