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

被引：0
|
作者：
T. V. Lyakh
V. E. Zyubin
N. O. Garanina
机构：
[1] Russian Academy of Sciences,Institute of Automation and Electrometry, Siberian Branch
[2] Novosibirsk State University,undefined
[3] Ershov Institute of Informatics Systems,undefined
[4] 630090,undefined
[5] Novosibirsk,undefined
来源：
Optoelectronics, Instrumentation and Data Processing | 2019年 / 55卷
关键词：
verification; control software; cyber-physical systems; plant simulators; process-oriented programming;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
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
页数：8
相关论文
共 50 条
  • [31] Predictive Control of Cyber-Physical Systems
    Maestre J.M.
    Chanfreut P.
    Martín J.G.
    Masero E.
    Inoue M.
    Camacho E.F.
    [J]. RIAI - Revista Iberoamericana de Automatica e Informatica Industrial, 2021, 19 (01): : 1 - 12
  • [32] Predictive Control of Cyber-Physical Systems
    Maria Maestre, Jose
    Chanfreut, Paula
    Garcia Martin, Javier
    Masero, Eva
    Inoue, Masaki
    Camacho, Eduardo F.
    [J]. REVISTA IBEROAMERICANA DE AUTOMATICA E INFORMATICA INDUSTRIAL, 2022, 19 (01): : 1 - 12
  • [33] A Systematic Mapping Study on the Verification of Cyber-Physical Systems
    Duan, Pengfei
    Zhou, Ying
    Gong, Xufang
    Li, Bixin
    [J]. IEEE ACCESS, 2018, 6 : 59043 - 59064
  • [34] Incremental Online Verification of Dynamic Cyber-Physical Systems
    Bu, Lei
    Xing, Shaopeng
    Ren, Xinyue
    Yang, Yang
    Wang, Qixin
    Li, Xuandong
    [J]. 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 782 - 787
  • [35] Architecture of Software Platform for Testing Software of Cyber-Physical Systems
    Golosovskiy, Mikhail
    Tobin, Dmitriy
    Balandov, Mikhail
    Khlopotov, Roman
    [J]. DATA SCIENCE AND ALGORITHMS IN SYSTEMS, 2022, VOL 2, 2023, 597 : 488 - 494
  • [36] Runtime Equilibrium Verification for Resilient Cyber-Physical Systems
    Camilli, Matteo
    Mirandola, Raffaela
    Scandurra, Patrizia
    [J]. 2021 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2021), 2021, : 71 - 80
  • [37] ANALYSIS OF APPROACHES TO THE SIMULATION AND VERIFICATION OF CYBER-PHYSICAL SYSTEMS
    Korotunov, S. U.
    Tabunshchyk, G., V
    [J]. RADIO ELECTRONICS COMPUTER SCIENCE CONTROL, 2020, (03) : 57 - 68
  • [38] Modeling and Verification of Cyber-Physical Systems under uncertainty
    Geng, Shengling
    Peng, Jiao
    Li, Ping
    [J]. 2017 13TH INTERNATIONAL CONFERENCE ON NATURAL COMPUTATION, FUZZY SYSTEMS AND KNOWLEDGE DISCOVERY (ICNC-FSKD), 2017,
  • [39] Cyber-Physical Verification of Intermittently Powered Embedded Systems
    Bohrer, Rose
    Islam, Bashima
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2022, 41 (11) : 4361 - 4372
  • [40] Toward Modeling and Verification of Uncertainty in Cyber-Physical Systems
    Chatterjee, Amrita
    Reza, Hassan
    [J]. 2020 IEEE INTERNATIONAL CONFERENCE ON ELECTRO INFORMATION TECHNOLOGY (EIT), 2020, : 568 - 576
12345