Model and Implementation of a Dual-Core Programmable Controller Based on a Virtual Machine

The concept, semantic model, and prototype implementation of a dual-core programmable controller have been presented. The controller’s design concept involves parallel processing of two execution programs through a virtual machine, utilizing a shared memory area for global variables. The presented model provides a formal description of the execution of portable binary programs created based on the languages of the IEC 61131-3 standard in the CPDev programming environment. The architecture described outlines the operation of the virtual machine using abstract algebraic objects. The solution has been implemented in C/C++ on a dual-core microcontroller platform.