Systematic Design of Logic Controllers for Processing Plants starting from Informal Specifications

摘要

In contrast to industrial practice in logic controller design, where manual, experience-based, and thus error-prone procedures are commonly used, this paper proposes a methodology that aims at systematizing the design procedure as much as possible. Given a set of informal specifications and a technical flowchart, the control program is constructed as a sequential function chart (SFC) by transform-ing the requirements via clearly defined intermediate formats. The resulting SFC can be translated algorithmically into timed automata, composed with an appro-priate plant model, and then rigorous verification can be used in order to analyze whether all specifications are satisfied.