Denotational Model and Implementation of Scalable Virtual Machine in CPDev
被引:1
|
作者:
Sadolewski, Jan
论文数: 0引用数: 0
h-index: 0
机构:
Rzeszow Univ Technol, Dept Comp & Control Engn, Al Powstancow Warszawy 12, PL-35959 Rzeszow, PolandRzeszow Univ Technol, Dept Comp & Control Engn, Al Powstancow Warszawy 12, PL-35959 Rzeszow, Poland
Sadolewski, Jan
[1
]
Trybus, Bartosz
论文数: 0引用数: 0
h-index: 0
机构:
Rzeszow Univ Technol, Dept Comp & Control Engn, Al Powstancow Warszawy 12, PL-35959 Rzeszow, PolandRzeszow Univ Technol, Dept Comp & Control Engn, Al Powstancow Warszawy 12, PL-35959 Rzeszow, Poland
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.