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

TL;DR

PSY-TaLiRo is a modular Python toolbox that facilitates search-based test generation for cyber-physical systems using temporal logic robustness, supporting customization and multiple system types.

Contribution

It introduces a flexible, modular Python toolbox enabling customizable search-based test generation for diverse cyber-physical systems using temporal logic.

Findings

Supports multiple temporal logic monitors and optimization engines

Allows full customization of modules for different systems and robustness measures

Facilitates effective falsification of cyber-physical systems

Abstract

In this paper, we present the Python package PSY-TaLiRo which is a toolbox for temporal logic robustness guided falsification of Cyber-Physical Systems (CPS). PSY-TaLiRo is a completely modular toolbox supporting multiple temporal logic offline monitors as well as optimization engines for test case generation. Among the benefits of PSY-TaLiRo is that it supports search-based test generation for many different types of systems under test. All PSY-TaLiRo modules can be fully modified by the users to support new optimization and robustness computation engines as well as any System under Test (SUT).