Мақаланы E-mail арқылы жіберу Automatic Verification of Control Software in Cyber-Physical Systems with Plant Simulators
- Авторлар: Lyakh T.V.1,2, Zyubin V.E.1,2, Garanina N.O.3
-
Мекемелер:
- Institute of Automation and Electrometry, Siberian Branch
- Novosibirsk State University
- Ershov Institute of Informatics Systems, 630090, Novosibirsk
- Шығарылым: Том 55, № 2 (2019)
- Беттер: 189-197
- Бөлім: 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
Дәйексөз келтіру
Ашық рұқсат
Рұқсат берілді
Тек жазылушылар үшін
Аннотация
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.
Авторлар туралы
T. Lyakh
Institute of Automation and Electrometry, Siberian Branch; Novosibirsk State University
Email: zyubin@iae.nsk.su
Ресей, pr. Akademika Koptyuga 1, Novosibirsk, 630090; ul. Pirogova 2, Novosibirsk, 630090
V. Zyubin
Institute of Automation and Electrometry, Siberian Branch; Novosibirsk State University
Хат алмасуға жауапты Автор.
Email: zyubin@iae.nsk.su
Ресей, 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
Ресей, pr. Akademika Lavrent’eva 6, Novosibirsk, 630090
Қосымша файлдар
