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] SDVC: A Scalable Deduplication Cluster for Virtual Machine Images in Cloud
    Lin, Chuan
    Cao, Qiang
    Zhang, Hongliang
    Huang, Guoqiang
    Xie, Changsheng
    2014 9TH IEEE INTERNATIONAL CONFERENCE ON NETWORKING, ARCHITECTURE, AND STORAGE (NAS), 2014, : 88 - 92
  • [22] 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
  • [23] 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
  • [24] 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,
  • [25] 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
  • [26] 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 - +
  • [27] VIRTUAL MACHINE MODEL.
    Rau, O.I.
    Programming and Computer Software (English Translation of Programmirovanie), 1979, 5 (06): : 365 - 372
  • [28] Denotational semantics of a command interpreter and their implementation in standard ML
    McDonald, C., 1600, (32):
  • [29] DENOTATIONAL SEMANTICS OF A COMMAND INTERPRETER AND THEIR IMPLEMENTATION IN STANDARD ML
    MCDONALD, C
    ALLISON, L
    COMPUTER JOURNAL, 1989, 32 (05): : 422 - 431
  • [30] 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):
12345