Denotational Model and Implementation of Scalable Virtual Machine in CPDev

被引：1

作者：

Sadolewski, Jan ^{[1
]}

Trybus, Bartosz ^{[1
]}

机构：

[1] Rzeszow Univ Technol, Dept Comp & Control Engn, Al Powstancow Warszawy 12, PL-35959 Rzeszow, Poland

来源：

PROCEEDINGS OF THE 2022 17TH CONFERENCE ON COMPUTER SCIENCE AND INTELLIGENCE SYSTEMS (FEDCSIS) | 2022年

关键词：

D O I：

10.15439/2022F236

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Denotational semantic model and its implementation in C/C++ are presented for a virtual machine executing programs written in the CPDev development environment according to IEC 61131 standard. Programs written in IEC ST language are compiled to control-oriented intermediate language designed specifically for the machine. Architecture of the machine and its operation are represented by formal semantic model which assigns abstract algebraic objects to denote machine behaviour. Execution of intermediate language instructions is described in details by denotational semantic equations followed strictly by C/C++ implementations to assure reliability of the machine.

引用

页码：587 / 591

页数：5

共 50 条

[21] Implementation of alarm system for TXP virtual machine
Wu, Juanjuan
Leng, Shan
Zhang, Caike
Wang, Lize
Wu, Xuangang
Dianli Zidonghua Shebei/Electric Power Automation Equipment, 2010, 30 (09): : 118 - 121
[22] Design and Implementation of a Virtual Laboratory for Machine Dynamics
Aziz, El-Sayed
Esche, Sven K.
Chassapis, Constantin
INTERNATIONAL JOURNAL OF ONLINE ENGINEERING, 2010, 6 (02) : 15 - 24
[23] DRX mode implementation based on virtual machine
Park, Boyoun
Park, Chungwoo
Li, Gang
2022 29TH IEEE INTERNATIONAL CONFERENCE ON ELECTRONICS, CIRCUITS AND SYSTEMS (IEEE ICECS 2022), 2022,
[24] Liquid: A Scalable Deduplication File System for Virtual Machine Images
Zhao, Xun
Zhang, Yang
Wu, Yongwei
Chen, Kang
Jiang, Jinlei
Li, Keqin
IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2014, 25 (05) : 1257 - 1266
[25] High scalable and available server environment based on virtual machine
Chen, Bin
Xiao, Nong
2006 INTERNATIONAL CONFERENCE ON HYBRID INFORMATION TECHNOLOGY, VOL 1, PROCEEDINGS, 2006, : 362 - +
[26] VIRTUAL MACHINE MODEL.
Rau, O.I.
Programming and Computer Software (English Translation of Programmirovanie), 1979, 5 (06): : 365 - 372
[27] Denotational semantics of a command interpreter and their implementation in standard ML
McDonald, C., 1600, (32):
[28] DENOTATIONAL SEMANTICS OF A COMMAND INTERPRETER AND THEIR IMPLEMENTATION IN STANDARD ML
MCDONALD, C
ALLISON, L
COMPUTER JOURNAL, 1989, 32 (05): : 422 - 431
[29] A hierarchical decentralized architecture to enable adaptive scalable virtual machine migration
Hummaida, Abdul R.
Paton, Norman W.
Sakellariou, Rizos
CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2023, 35 (02):
[30] Machine Translation System as Virtual Appliance: For Scalable Service Deployment on Cloud
Kumar, Pawan
Ahmad, Rashid
Chaudhary, B. D.
Sangal, Rajeev
2013 IEEE SEVENTH INTERNATIONAL SYMPOSIUM ON SERVICE-ORIENTED SYSTEM ENGINEERING (SOSE 2013), 2013, : 304 - 308

← 1 2 3 4 5 →