Reconstruction of function block controllers based on test scenarios and verification

The paper addresses the problem of reverse engineering a function block (FB) in situations when its source code is either not available or is too complex to understand. The proposed approach builds up on a recent method for reconstructing FBs based on testing and a search-based optimization algorithm. In our work the method is augmented with candidate solution verification using the NuSMV model checker. Verification is done in a closed-loop way using a manually constructed surrogate model of the plant and environment.

[1]  Marco Pistore,et al.  Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.

[2]  Birgit Vogel-Heuser,et al.  Test case generation approach for industrial automation systems , 2011, The 5th International Conference on Automation, Robotics and Applications.

[3]  Valeriy Vyatkin,et al.  Reconstruction of function block logic using metaheuristic algorithm: Initial explorations , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

[4]  Ofer Strichman,et al.  Bounded model checking , 2003, Adv. Comput..

[5]  R. Stephenson.  A and V , 1962, The British journal of ophthalmology.

[6]  James E. Baker,et al.  Reducing Bias and Inefficienry in the Selection Algorithm , 1987, ICGA.

[7]  Valeriy Vyatkin,et al.  Verification of distributed control systems in intelligent manufacturing , 2003, J. Intell. Manuf..

[8]  Jeffrey Horn,et al.  Handbook of evolutionary computation , 1997 .

[9]  Fedor Tsarev,et al.  Finite state machine induction using genetic algorithm based on testing and model checking , 2011, GECCO '11.

[10]  Vladimir I. Levenshtein,et al.  Binary codes capable of correcting deletions, insertions, and reversals , 1965 .

[11]  Armin Biere,et al.  Bounded model checking , 2003, Adv. Comput..

[12]  Christian Blum,et al.  Metaheuristics in combinatorial optimization: Overview and conceptual comparison , 2003, CSUR.

[13]  Valeriy Vyatkin,et al.  Modelling and Verification of IEC 61499 Applications using Prolog , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[14]  Valeriy Vyatkin,et al.  Formal verification of Intelligent Mechatronic Systems with decentralized control logic , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[15]  Valeriy Vyatkin,et al.  Closed-Loop Modeling in Future Automation System Engineering and Validation , 2009, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews).

[16]  Valeriy Vyatkin.  IEC 61499 as Enabler of Distributed and Intelligent Automation: State-of-the-Art Review , 2011, IEEE Transactions on Industrial Informatics.

[17]  Valeriy Vyatkin,et al.  Cloud-Based Framework for Practical Model-Checking of Industrial Automation Applications , 2015, DoCEIS.