Projects per year
Abstract
We present the OGAN algorithm for automatic requirement falsification of cyber-physical systems. System inputs and outputs are represented as piecewise constant signals over time while requirements are expressed in signal temporal logic. OGAN can find inputs that are counterexamples for the correctness of a system revealing design, software, or hardware defects before the system is taken into operation. The OGAN algorithm works by training a generative machine learning model to produce such counterexamples. It executes tests offline and does not require any previous model of the system under test. We evaluate OGAN using the ARCH-COMP benchmark problems, and the experimental results show that generative models are a viable method for requirement falsification. OGAN can be applied to new systems with little effort, has few requirements for the system under test, and exhibits state-of-the-art CPS falsification efficiency and effectiveness.
| Original language | English |
|---|---|
| Article number | 33 |
| Journal | Automated Software Engineering |
| Volume | 32 |
| DOIs | |
| Publication status | Published - Mar 2025 |
| MoE publication type | A1 Journal article-refereed |
Funding
We thank the organizers and participants of the falsification track of the ARCH-COMP competitions for creating a standard set of CPS falsification benchmarks with publicly available data. We thank Valentin Soloviev for fruitful discussions regarding the experiment evaluation. This research has received funding from the ECSEL Joint Undertaking (JU) under grant agreement No 101007350. The JU receives support from the European Union\u2019s Horizon 2021 research and innovation program and Sweden, Austria, Czech Republic, Finland, France, Italy, Spain. Open access funding provided by \u00C5bo Akademi University.
Keywords
- Cyber-physical systems
- software verification
- Signal Temporal Logic
- automated test generation
- black-box optimization
- generative models
Fingerprint
Dive into the research topics of 'Requirement falsification for cyber-physical systems using generative models'. Together they form a unique fingerprint.-
VST: Virtual Sea Trial
Truscan, D. (Principal Investigator), Hellström, M. (Principal Investigator), Porres Paltor, I. (Co-Principal Investigator), Ahmad, T. (Co-Investigator), Chariyarupadannayil Sudheerbabu, G. (Project staff), Yaseen, A. (Project staff), Khan, S. (Project staff) & Mughees, A. (Project staff)
01/01/24 → 31/12/26
Project: Industry/Business Finland
-
AIDOaRT
Porres Paltor, I. (Principal Investigator), Truscan, D. (Co-Principal Investigator), Nybom, K. (Co-Investigator), Logacheva, E. (Co-Investigator), Winsten, J. (Co-Investigator) & Peltomäki, J. (Co-Investigator)
01/04/21 → 30/09/24
Project: EU