Enviar artigo por via de e-mail Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
- Autores: Lyakh T.V.1,2, Zyubin V.E.1,2, Garanina N.O.3
-
Afiliações:
- Institute of Automation and Electrometry, Siberian Branch
- Novosibirsk State University
- Ershov Institute of Informatics Systems, 630090, Novosibirsk
- Edição: Volume 55, Nº 2 (2019)
- Páginas: 189-197
- Seção: Automation Systems in Scientific Research and Industry
- URL: https://journals.rcsi.science/8756-6990/article/view/212724
- DOI: https://doi.org/10.3103/S8756699019020110
- ID: 212724
Citar
Acesso aberto
Acesso está concedido
Somente assinantes
Resumo
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.
Sobre autores
T. Lyakh
Institute of Automation and Electrometry, Siberian Branch; Novosibirsk State University
Email: zyubin@iae.nsk.su
Rússia, pr. Akademika Koptyuga 1, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
V. Zyubin
Institute of Automation and Electrometry, Siberian Branch; Novosibirsk State University
Autor responsável pela correspondência
Email: zyubin@iae.nsk.su
Rússia, pr. Akademika Koptyuga 1, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
N. Garanina
Ershov Institute of Informatics Systems, 630090, Novosibirsk
Email: zyubin@iae.nsk.su
Rússia, pr. Akademika Lavrent’eva 6, Novosibirsk, 630090
Arquivos suplementares
