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

Quinn Thibeault, Jacob Anderson, Aniruddh Chandratre, Giulia Pedrielli, Georgios Fainekos

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

Original languageEnglish (US)
Title of host publicationFormal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings
EditorsAlberto Lluch Lafuente, Anastasia Mavridou
PublisherSpringer Science and Business Media Deutschland GmbH
Pages223-231
Number of pages9
ISBN (Print)9783030852474
DOIs
StatePublished - 2021
Event26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021 - Virtual, Online
Duration: Aug 24 2021Aug 26 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume12863 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021
CityVirtual, Online
Period8/24/218/26/21

Keywords

  • Cyber-Physical Systems
  • Falsification
  • Search-based test generation

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint

Dive into the research topics of 'PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this