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

Andrej Kiviriga (Speaker), Dejan Nickovic, Kim Larsen, Ulrik Nyman

Research output: Chapter in Book or Conference ProceedingsConference Proceedings with Oral Presentationpeer-review


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.
Original languageEnglish
Title of host publicationFormal Modeling and Analysis of Timed Systems - 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings
EditorsLaure Petrucci, Jeremy Sproston
ISBN (Electronic)978-3-031-42626-1
Publication statusPublished - 19 Sept 2023
EventFORMATS 2023: International Conference on Formal Modeling and Analysis of Timed Systems - Antwerp, Antwerp, Belgium
Duration: 19 Sept 202321 Sept 2023


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

Research Field

  • Dependable Systems Engineering


Dive into the research topics of 'Usage-and Risk-Aware Falsification Testing for Cyber-Physical Systems'. Together they form a unique fingerprint.

Cite this