Reflex Language: a Practical Notation for Cyber-Physical Systems

Article's language

English

Author(s)

Abstract

This paper introduces a conceptual framework for complex control algorithms in form of hyperprocess model. To demonstrate the practical value of the model we describe grammar and translational semantics of a process-oriented language, known as Reflex or “C with processes”. Expressive properties of the presented notation are shown on an example control algorithm design for a hand dryer device. Finally, we give a short report about practical application of the language and results, which have been obtained during its usage.

Keywords

Reflex language

control software

IEC 61131-3

process-oriented programming

POP

programmable logic controller

PLC

cyber-physical system

hybrid system

finite state machine

FSM