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

T. V. Lyakh; V. E. Zyubin; N. O. Garanina

首页> 外文期刊>Optoelectronics, Instrumentation and Data Processing >Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators

【24h】

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

机译：用工厂模拟器自动验证网络物理系统中的控制软件

获取原文

获取原文并翻译 | 示例

获取外文期刊封面封底 >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：本文介绍了通过过程导向编程创建的网络物理系统中的控制软件自动验证问题。提出了一种基于工厂模拟器的方法，描述了其基于LabVIEW包和反射语言翻译的实现。

著录项

来源
《Optoelectronics, Instrumentation and Data Processing》 |2019年第2期|共9页
作者
T. V. Lyakh; V. E. Zyubin; N. O. Garanina;
展开▼
作者单位

Institute of Automation and Electrometry Siberian Branch Russian Academy of Sciences;

Institute of Automation and Electrometry Siberian Branch Russian Academy of Sciences;

Ershov Institute of Informatics Systems;

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类仪器、仪表;
关键词
Verification; Control software; Cyber-physical systems; Plant simulators; Process-oriented programming;

机译：确认;控制软件;网络物理系统;植物模拟器;以过程为导向的编程;

相似文献

外文文献
中文文献
专利

1. Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators [J] . T. V. Lyakh, V. E. Zyubin, N. O. Garanina Optoelectronics, Instrumentation and Data Processing . 2019,第2期

机译：用工厂模拟器自动验证网络物理系统中的控制软件
2. Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems [J] . Marjan Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Journal of internet services and applications . 2021,第1期

机译：迈向安全关键网络物理系统软件的验证驱动的迭代开发
3. VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models [J] . Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2018,第4期

机译：Veriphy：验证网络实物系统模型的验证控制器可执行文件
4. ADVANCED CONTROL SYSTEM FOR GRID-CONNECTED SOFC HYBRID PLANTS: EXPERIMENTAL VERIFICATION IN CYBER-PHYSICAL MODE [C] . Mario L. Ferrari, lacopo Rossi, Alessandro Sorce, ASME Turbo Expo: Turbomachinery Technical Conference and Exposition . 2019

机译：并网式SOFC混合植物的高级控制系统：网络物理模式下的实验验证
5. An extended automatic generation control simulator for interconnected power systems incorporating adaptive load frequency control techniques and full system network representation. [D] . Jativa, Jesus Amado. 1991

机译：用于互联电力系统的扩展自动发电控制模拟器，结合了自适应负载频率控制技术和完整的系统网络表示。
6. Formal Verification of Control Modules in Cyber-Physical Systems [O] . Iwona Grobelna 2020

机译：网络物理系统中控制模块的正式验证
7. Advanced Control System for Grid-Connected SOFC Hybrid Plants: Experimental Verification in Cyber-Physical Mode [O] . Mario L. Ferrari, Iacopo Rossi, Alessandro Sorce, 2019

机译：网格连接的SOFC混合厂的先进控制系统：网络物理模式下的实验验证
8. Controlling state explosion during automatic verification of delay-insensitive and delay-constrained VLSI systems using the POM verifier [R] . Probst, D., Jensen, L. 1991

机译：使用pOm验证器在延迟不敏感和延迟约束的VLsI系统的自动验证期间控制状态爆炸

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

摘要

著录项

相似文献

相关主题

期刊订阅