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 条
  • [41] Simulation alternatives for the verification of networked cyber-physical systems
    Lora, Michele
    Muradore, Riccardo
    Quaglia, Davide
    Fummi, Franco
    [J]. MICROPROCESSORS AND MICROSYSTEMS, 2015, 39 (08) : 843 - 853
  • [42] Special issue: Formal verification of cyber-physical systems
    Geretti, Luca
    Abate, Alessandro
    Nuzzo, Pierluigi
    Villa, Tiziano
    [J]. INFORMATION AND COMPUTATION, 2022, 289
  • [43] Modeling and verification of temporal properties in Cyber-Physical Systems
    Graja, Imen
    Kallel, Slim
    Guermouche, Nawal
    Kacem, Ahmed Hadj
    [J]. 2017 14TH IEEE ANNUAL CONSUMER COMMUNICATIONS & NETWORKING CONFERENCE (CCNC), 2017, : 325 - 330
  • [44] Skill-Based Verification of Cyber-Physical Systems
    Knuppel, Alexander
    Jatzkowski, Inga
    Nolte, Marcus
    Thum, Thomas
    Runge, Tobias
    Schaefer, Ina
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING (FASE 2020), 2020, 12076 : 203 - 223
  • [45] Automatic Generation of Cyber-Physical Software Applications Based on Physical to Cyber Transformation Using Ontologies
    Yang, Chen-Wei
    Vyatkin, Valeriy
    Dubinin, Victor
    [J]. TECHNOLOGICAL INNOVATION FOR CYBER-PHYSICAL SYSTEMS, 2016, 470 : 37 - 45
  • [46] A Co-Design Approach for Embedded Control Software of Cyber-Physical Systems
    Broenink, Jan F.
    Vos, Peter-Jan D.
    Lu, Zhou
    Bezemer, Maarten M.
    [J]. 2016 11TH SYSTEMS OF SYSTEM ENGINEERING CONFERENCE (SOSE), IEEE, 2016,
  • [47] Improved control of cyber-physical systems subject to cyber and physical attacks
    Mahmoud, Magdi S.
    Hamdan, Mutaz M.
    [J]. Cyber-Physical Systems, 2019, 5 (03) : 173 - 190
  • [48] Live forensics of software attacks on cyber-physical systems
    Al-Sharif, Ziad A.
    Al-Saleh, Mohammed, I
    Alawneh, Luay M.
    Jararweh, Yaser, I
    Gupta, Brij
    [J]. FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2020, 108 : 1217 - 1229
  • [49] Software Abstractions and Architectures for Smart Cyber-Physical Systems
    Hnetynka, Petr
    [J]. 2017 IEEE/ACIS 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT AND APPLICATIONS (SERA), 2017, : 3 - 3
  • [50] Automatic identification of integrity attacks in cyber-physical systems
    Ntalampiras, Stavros
    [J]. EXPERT SYSTEMS WITH APPLICATIONS, 2016, 58 : 164 - 173
12345