Skip to content

Requirement Falsification for Cyber Physical Systems using Generative Models

License

Notifications You must be signed in to change notification settings

ClaasRostock/stgem

 
 

Repository files navigation

STGEM: System Testing Using Generative Models

STGEM is a tool for black-box testing of cyber-physical systems. It supports falsification of requirements described in Signal Temporal Logical (STL) by robustness optimization. This is achieved by training a generative machine learning model online to produce system inputs that yield a low robustness.

STGEM is under development and we are adding new algorithms and features. So far, the tool implements the algorithms presented in these articles:

  • Jarkko Peltomäki and Ivan Porres, Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits. The 6th. Intl. Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems, ITEQS 2022. To appear. Preprint available here.

  • Jarkko Peltomäki, Frankie Spencer and Ivan Porres, Wasserstein Generative Adversarial Networks for Online Test Generation for Cyber Physical Systems, The 15th Intl. Workshop on Search-Based Software Testing, SBST 2022. To appear. Preprint available here.

    • We participated in the SBST 2022 CPS tool competition. A preprint of the competition note is available here.
    • Related presentations videos here ( slides ) and here ( slides ).

Read the CONTRIBUTING.md file to learn how to set up stgem.

STGEM is developed at Åbo Akademi University. Contact Ivan Porres [email protected] for more information.

About

Requirement Falsification for Cyber Physical Systems using Generative Models

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 42.4%
  • Jupyter Notebook 26.9%
  • HTML 19.9%
  • MATLAB 10.2%
  • Shell 0.2%
  • CSS 0.2%
  • Other 0.2%