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 条
  • [21] Dynamic Software Updating for Cyber-Physical Systems
    Kang, Sungjoo
    Chun, Ingeol
    Kim, Wontae
    [J]. 18TH IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS (ISCE 2014), 2014,
  • [22] 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
  • [23] 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
  • [24] 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
  • [25] Cyber/Physical Co-Verification for Developing Reliable Cyber-Physical Systems
    Zhang, Yu
    Xie, Fei
    Dong, Yunwei
    Zhou, Xingshe
    Ma, Chunyan
    [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 539 - 548
  • [26] State of the art of cyber-physical systems security: An automatic control perspective
    Lun, Yuriy Zacchia
    D'Innocenzo, Alessandro
    Smarra, Francesco
    Malavolta, Ivano
    Di Benedetto, Maria Domenica
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2019, 149 : 174 - 216
  • [27] Distributed Control for Cyber-Physical Systems
    Mangharam, Rahul
    Pajic, Miroslav
    [J]. JOURNAL OF THE INDIAN INSTITUTE OF SCIENCE, 2013, 93 (03) : 353 - 387
  • [28] 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
  • [29] 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, 2018, : 86 - 90
  • [30] Predictive Control of Cyber-Physical Systems
    Maestre, José María
    Chanfreut, Paula
    Martín, Javier García
    Masero, Eva
    Inoue, Masaki
    Camacho, Eduardo F.
    [J]. RIAI - Revista Iberoamericana de Automatica e Informatica Industrial, 2021, 19 (01): : 1 - 12
12345