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 | 18th IEEE International Conference on Software Testing, Verification and Validation (ICST) 2025 |
| Publisher | IEEE |
| Number of pages | 9 |
| Publication status | Accepted/In press - 2025 |
| MoE publication type | A4 Article in a conference publication |
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)
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