Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators

被引：4
|
作者：
Lyakh, T. V. [1 ,2 ]
Zyubin, V. E. [1 ,2 ]
Garanina, N. O. [3 ]
机构：
[1] Russian Acad Sci, Inst Automat & Electrometry, Pr Akad Koptyuga 1, Novosibirsk 630090, Russia
[2] Novosibirsk State Univ, Ul Pirogova 2, Novosibirsk 630090, Russia
[3] Ershov Inst Informat Syst, Pr Akad Lavrenteva 6, Novosibirsk 630090, Russia
来源：
OPTOELECTRONICS INSTRUMENTATION AND DATA PROCESSING | 2019年 / 55卷 / 02期
基金：
俄罗斯基础研究基金会;
关键词：
verification; control software; cyber-physical systems; plant simulators; process-oriented programming;
D O I：
10.3103/S8756699019020110
中图分类号：
O4 [物理学];
学科分类号：
0702 ;
摘要：
The paper describes solving the problem of automatic verification of control software in cyber-physical systems created by means of process-oriented programming. A method based on plant simulators is proposed, and its implementation on the basis of the LabVIEW package and Reflex language translator is described.
引用
收藏
页码：189 / 197
页数：9
相关论文
共 50 条
  • [1] 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
  • [2] Modeling Cyber-Physical Systems for Automatic Verification
    Driouich, Youssef
    Parente, Mimmo
    Tronci, Enrico
    [J]. 2017 14TH INTERNATIONAL CONFERENCE ON SYNTHESIS, MODELING, ANALYSIS AND SIMULATION METHODS AND APPLICATIONS TO CIRCUIT DESIGN (SMACD), 2017,
  • [3] Visualisation of Control Software for Cyber-Physical Systems
    Melatti, Igor
    Mari, Federico
    Salvo, Ivano
    Tronci, Enrico
    [J]. INFORMATION, 2021, 12 (05)
  • [4] A Software Verification Method for the Internet of Things and Cyber-Physical Systems
    Manzhos, Yuriy
    Sokolova, Yevheniia
    [J]. COMPUTATION, 2023, 11 (07)
  • [5] Formal Verification of Control Modules in Cyber-Physical Systems
    Grobelna, Iwona
    [J]. SENSORS, 2020, 20 (18) : 1 - 23
  • [6] Formal Analysis of Control Software for Cyber-Physical Systems
    Herrmann, Peter
    Blech, Jan Olaf
    [J]. 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C), 2017, : 563 - 564
  • [7] On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems
    Cha, Suhyun
    Ulbrich, Mattias
    Weigl, Alexander
    Beckert, Bernhard
    Land, Kathrin
    Vogel-Heuser, Birgit
    [J]. 2019 IEEE 17TH INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2019, : 413 - 418
  • [8] Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control
    Hoang-Dung Tran
    Cai, Feiyang
    Diego, Manzanas Lopez
    Musau, Patrick
    Johnson, Taylor T.
    Koutsoukos, Xenofon
    [J]. ACM TRANSACTIONS ON EMBEDDED COMPUTING SYSTEMS, 2019, 18 (05)
  • [9] Software control and intellectual property protection in cyber-physical systems
    Machado, Raphael C. S.
    Boccardo, Davidson R.
    Pereira de Sa, Vinicius G.
    Szwarcfiter, Jayme L.
    [J]. EURASIP JOURNAL ON INFORMATION SECURITY, 2016, 2016 (01)
  • [10] Statistical model checking of cyber-physical systems control software
    Shan, Li-Jun
    Zhou, Xing-She
    Wang, Yu-Ying
    Zhao, Lei
    Wan, Li-Jing
    Qiao, Lei
    Cehn, Jian-Xin
    [J]. Ruan Jian Xue Bao/Journal of Software, 2015, 26 (02): : 380 - 389
12345