Experiences of using formal methods for chemical process control specification

摘要

This paper discusses the benefits of adding formal specification in B to existing controller synthesis techniques, and some of the limitations of B for this area of application. Examples from case studies carried out in the "Object-oriented specification of real-time and reactive systems" (ROOS) project are given.