Objective Functions for Falsification of Signal Temporal Logic Properties in Cyber-Physical Systems*

被引:0
|
作者
Eddeland, Johan [1 ,2 ]
Miremadi, Sajed [1 ]
Fabian, Martin [2 ]
Akesson, Knut [2 ]
机构
[1] Volvo Car Corp, Gothenburg, Sweden
[2] Chalmers Univ Technol, Inst Elect Engn, Gothenburg, Sweden
关键词
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Cyber-physical systems, such as automation and automotive systems, are highly complex systems that are frequently also safety-critical. Thus, it is important that these systems behave as intended, as incorrectness can have serious consequences. Due to continuous dynamics that yield infinite state spaces, the systems cannot be exhaustively tested to guarantee correct behavior, but systematic testing can be used to systematically search for behavior that is inconsistent with the requirements. However, manual testing is a tedious and error-prone task, and thus it is desirable to automate as much of the testing process as possible to increase efficiency and eliminate manual errors. This paper considers falsification of requirements expressed as temporal logic formulae to find errors in the Model-in-the- Loop stage of model-based development. The falsification is an optimization procedure where the objective function is determined by the definition of a quantitative semantics for the temporal logic formalism, and the optimization is performed over an input parametrization. It is shown that in certain cases where the discreteness of the system under test manifests itself in the objective function, the robustness values for the temporal logic specifications need to be modified. This paper presents two alternative objective functions suitable for these cases, and illustrates their use with both a small example and a use case from Volvo Car Corporation.
引用
收藏
页码:1326 / 1331
页数:6
相关论文
共 50 条
  • [41] Falsification of Cyber-Physical Systems Through Multi-Fidelity Stochastic Optimization
    Inanlouganji, Alireza
    Yaghoubi, Shakiba
    Fainekos, Georgios
    Pedrielli, Giulia
    PROCEEDINGS OF THE 5TH INTERNATIONAL WORKSHOP ON SYMBOLIC-NUMERIC METHODS FOR REASONING ABOUT CPS AND IOT (SNR 2019), 2019, : 22 - 23
  • [42] Temporal Data Dissemination in Vehicular Cyber-Physical Systems
    Liu, Kai
    Lee, Victor Chung Sing
    Ng, Joseph Kee-Yin
    Chen, Jun
    Son, Sang Hyuk
    IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2014, 15 (06) : 2419 - 2431
  • [43] Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements
    Mathesen, Logan
    Pedrielli, Giulia
    Fainekos, Georgios
    2021 IEEE 17TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2021, : 732 - 737
  • [44] Cyber-physical Systems
    Wolf, Wayne
    COMPUTER, 2009, 42 (03) : 88 - 89
  • [45] Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking
    Waga, Masaki
    PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
  • [46] Cyber-Physical Systems
    Letichevsky A.A.
    Letychevskyi O.O.
    Skobelev V.G.
    Volkov V.A.
    Letichevsky, A.A. (aaletichevsky78@gmail.com), 2017, Springer Science and Business Media, LLC (53) : 821 - 834
  • [47] CYBER-PHYSICAL SYSTEMS
    Zanero, Stefano
    COMPUTER, 2017, 50 (04) : 15 - 16
  • [48] Cyber-Physical Systems
    Lamnabhi-Lagarrigue, Francoise
    Di Benedetto, Maria Domenica
    Schoitsch, Erwin
    ERCIM NEWS, 2014, (97): : 6 - 7
  • [49] Cyber-physical Systems
    Vogel-Heuser, Birgit
    Kowalewski, Stefan
    AT-AUTOMATISIERUNGSTECHNIK, 2013, 61 (10) : 667 - 668
  • [50] One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems
    Indri, Patrick
    Bartoli, Alberto
    Medvet, Eric
    Nenzi, Laura
    GENETIC PROGRAMMING (EUROGP 2022), 2022, : 34 - 50