Improving verification and reliability of distributed control systems design according to IEC 61499

It was shown in former publications that, in principle, the design of a distributed control system according to IEC 61499 could be proven to be correct. An implementation of such a control system should run correctly. But there are known issues regarding the specification and implementation of IEC 61499 function blocks execution models, which cause a verified control system design does not necessarily resulting in an implementation with the desired behavior. Another issue influencing the verification process is the granularity of the formal models used for verification. Bringing more plant properties (i.e. time related) into formal models for closed-loop verification will improve the verification process and reliability in its result. In this contribution the authors want to draft a way of covering the above-mentioned issues using the known Net Condition/Event Systems (NCES) as formal models.

[1]  Hans-Michael Hanisch,et al.  Modular plant modelling for distributed control , 2007, 2007 IEEE International Conference on Systems, Man and Cybernetics.

[2]  Christian Gerber,et al.  Does portability of IEC 61499 mean that once programmed control software runs everywhere , 2010 .

[3]  A. Luder,et al.  Mapping of IEC 61499 function blocks to automation protocols within the TORERO approach , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[4]  Christian Gerber,et al.  A Data processing Model of IEC 61499 Function Blocks with Integer-Valued Data Types , 2008 .

[5]  Zoran A. Salcic,et al.  A Synchronous Approach for IEC 61499 Function Block Implementation , 2009, IEEE Transactions on Computers.

[6]  Hervé Guéguen,et al.  Using timed automata for the verification of iec 61499 applications , 2004 .

[7]  Kleanthis Thramboulidis,et al.  Real-time Java in control and automation: a model driven development approach , 2005, 2005 IEEE Conference on Emerging Technologies and Factory Automation.

[8]  S. Ruel,et al.  Finding the bounds of response time of networked automation systems by iterative proofs , 2009 .

[9]  Hervé Guéguen,et al.  A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic , 2003 .

[10]  A. Zoitl,et al.  Framework for Distributed Industrial Automation and Control (4DIAC) , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[11]  Kleanthis Thramboulidis,et al.  RTAI-based execution environments for function block based control applications , 2007, 2007 IEEE Conference on Emerging Technologies and Factory Automation (EFTA 2007).

[12]  Kleanthis Thramboulidis,et al.  IEC61499 Execution Model Semantics , 2007 .

[13]  V. Vyatkin,et al.  Usability and Interoperability of IEC 61499 based distributed automation systems , 2006, 2006 4th IEEE International Conference on Industrial Informatics.

[14]  Valeriy Vyatkin,et al.  Using Visual Specifications in Verification of Industrial Automation Controllers , 2008, EURASIP J. Embed. Syst..

[15]  Christian Gerber,et al.  Formal modelling of IEC 61499 function blocks with integer-valued data types , 2010 .

[16]  Goran Cengic,et al.  A Control Software Development Method Using IEC 61499 Function Blocks, Simulation and Formal Verification , 2008 .

[17]  Nils H. Hagge,et al.  A new function block modeling language based on Petri nets for automatic code generation , 2005, IEEE Transactions on Industrial Informatics.

[18]  K. Thramboulidis,et al.  Implementation model alternatives for IEC 61499 Function Block networks , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[19]  Emanuele Carpanzano,et al.  Object-oriented models for advanced automation engineering , 1998 .

[20]  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).

[21]  V. Vyatkin,et al.  Alternatives for Execution Semantics of IEC61499 , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[22]  C. Veber,et al.  Implementation approaches for the execution model of IEC 61499 applications , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[23]  Goran Cengic,et al.  Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime , 2006, 2006 IEEE Conference on Emerging Technologies and Factory Automation.

[24]  V. Vyatkin,et al.  Development of adequate formalisms for verification of IEC 1499 distributed applications , 2000, SICE 2000. Proceedings of the 39th SICE Annual Conference. International Session Papers (IEEE Cat. No.00TH8545).

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

[26]  Valeriy Vyatkin,et al.  A modeling approach for verification of IEC1499 function blocks using net condition/event systems , 1999, 1999 7th IEEE International Conference on Emerging Technologies and Factory Automation. Proceedings ETFA '99 (Cat. No.99TH8467).

[27]  W.A. Halang,et al.  Module and integration verifications for function block-based safety-related system development , 2004, 2nd IEEE International Conference on Industrial Informatics, 2004. INDIN '04. 2004.

[28]  J.-M. Faure,et al.  Towards IEC 61499 function blocks diagrams verification , 2002, IEEE International Conference on Systems, Man and Cybernetics.

[29]  G. Frey,et al.  Modeling techniques for distributed control systems based on the IEC 61499 standard - current approaches and open problems , 2006, 2006 8th International Workshop on Discrete Event Systems.

[30]  H.-M. Hanisch,et al.  TRANSFORMATION OF IEC 61499 CONTROL SYSTEMS TO FORMAL MODELS , 2010 .

[31]  Peng Zhao,et al.  Modeling admissible behavior using event signals , 2004, IEEE Trans. Syst. Man Cybern. Part B.

[32]  J. Chouinard,et al.  Software for Next Generation Automation and Control , 2006, 2006 4th IEEE International Conference on Industrial Informatics.