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] Cyber-physical Systems
    Wolf, Wayne
    [J]. COMPUTER, 2009, 42 (03) : 88 - 89
  • [42] Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements
    Mathesen, Logan
    Pedrielli, Giulia
    Fainekos, Georgios
    [J]. 2021 IEEE 17TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2021, : 732 - 737
  • [43] Cyber-Physical Systems
    Letichevsky A.A.
    Letychevskyi O.O.
    Skobelev V.G.
    Volkov V.A.
    [J]. Letichevsky, A.A. (aaletichevsky78@gmail.com), 2017, Springer Science and Business Media, LLC (53) : 821 - 834
  • [44] CYBER-PHYSICAL SYSTEMS
    Zanero, Stefano
    [J]. COMPUTER, 2017, 50 (04) : 15 - 16
  • [45] Falsification of Cyber-Physical Systems with Robustness-Guided Black-Box Checking
    Waga, Masaki
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON HYBRID SYSTEMS: COMPUTATION AND CONTROL (HSCC2020) (PART OF CPS-IOT WEEK), 2020,
  • [46] Cyber-Physical Systems
    Lamnabhi-Lagarrigue, Francoise
    Di Benedetto, Maria Domenica
    Schoitsch, Erwin
    [J]. ERCIM NEWS, 2014, (97): : 6 - 7
  • [47] Cyber-physical Systems
    Vogel-Heuser, Birgit
    Kowalewski, Stefan
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2013, 61 (10) : 667 - 668
  • [48] One-Shot Learning of Ensembles of Temporal Logic Formulas for Anomaly Detection in Cyber-Physical Systems
    Indri, Patrick
    Bartoli, Alberto
    Medvet, Eric
    Nenzi, Laura
    [J]. GENETIC PROGRAMMING (EUROGP 2022), 2022, : 34 - 50
  • [49] Spatio-Temporal Event Model for Cyber-Physical Systems
    Tan, Ying
    Vuran, Mehmet C.
    Goddard, Steve
    [J]. ICDCS: 2009 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, 2009, : 44 - 50
  • [50] Spatio-Temporal UML Statechart For Cyber-Physical Systems
    Liu, Ziwei
    Liu, Jing
    He, Jifeng
    Ding, Zuohua
    [J]. 2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2012, : 137 - 146