Architecture for automation system development based on IEC61499 standard

2005 3rd IEEE International Conference on Industrial Informatics, INDIN

Volumn 2005, Issue , 2005, Pages 13-18

  Vyatkin, Valeriy ^a   Karras, Sirko ^b   Pfeiffer, Thomas ^b  

^a UNIVERSITY OF AUCKLAND   (New Zealand)

^b MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; CONTROL SYSTEMS; INDUSTRIAL APPLICATIONS; MATHEMATICAL MODELS; STANDARDS;

FORMAL VERIFICATION; INTENSIVE INDUSTRIAL AUTOMATION; MODEL-BASED SOFTWARE ENGINEERING; UNCONTROLLED BEHAVIOR;

AUTOMATION;

EID: 33845306441     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2005.1560345     Document Type: Conference Paper

References (25)

1. [IEC93] International Standard IEC 1131-3. Programmable Controllers - Part 3. International Electrotechnical Commission, 1993, Geneva, Switzerland
2. [IEC02a] Function blocks for industrial-process measurement and control systems - Part 1: Architecture, International Electrotechnical Commission, Geneva, 2002, Part 2: Software look requirements, International Electrotechnical Commission, Geneva, 2001
3. (IEC-AO] Automation Objects tor industrial-process and control systems - IEC SB3/TC 65, Working draft, 2002
4. [Gom00] Gomma, H. Designing Concurrent, Distribute, and Real-Time Applications with UML, Addison Wesley 2000
5. [Doug99] Bruce P Douglass, "Doing Time, Developing real-time systems with UML, Objects, frameworks and Patterns", 1999
6. (Chr00] J.H. Christensen Design patterns for system engineering with IEC 61499. Proc. of Conference "Verteilte Automatisierung" (Distributed Automation), pages 63-71, Magdeburg, Germany, 2000
7. [Voe99] N. Voelker, B.J.Kraemer. Modular verification of function block based industrial control systems. Joint 24th IFAC/IFIP Workshop on Real-Time Programming and Third International Workshop on Active and Real-Time Database Systems, Proceedings, Schlo. Dagstuhl, Germany, May 30th - June 2nd, 1999.
8. [Bonfe03] M. Bonfe, C. Fantuzzi: Design and Verification of Mechatronic Object-Oriented Models for Industrial Control Systems. IEEE Conference ETFA'2003, Lisbon, 2003. Proceedings, vol. II, pp.253-260
9. [Lastra04] Jose L. Martinez Lastra, Reference Mechatronic Architectures for Actor-based Assembly systems. Thesis for degree of Doctor of Technology, Tampere University of Technology, 2004, ISBN 952-15-1210-5
10. [Feld04] K. Feldmann, W. Wolf M. Weber: Development of an Open, Event-based and Platform Independent Architecture for Distributed and Intelligent Control Systems, INDIN'04, Proceedings, pp. 560-566
11. |Thr02] K. Thramboulidis, Development of Distributed Industrial Control Applications. The CORFU Framework, 4th IEEE International Workshop on Factory Communication Systems, Sweden, 2002. Proceedings.
12. nd international Conference on Industrial Informatics INDIN'04, 24-26 June 2004, Berlin, Germany
13. (Zhang03a] W. Zhang, Ch. Diedrich, Comparison between FB-oriented and Object-oriented designs in control. Private communication, 2003
14. nd IEEE Conference on Industrial informatics INDIN'04, 24-26 June 2004, Berlin
15. rd International Symposium on Open Control Systems SoftSympo'03. Helsinki, September, 2003
16. [Vyat03] Vyatkin V.: Intelligent Mechatronic Components: Control System Engineering using an Open Distributed Architecture, IEEE Conference on Emerging Technologies in Factory Automation (ETFA'03), Proceedings, Lisbon, Portugal, September 2003
17. nd IEEE Conference INDIN'2004, Berlin
18. [Ha00] Hanisch, H.-M. and A. Lüder: Modular modeling of closed-loop systems, Colloquium on Petri Net Technologies for Modeling Communication Based Systems, Proc., pp. 103-126, Berlin, 2000
19. (Frey03) Bani Younis, M.; Frey, G.: Formalization of Existing PLC Programs: A Survey, CESA 2003, Proc., Lille (France), July 2003.
20. [VH01a] Vyatkin V., Hanisch H.-M. Bringing the model-based verification of distributed control systems to the engineering practice, in book Intelligent Manufacturing Systems 2001, Elsevier Science, pp. 152-157, November 2001
21. [VH03a] Vyatkin V., Hanisch H.-M.: Verification of Distributed Control Systems in Intelligent Manufacturing, Journal of Intelligent Manufacturing, special issue on Internet Based Modeling in Intelligent Manufacturing, vol.14, N.I, 2003, pp.123-136
22. [VHB04] V. Vyatkin, H.-M. Hanisch, G. Bouzon: Open Object-oriented validation framework for modular industrial automation systems, INCOM'2004, Proceedings, Salvador, Brazil, April, 2004
23. st IEEE Conference on Industrial Informatics (INDIN'03), Proceedings, Banff, Canada, August 2003
24. [Sta03] M. Stanica. H. Guéguen, "A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic". ECRTS'03 Euromicro European Conference on Real-Time Systems, Porto, July 2003
25. [Mov04] Andrei Lobov, J. LM Lastra, R. Tuokko, V. Vyatkin: Modelling and Verification of PLC-based Systems Programmed with Ladder Diagrams, INCOM'2004, Proceedings, Salvador, Brazil, April, 2004