DeepAI
Log In Sign Up

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

06/04/2021
by   Quinn Thibeault, et al.
0

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).

READ FULL TEXT

page 1

page 2

page 3

page 4

10/15/2020

Categorical Semantics of Cyber-Physical Systems Theory

Cyber-physical systems require the construction and management of variou...
03/23/2022

A Search-Based Framework for Automatic Generation of Testing Environments for Cyber-Physical Systems

Many modern cyber physical systems incorporate computer vision technolog...
11/25/2011

Robustness Analysis for Battery Supported Cyber-Physical Systems

This paper establishes a novel analytical approach to quantify robustnes...
10/20/2021

Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees

Requirements driven search-based testing (also known as falsification) h...
10/21/2020

Safe Handover in Mixed-Initiative Control for Cyber-Physical Systems

For mixed-initiative control between cyber-physical systems (CPS) and it...
03/22/2022

Cryptographic switching functions for multiplicative watermarking in cyber-physical systems

In this paper we present a novel switching function for multiplicative w...
03/04/2019

Improving the Survivability of Clustered Interdependent Networks by Restructuring Dependencies

The interdependency between different network layers is commonly observe...