Projects per year
Abstract
This paper addresses the challenge of efficiently falsifying multiple requirements in cyber-physical systems (CPSs). Traditional falsification approaches typically evaluate requirements sequentially, leading to redundant computations and decreased efficiency. We present Multi-Requirement Unified Search (MRUS), an algorithm that evaluates all requirements simultaneously using conjunctive Signal Temporal Logic (STL) formulas. MRUS combines an Online Generative Adversarial Network (OGAN) for test case generation with a unified search algorithm to evaluate multiple requirements conjunctively.
The performance of the algorithm was evaluated using the ARCH-COMP 2024 falsification competition as a benchmark suite. The results demonstrate that MRUS achieves a high Falsification Rate (FR) across all benchmarks while requiring a small number of total execution counts to find falsifying inputs.
The performance of the algorithm was evaluated using the ARCH-COMP 2024 falsification competition as a benchmark suite. The results demonstrate that MRUS achieves a high Falsification Rate (FR) across all benchmarks while requiring a small number of total execution counts to find falsifying inputs.
| Original language | English |
|---|---|
| Title of host publication | 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025 |
| Editors | Anna Rita Fasolino, Sebastiano Panichella, Aldeida Aleti, Ali Mesbah |
| Publisher | IEEE |
| Pages | 235-243 |
| Number of pages | 9 |
| ISBN (Electronic) | 9798331534677 |
| ISBN (Print) | 979-8-3315-3467-7 |
| DOIs | |
| Publication status | Published - 2025 |
| MoE publication type | A4 Article in a conference publication |
| Event | IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Duration: 31 Mar 2025 → … |
Publication series
| Name | 2025 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2025 |
|---|
Conference
| Conference | IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) |
|---|---|
| Period | 31/03/25 → … |
Funding
This research was supported by the ECSEL Joint Undertaking (JU) under grant agreement No 101007350 and by Business Finland under grant agreements AIDOaRT 42682/31/2020 and VST 7187/31/2023. The ECSEL JU received support from the European Union’s Horizon 2021 research and innovation program and Sweden, Austria, Czech Republic, Finland, France, Italy, Spain.
Keywords
- Verification and Validation of Cyber-Physical Systems
- Multiple Requirement Falsification
- Autonomous Systems
- Signal Temporal Logic
Fingerprint
Dive into the research topics of 'Unified Search for Multi-requirement Falsification for Cyber-Physical Systems'. 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) & Kulshreshtha, 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
Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver