Abstract

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.

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.