Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems

Andrej Kiviriga (Vortragende:r), Dejan Nickovic, Kim Larsen, Ulrik Nyman

Publikation: Beitrag in Buch oder TagungsbandVortrag mit Beitrag in TagungsbandBegutachtung


Falsification testing is a popular method for efficiently identifying inputs that witness the violation of cyber-physical system (CPS) specifications. The generated counterexamples are used to locate and explain faults and debug the system. However, CPS rarely operate in unconstrained environments and not all counterexamples have the same value. On one hand, faults resulting from common system usage are more likely to happen in practice than faults triggered by esoteric inputs. On the other hand, some faults can have more severe consequences than others. Together, the probability and the severity of a fault determine its risk, an important aspect that is neglected by the existing falsification testing techniques. We propose a new falsification testing methodology that is aware of the system’s expected usage and the severity associated to different faulty behaviors. Given a user profile in the form of a stochastic hybrid automaton, an associated severity degree measure, an executable black-box implementation of the CPS and its formalized requirements, we provide a test generation method that (1) uses efficient randomized methods to generate multiple violating traces, and (2) estimates the probability and the expected severity, and hence the expected risk of each counterexample, thus providing their ranking to the engineer.
TitelFormal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
Redakteure/-innenLaure Petrucci, Jeremy Sproston
ISBN (elektronisch)978-3-031-42626-1
PublikationsstatusVeröffentlicht - 19 Sept. 2023
VeranstaltungFORMATS 2023: International Conference on Formal Modeling and Analysis of Timed Systems - Antwerp, Antwerp, Belgien
Dauer: 19 Sept. 202321 Sept. 2023


KonferenzFORMATS 2023: International Conference on Formal Modeling and Analysis of Timed Systems

Research Field

  • Dependable Systems Engineering


Untersuchen Sie die Forschungsthemen von „Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems“. Zusammen bilden sie einen einzigartigen Fingerprint.

Diese Publikation zitieren