Systematic Logic Controller Design as Sequential Function Chart Starting from Informal Specifications

今天的自动化工业被对增加的生产率，更高的灵活性，和更高的个性的需要驾驶，并且由定制、更复杂的控制答案描绘。在加工工业，逻辑控制器设计经常是一本手册，基于经验，并且这样一个错误容易的过程。典型地，说明被一套非正式的要求和一个技术流程图给，两个是直接被翻译成控制代码。这篇论文建议控制程序被经由清楚地定义的中间的格式转变要求作为一份顺序的函数图表(SFC ) 在构造的一个方法。为分析的目的，产生 SFC 能算法上被翻译成预定自动机。严密确认能被用来如果工厂的一个正式模型是可得到的，决定所有说明是否满足它那么与逻辑控制器(LC ) 的自动机模型一起被填写。

Today＇s automation industry is driven by the need for an increased productivity, higher flexibility, and higher individuality, and characterized by tailor-made and more complex control solutions. In the processing industry, logic controller design is often a manual, experience-based, and thus an error-prone procedure. Typically, the specifications are given by a set of informal requirements and a technical flowchart and both are used to be directly translated into the control code. This paper proposes a method in which the control program is constructed as a sequential function chart （SFC） by transforming the requirements via clearly defined intermediate formats. For the purpose of analysis, the resulting SFC can be translated algorithmically into timed automata. A rigorous verification can be used to determine whether all specifications are satisfied if a formal model of the plant is available which is then composed with the automata model of the logic controller （LC）.