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 条
  • [31] A Denotational Model for Web Services Choreography
    Pu, Geguang
    Zhao, Yongxin
    Wang, Zheng
    Feng, Libo
    Zhu, Huibiao
    He, Jifeng
    DISTRIBUTED COMPUTING AND INTERNET TECHNOLOGY, PROCEEDINGS, 2008, 5375 : 1 - 12
  • [32] Design and Implementation of Resource Management Tool for Virtual Machine
    Kim, Byung Ki
    Yoo, Young Jun
    Yoo, Chuck
    Ko, Young Woong
    COMPUTER APPLICATIONS FOR COMMUNICATION, NETWORKING, AND DIGITAL CONTENTS, 2012, 350 : 17 - +
  • [33] Implementation of JVM Tool Interface on Dalvik Virtual Machine
    Chang, Chien-Wei
    Lin, Chun-Yu
    King, Chung-Ta
    Chung, Yi-Fan
    Tseng, Shau-Yin
    2010 INTERNATIONAL SYMPOSIUM ON VLSI DESIGN AUTOMATION AND TEST (VLSI-DAT), 2010, : 143 - 146
  • [34] Design and implementation of a distributed virtual machine for networked computers
    Sirer, EG
    Grimm, R
    Gregory, AJ
    Bershad, BN
    OPERATING SYSTEMS REVIEW, VOL 33, NO 5, DECEMBER 1999, 1999, : 202 - 216
  • [35] Implementation of a virtual environment for interacting with a coordinate measuring machine
    Calonego, N
    Kirner, C
    Kirner, TG
    Abackerli, AJ
    2004 IEEE SYMPOSIUM ON VIRTUAL ENVIRONMENTS, HUMAN-COMPUTRE INTERFACES AND MEASUREMENT SYSTEMS, 2004, : 125 - 130
  • [36] Design and implementation of a distributed virtual machine for networked computers
    Sirer, Emin Gun
    Grimm, Robert
    Gregory, Arthur J.
    Bershad, Brian N.
    Operating Systems Review (ACM), 1999, 33 (05): : 202 - 216
  • [37] VIRTUAL MACHINE COMMUNICATION FOR IMPLEMENTATION OF DECISION SUPPORT SYSTEMS
    DONOVAN, JJ
    JACOBY, HD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (05) : 333 - 342
  • [38] A Certified Implementation on Top of the Java']Java Virtual Machine
    de Dios, Javier
    Pena, Ricardo
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2009, 5825 : 181 - 196
  • [39] Optimized Virtual Honeynet with Implementation of Host Machine as Honeywall
    Gautam, Rohitkumar
    Kumar, Sanjeev
    Bhattacharya, Jhilik
    2015 ANNUAL IEEE INDIA CONFERENCE (INDICON), 2015,
  • [40] Design and Implementation of a Virtual Laboratory of Machine Elements Displays
    Zhai, Jingmei
    Xu, Xiao
    Xie, Jiebin
    PROCEEDINGS OF THE 2015 3D INTERNATIONAL CONFERENCE ON ADVANCED INFORMATION AND COMMUNICATION TECHNOLOGY FOR EDUCATION, 2015, 11 : 398 - 402
12345