We propose a framework to solve falsification problems of conditional safety properties—specifications such that “a safety property ϕsafe holds whenever an antecedent condition ϕcond holds.” In the outline, our framework follows the existing one based on robust semantics and numerical optimization. That is, we search for a counterexample input by iterating the following procedure: (1) pick up an input; (2) test how robustly the specification is satisfied under the current input; and (3) pick up a new input again hopefully with a smaller robustness. In falsification of conditional safety properties, one of the problems of the existing algorithm is the following: we sometimes iteratively pick up inputs that do not satisfy the antecedent condition ϕcond, and the corresponding tests become less informative. To overcome this problem, we employ Gaussian process regression—one of the model estimation techniques— and estimate the region of the input search space in which the antecedent condition ϕcond holds with high probability.
CITATION STYLE
Akazaki, T. (2016). Falsification of conditional safety properties for cyber-physical systems with Gaussian process regression. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10012 LNCS, pp. 439–446). Springer Verlag. https://doi.org/10.1007/978-3-319-46982-9_27
Mendeley helps you to discover research relevant for your work.