Design and verification of distributed industrial manufacturing control systems

IECON Proceedings (Industrial Electronics Conference)

Volumn , Issue , 2008, Pages 152-157

  Hirsch, Martin ^a   Missal, Dirk ^a   Hanisch, Hans Michael ^a  

^a MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

CONCURRENCY CONTROL; EMBEDDED SYSTEMS; INDUSTRIAL ELECTRONICS; INTEGRATED CIRCUITS; REUSABILITY;

AUTOMATION TECHNOLOGIES; CONTROL SOFTWARES; ENGINEERING FRAMEWORKS; FORMAL VERIFICATION METHODS; INDUSTRIAL MANUFACTURING; SYSTEM DESCRIPTIONS;

VERIFICATION;

EID: 63149191229     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IECON.2008.4757944     Document Type: Conference Paper

References (32)

1. V. Vyatkin, H.-M. Hanisch, S. Karras, T. Pfeiffer, V. Dubinin:, Rapid Engineering And Re-Configuration Of Automation Objects using Formal Verification", Int. J. Manufacturing Research, Vol. 1, No. 4, pp. 382-404, 2006.
2. SysML Specification: http://sysml.org/docs/specs/OMGSysML-PAS-07-02-03. pdf, visited in July 2008.
3. ARTiSAN Software: http://www.artisansw.com, visited in July 2008.
4. Telelogic Rhapsody: http://www.telelogic.com, visited in July 2008.
5. Automation Technology Labs of the University of Halle-Wittenberg, http://aut.informatik.uni-halle.de/forschung/testbed, visited in July 2008.
6. IEC 61499 - Function Blocks for Industrial-Process Measurement and Control Systems - Part 1: Architecture, International Electrotechnical Commission, Geneva, Switzerland 2005.
7. IEC 61131 - International Standard IEC 61131-1, Programmable Controllers - Part 1, International Electrotechnical Commission, Geneva, Switzerland 1993.
8. A. Zoitl, R. Smodic, C.K. Sünder, G. Grabmair: "Enhanced Real-Time Execution of Modular Control Software based on IEC 61499", IEEE International Conference on Robotics and Automation (ICRA'06) proceedings pp. 327-332, Orlando-Florida, USA 2006.
9. S. Panjaitan, G. Frey: "Combination of UML Modeling and the IEC 61499 Function Block Concept for the development of Distributed Automation Systems" IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006) proceedings pp. 766-773, Prague, Czech Republic 2006.
10. J. L. M. Lastra, A. Lobov, L. Godinho, A. Nunes: "Function Blocks for Industrial Process Measurement and Control Systems: IEC 61499 Introduction and Run-Time Platforms", Institute of Production Engineering, Tampere University of Technology, Tampere, Finland 2004.
11. aNEIDA - Instrumentation Society of America, USA 2007.
12. M. Hirsch, C. Gerber, V. Vyatkin and H.-M. Hanisch: "Design and Implementation of Heterogeneous Distributed Controllers according to the IEC 61499 Standard - A Case Study", IEEE International Conference on Industrial Informatics (INDIN'07) proceedings pp. 829-834, Vienna, Austria 2007.
13. M. Hirsch, V. Vyatkin and H.-M. Hanisch: "IEC 61499 Function Blocks for Distributed Networked Embedded Applications", IEEE International Conference on Industrial Informatics (INDIN'06) proceedings pp. 670-675, Singapore 2006.
14. CORFU: http://seg.ee.upatras.gr/corfu/dev/, visited in July 2008.
15. ISaGRAF: http://www.isagraf.com, visited in July 2008.
16. aNEIDA Workbench: www.oooneida.org, visited in July 2008.
17. Function Block Development Kit: http://www.holobloc.com, visited in July 2008.
18. Hanisch, H.-M.; Lüder, A.: "A Signal Extension for Petri nets and its use in Controller Design", Fundamenta Informaticae No. 4, pp. 415-431, March 2000.
19. I. Ivanova-Vasileva, C. Gerber, H.-M. Hanisch: "Basics of Modeling IEC 61499 Function Blocks with Integer-Valued Data Types", 9th IFAC Workshop on Intelligent Manufacturing Systems, Szczecin, Poland 2008 [ACCEPTED].
20. th IFAC Workshop on Intelligent Manufacturing Systems, Szczecin, Poland 2008 [ACCEPTED].
21. EnAS Project Demonstrator: http://aut.informatik.unihalle.de/forschung/ enas-demo/, visited in July 2008.
22. M. Hirsch und H.-M. Hanisch: "Systemspezifikation mit SysML für eine Fertigungstechnische Laboranlage", Fachtagung zum Entwurf komplexer Automatisierungssysteme (EKA'08) proceedings pp. 23-34, Magdeburg, Germany 2008.
23. C. Tranoris and K. Thramboulidis: "Integrating UML and the Function Block Concept for the Development of Distributed Applications", IEEE Conference on Emerging Technologies and Factory Automation (ETFA'03) proceedings pp. 277-284, Lisbon, Portugal 2003.
24. V. Dubinin, V. Vyatkin and T. Pfeiffer: "Engineering of Validatable Automation Systems using UML-FB", Higher Education Institute Letters, No. 2, pp. 136-146, 2004, ISSN 1728-628X.
25. S. Panjaitan, G. Frey: "Development Process for Distributed Automation Systems Combining UML and IEC 61499", International Journal of Manufacturing Research, Vol. 2, No. 1, pp. 1-20, Inderscience Publishers, 2007.
26. D. Missal, M. Hirsch and H.-M. Hanisch: "Hierarchical Distributed Controllers - Design and Verification", IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'07) proceedings pp. 657-664, Patras, Greece 2007.
27. V. Vyatkin, M. Hirsch and H.-M. Hanisch: "Systematic Design and Implementation of Distributed Controllers in Industrial Automation" IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'06) proceedings pp. 633-640, Prague, Czech Republic 2006.
28. OSEK: http://www.osek-vdx.org/, visited in July 2008.
29. D. Missal and H.-M. Hanisch: "Modular Plant Modeling for Distributed Control", IEEE Conference on Systems, Man and Cybernetics (SMC'07) proceedings pp. 3475-3480, Montreal, Canada 2007.
30. I. Ivanova-Vasileva, C. Gerber and H.-M. Hanisch: "Transformation of IEC 61499 Control Systems to Formal Models", International Conference Automatics and Informatics (CAI'07) proceedings pp.V-5-V-10, Sofia, Bulgaria 2007.
31. P.H. Starke and S. Roch: "Analyzing Signal-Net Systems", Technical Report, No. 162 in Informatik-Berichte, Humboldt-Universität zu Berlin, Berlin, Germany 2002.
32. V. Vyatkin and H.-M. Hanisch: "Bringing the Model-based Verification of Distributed Control Systems to the Engineering Practice", in Intelligent Manufacturing Systems 2001, M. Zaremba, J. Szpytko, Z. Banaszak (eds.), Poznan, Poland, Elsevier Science, pp. 152-157, 2001.