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 条
  • [1] Hierarchical Petri Net for the CPDev Virtual Machine with Communications
    Rzonca, Dariusz
    Trybus, Bartosz
    COMPUTER NETWORKS, PROCEEDINGS, 2009, 39 : 264 - 271
  • [2] Design and Implementation of Scalable and Load-Balanced Virtual Machine Clusters
    Chang, Jia-Hong
    Cheng, Hui-Sheng
    Chiang, Mei-Ling
    2017 IEEE 7TH INTERNATIONAL SYMPOSIUM ON CLOUD AND SERVICE COMPUTING (SC2 2017), 2017, : 40 - 47
  • [3] Quantum Virtual Machine: A scalable model to optimize energy savings and resource management
    Monteiro, Andre Felipe
    Loques, Orlando
    2015 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 2015, : 194 - 201
  • [4] SVD: A Scalable Virtual Machine Disk Format
    Nguetchouang, Kevin
    Bitchebe, Stella
    Dubuc, Theophile
    Callau-Zori, Mar
    Hubert, Christophe
    Olivier, Pierre
    Tchana, Alain
    IEEE TRANSACTIONS ON CLOUD COMPUTING, 2024, 12 (02) : 684 - 696
  • [5] Implementation of Java card Virtual Machine
    Songyan Liu
    Zhigang Mao
    Yizheng Ye
    Journal of Computer Science and Technology, 2000, 15 : 591 - 596
  • [6] On the Design and Implementation of a Virtual Machine for Arduino
    Zabala, Gonzalo
    Moran, Ricardo
    Teragni, Matias
    Blanco, Sebastian
    ROBOTICS IN EDUCATION: RESEARCH AND PRACTICES FOR ROBOTICS IN STEM EDUCATION, 2017, 457 : 207 - 218
  • [7] Implementation of Java Card Virtual Machine
    刘嵩岩
    毛志刚
    叶以正
    Journal of Computer Science and Technology, 2000, (06) : 591 - 596
  • [8] An FPGA Implementation of a Distributed Virtual Machine
    Jensen, Lee A.
    Williams, Lance R.
    UNCONVENTIONAL COMPUTATION AND NATURAL COMPUTATION, UCNC 2018, 2018, 10867 : 101 - 116
  • [9] Design And Implementation of Virtual Synchronous Machine
    Furqan, Syed Muhammad
    Nasir, Ali
    Ashraf, Arslan
    Shami, Tabraiz Aslam
    Khalid, Nabeel
    2018 INTERNATIONAL CONFERENCE ON COMPUTING, ELECTRONIC AND ELECTRICAL ENGINEERING (ICE CUBE), 2018,
  • [10] Scalable Virtual Machine Migration using Reinforcement Learning
    Hummaida, Abdul Rahman
    Paton, Norman W.
    Sakellariou, Rizos
    JOURNAL OF GRID COMPUTING, 2022, 20 (02)
12345