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 条
  • [41] Web-based implementation of virtual machine tools
    Seo, Y
    Choi, TH
    Suh, SH
    KORUS 2000: 4TH KOREA-RUSSIA INTERNATIONAL SYMPOSIUM ON SCIENCE AND TECHNOLOGY, PT 3, PROCEEDINGS: MACHINE PARTS AND MATERIALS PROCESSING, 2000, : 122 - 127
  • [42] Design and implementation of the Matilda distributed UML virtual machine
    Wada, Hiroshi
    Suzuki, Junichi
    Eadara, Manikya Madhu Babu
    Malinowski, Adam
    Oba, Katsuya
    PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 377 - +
  • [43] Virtual Health Information Infrastructures: A Scalable Regional Model
    Seror, Ann
    OPEN SOURCE SYSTEMS: GROUNDING RESEARCH, 2011, 365 : 316 - 319
  • [44] An implementation of the ATST virtual instrument model
    Wampler, S
    Goodrich, B
    ADVANCED SOFTWARE, CONTROL, AND COMMUNICATION SYSTEMS FOR ASTRONOMY, 2004, 5496 : 356 - 363
  • [45] Implementation of a scalable platform for real-time monitoring of machine tools
    Tapia, Endika
    Lopez-Novoa, Unai
    Sastoque-Pinilla, Leonardo
    Lopez-de-Lacalle, Luis Norberto
    COMPUTERS IN INDUSTRY, 2024, 155
  • [46] Description and implementation of machine tool structure in virtual machine tool machining system
    Zhang, Tiejun
    Yuan, Zhejun
    Yao, Yingxue
    Liu, Huaming
    Zhuzao Jishu/Foundry Technology, 2000, (02): : 16 - 19
  • [47] MODEL-THEORY OF DENOTATIONAL SEMANTICS
    STREICHER, T
    JOURNAL OF SYMBOLIC LOGIC, 1985, 50 (01) : 278 - 278
  • [48] A Denotational Semantical Model for Orc Language
    Li, Qin
    Zhu, Huibiao
    He, Jifeng
    THEORETICAL ASPECTS OF COMPUTING, 2010, 6255 : 106 - 120
  • [49] Virtual Machine Boot Time Model
    Thuy Linh Nguyen
    Lebre, Adrien
    2017 25TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP 2017), 2017, : 430 - 437
  • [50] A Representation Model for Virtual Machine Allocation
    Mc Evoy, Giacomo
    Porto, Fabio
    Schulze, Bruno
    2012 IEEE/ACM FIFTH INTERNATIONAL CONFERENCE ON UTILITY AND CLOUD COMPUTING (UCC 2012), 2012, : 271 - 278
12345