Modeling Techniques for Distributed Control Systems Based on the IEC 61499 Standard ɩĻ Current Approaches and Open Problems
Authors:
- 8 September 2006
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 176-181
Abstract
The introduction of distributed systems to the automation area not only brought new design methods but also new analysis problems. This paper is an attempt to survey approaches in modeling systems based on the standard IEC 61499 and to point out some open problems. The modeling approaches can be classified into two groups namely those dealing with design problems and those dealing principally with formal analysis. The survey notes some design approaches but then focuses on the formal approaches. It also points out the open issues and problems within the standard (execution model, event-handling, and data-handling) which are leading to differences in various formal approaches used for analyzing the IEC 61499 applicationsKeywords
This publication has 15 references indexed in Scilit:
- Designing generic/reusable functionality based controllers for distributed control using UML2006
- Engineering of Validatable Automation Systems Based on an Extension of UML Combined With Function Blocks of IEC 614992006
- Implementation approaches for the execution model of IEC 61499 applications2005
- Towards IEC 61499 function blocks diagrams verification2003
- Verification of distributed control systems in intelligent manufacturingJournal of Intelligent Manufacturing, 2003
- Modeling of PLC behavior by means of timed net condition/event systems2002
- Synthesis of supervisory controllers based on a novel representation of condition/event systems2002
- Formal methods in PLC programming2002
- Platforms for Scalable Flexible Automation Considering the Concepts of IEC 614992002
- Programming real-time applications with SIGNALProceedings of the IEEE, 1991