An application of a formal approach for distribution of real-time control

A system which provides a set of control functions on time is referred as a real-time control system (RTCS). In a traditional RTCS, a set of tasks running in a central controller provide the required system control. The recent technological advances have made it possible to embed controllers with sufficient computing power directly in the end control devices. These devices also have a communication interface by means of which they can communicate with the other devices via a broadcast bus. These devices are referred to as intelligent nodes. A network of such intelligent nodes can be used to perform the same control functions as that of a centralized RTCS in a distributed manner. This paper discusses an application of a formal approach to distribute the control of a centralized RTCS over a set of intelligent nodes with an example.