The application of the formal description language LOTOS for the design of process control systems

In order to use LOTOS to specify process control systems, we must first examine the differences between communication and process control systems, also going into some details that are specific to the latter. Seeing the difficulties, we first discuss the possible advantageous use of LOTOS in that area, including the restrictions we have to face. Next, we look at an example system, its modelling, and how it is possible to avoid state space explosions in the specifications. After that, we set up a model structure that is suitable for system analysis and formal specification. Finally, we draw some conclusions and set some new targets to approach, which should make LOTOS a more powerful tool for the specification and design of process control systems.