Denotational Model and Implementation of Scalable Virtual Machine in CPDev

• Autorzy: Sadolewski Jan , Trybus Bartosz

Identyfikatory

DOI

10.15439/2022F236

• Języki publikacji: EN

Abstrakty

EN

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. The machine is scalable in the sense that may be adjusted both to efficient and restricted hardware platforms by a configuration file which defines address size, available data types, and instructions. 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.

• Wydawca: Polskie Towarzystwo Informatyczne
• Czasopismo: Annals of Computer Science and Information Systems
• Rocznik: 2022
• Tom: Vol. 30
• Strony: 587--591
• Opis fizyczny: Bibliogr. 15 poz.

Twórcy

autor

Sadolewski Jan

autor

Trybus Bartosz