Adaptation of the Process-Oriented Approach to the Development of Embedded Microcontroller Systems

Abstract

Adaptation of the process-oriented approach to programming of microcontrollers in embedded systems is described. Specific features of control software and programming of microcontrollers are analyzed. A mathematical model of the control software, which implies a mechanism of the description of microcontroller interruptions in the form of hyperprocesses, is proposed, and its dynamic semantics is provided. The model proposed in the study is a conceptual framework for the development of specialized languages of process-oriented programming of embedded systems.