Formal Analysis of Control Software for Cyber-Physical Systems

被引：0
|
作者：
Herrmann, Peter [1 ]
Blech, Jan Olaf [2 ]
机构：
[1] Norwegian Univ Sci & Technol NTNU, Trondheim, Norway
[2] RMIT Univ, Melbourne, Vic, Australia
来源：
2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C) | 2017年
关键词：
D O I：
10.1109/QRS-C.2017.130
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Modern Cyber-Physical Systems are often driven by a plethora of controllers that are connected with each other and their environment. To guarantee a safe and robust execution of the systems, their control units have to strictly fulfill certain properties which calls for the use of formal analysis methods in the software development process. We present the combination of the model-based engineering technique Reactive Blocks and the spatiotemporal analysis tool BeSpaceD facilitating the formal verification of controller software.
引用
收藏
页码：563 / 564
页数：2
相关论文
共 50 条
  • [21] Provable Determinism for Software in Cyber-Physical Systems
    Rossel, Marcus
    Lin, Shaokai Jerry
    Lohstroh, Marten
    Castrillon, Jeronimo
    Goens, Andres
    [J]. VERIFIED SOFTWARE: THEORIES, TOOLS AND EXPERIMENTS, VSTTE 2023, 2024, 14095 : 85 - 107
  • [22] Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
    Lyakh, T. V.
    Zyubin, V. E.
    Garanina, N. O.
    [J]. OPTOELECTRONICS INSTRUMENTATION AND DATA PROCESSING, 2019, 55 (02) : 189 - 197
  • [23] Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
    T. V. Lyakh
    V. E. Zyubin
    N. O. Garanina
    [J]. Optoelectronics, Instrumentation and Data Processing, 2019, 55 : 189 - 197
  • [24] Software Engineering Issues for Cyber-Physical Systems
    Al-Jaroodi, Jameela
    Mohamed, Nader
    Jawhar, Imad
    Lazarova-Molnar, Sanja
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON SMART COMPUTING (SMARTCOMP), 2016, : 264 - 269
  • [25] Software Performance Antipatterns in Cyber-Physical Systems
    Smith, Connie U.
    [J]. PROCEEDINGS OF THE ACM/SPEC INTERNATIONAL CONFERENCE ON PERFORMANCE ENGINEERING (ICPE'20), 2020, : 173 - 180
  • [26] Formal methods for reconfigurable cyber-physical systems in production
    Grochowski, Marco
    Simon, Hendrik
    Bohlender, Dimitri
    Kowalewski, Stefan
    Loecklin, Andreas
    Mueller, Timo
    Jazdi, Nasser
    Und, Andreas Zeller
    Weyrich, Michael
    [J]. AT-AUTOMATISIERUNGSTECHNIK, 2020, 68 (01) : 3 - 14
  • [27] A Layered Formal Framework for Modeling of Cyber-Physical Systems
    Ungureanu, George
    Sander, Ingo
    [J]. PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 1715 - 1720
  • [28] Special issue: Formal verification of cyber-physical systems
    Geretti, Luca
    Abate, Alessandro
    Nuzzo, Pierluigi
    Villa, Tiziano
    [J]. INFORMATION AND COMPUTATION, 2022, 289
  • [29] Distributed Control for Cyber-Physical Systems
    Mangharam, Rahul
    Pajic, Miroslav
    [J]. JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93 (03) : 353 - 387
  • [30] On The Economic Control of Cyber-physical Systems
    Agarwal, Shaurya
    Kachroo, Pushkin
    [J]. 2017 IEEE 7TH ANNUAL INTERNATIONAL CONFERENCE ON CYBER TECHNOLOGY IN AUTOMATION, CONTROL, AND INTELLIGENT SYSTEMS (CYBER), 2017, : 86 - 90
12345