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

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

doi:10.1007/978-3-030-85248-1_15

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 proceeding › Conference contribution

6 Scopus citations

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 language	English (US)
Title of host publication	Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings
Editors	Alberto Lluch Lafuente, Anastasia Mavridou
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	223-231
Number of pages	9
ISBN (Print)	9783030852474
DOIs	https://doi.org/10.1007/978-3-030-85248-1_15
State	Published - 2021
Event	26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021 - Virtual, Online Duration: Aug 24 2021 → Aug 26 2021

Publication series

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

Conference

Conference	26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021
City	Virtual, Online
Period	8/24/21 → 8/26/21

Keywords

Cyber-Physical Systems
Falsification
Search-based test generation

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-030-85248-1_15

Cite this

Thibeault, Q., Anderson, J., Chandratre, A., Pedrielli, G., & Fainekos, G. (2021). PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. In A. Lluch Lafuente, & A. Mavridou (Eds.), Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings (pp. 223-231). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12863 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-85248-1_15

PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. / Thibeault, Quinn; Anderson, Jacob; Chandratre, Aniruddh et al.
Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings. ed. / Alberto Lluch Lafuente; Anastasia Mavridou. Springer Science and Business Media Deutschland GmbH, 2021. p. 223-231 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12863 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Thibeault, Q, Anderson, J, Chandratre, A, Pedrielli, G & Fainekos, G 2021, PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. in A Lluch Lafuente & A Mavridou (eds), Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12863 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 223-231, 26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021, Virtual, Online, 8/24/21. https://doi.org/10.1007/978-3-030-85248-1_15

Thibeault Q, Anderson J, Chandratre A, Pedrielli G, Fainekos G. PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. In Lluch Lafuente A, Mavridou A, editors, Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings. Springer Science and Business Media Deutschland GmbH. 2021. p. 223-231. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-85248-1_15

Thibeault, Quinn ; Anderson, Jacob ; Chandratre, Aniruddh et al. / PSY-TaLiRo : A Python Toolbox for Search-Based Test Generation for Cyber-Physical Systems. Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings. editor / Alberto Lluch Lafuente ; Anastasia Mavridou. Springer Science and Business Media Deutschland GmbH, 2021. pp. 223-231 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{9c9e482215344cefaaebc0c5f6870704,

title = "PSY-TaLiRo: A Python Toolbox for Search-Based Test Generation for 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).",

keywords = "Cyber-Physical Systems, Falsification, Search-based test generation",

author = "Quinn Thibeault and Jacob Anderson and Aniruddh Chandratre and Giulia Pedrielli and Georgios Fainekos",

note = "Funding Information: Acknowledgements. This research was partially supported by DARPA (ARCOS FA8750-20-C-0507, AMP N6600120C4020) and NSF 1932068. Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021 ; Conference date: 24-08-2021 Through 26-08-2021",

year = "2021",

doi = "10.1007/978-3-030-85248-1_15",

language = "English (US)",

isbn = "9783030852474",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "223--231",

editor = "{Lluch Lafuente}, Alberto and Anastasia Mavridou",

booktitle = "Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings",

address = "Germany",

}

TY - GEN

T1 - PSY-TaLiRo

T2 - 26th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2021

AU - Thibeault, Quinn

AU - Anderson, Jacob

AU - Chandratre, Aniruddh

AU - Pedrielli, Giulia

AU - Fainekos, Georgios

N1 - Funding Information: Acknowledgements. This research was partially supported by DARPA (ARCOS FA8750-20-C-0507, AMP N6600120C4020) and NSF 1932068. Publisher Copyright: © 2021, Springer Nature Switzerland AG.

PY - 2021

Y1 - 2021

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

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

KW - Cyber-Physical Systems

KW - Falsification

KW - Search-based test generation

UR - http://www.scopus.com/inward/record.url?scp=85115150964&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85115150964&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-85248-1_15

DO - 10.1007/978-3-030-85248-1_15

M3 - Conference contribution

AN - SCOPUS:85115150964

SN - 9783030852474

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 223

EP - 231

BT - Formal Methods for Industrial Critical Systems - 26th International Conference, FMICS 2021, Proceedings

A2 - Lluch Lafuente, Alberto

A2 - Mavridou, Anastasia

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 24 August 2021 through 26 August 2021

ER -