Inferring Automata Logic from Manual Control Scenarios: Implementation in Function Blocks

This paper presents an automated technique for inferring finite automata logic from behavior examples derived from the interaction of the user and the controlled object model. The technique is demonstrated for IEC 61499 function blocks. We show how to automatically generate a manual control Human-Machine Interface (HMI) for Model-View-Control applications and how to use the HMI to record behavior examples. We also suggest a polynomial-time algorithm for constructing Execution Control Charts (ECCs) of basic FBs from behavior examples. The use of the proposed technique is illustrated on an example.