Formal models for the verification of IEC 61499 function block based control applications

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn 1 2 VOLS, Issue , 2005, Pages 105-112

  Lüder, Arndt ^a   Schwab, Christian ^a   Tangermann, Marcus ^a   Peschke, Jörn ^a  

^a OTTO VON GUERICKE UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC MODEL DESIGN; FORMAL MODELS; FUNCTION BLOCK SYSTEMS;

ALGORITHMS; DECISION MAKING; FORMAL LOGIC; MATHEMATICAL MODELS; PROBLEM SOLVING; STANDARDS;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 33847262428     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. IEC: International Standard IEC 61499 - Function Blocks - Part 1 Architecture, www.iec.ch.
2. Siemens AG: Distributed intelligence with PROFINET, Technical documentation, http://www2.automation. siemens.com/profinet/html_76/produkte/ imap.htm, 2005.
3. Schneider Electric: Transparent Factory - internat based technologies for the factory floor, Technical documentation, http://www.schneider-electric.com. au/Products/Automation/TF_RealTime/WhatIs.htm, 2005.
4. J. Christensen (Rockwell Automation): Function Block Development Kit (FBDK) - Download and User Manual, http://www.holobloc.com/doc/fbdk/ gettingstarted.htm, 2005.
5. K. Thramboulidis: Development of distributed industrial control applications - The CORFU framework, IEEE Int. Workshop on Factory communication systems, Vasteras, Schweden, 2002, Proceedings, pp. 39-46.
6. K. Thramboulidis: Model-integrated mechatronics - towards a new paradigm in the development of manufacturing systems, IEEE Transactions on Industrial Informatics, Vol. 1, No. 1, 2005, pp. 54-61.
7. Kalogeras, A. P., Prayati, A., Schwab, C., Tangermann, M., Ferrarini, L., Papadopou-los, G.: Integrated Web Enabled Control System Design Methodology. IEEE International Workshop on Factory Communication Systems - WFCS, Vienna, Austria, 2004, Proceedings.
8. Vyatkin V., Hanisch H.-M: Component design and validation of decentralized reconfigurable control systems with IEC61499, International Symposium on Advanced Control of Industrial Processes, June 2002, Kumamoto, Japan, Proceedings, pp. 215-220.
9. M. Rausch, H.-M. Hanisch Netz-Condition/Event-Systeme, 4. Fachtagung Entwurf komplexer Automatisierungssysteme, Braunschweig, Juni 1995, Proceedings, pp. 55-71.
10. H.-M. Hanisch, A. Lüder: A Signal Extension for Petri Nets and its Use in Controller Design, Fundamenta Informaticae 41, IOS Press, 2000, pp. 415-431.
11. A. Lüder, H.-M. Hanisch: Supervisoury synthesis for petri nets and partial order specification, Klüver Academic Publisher, Journal on Discrete Event Dynamic Systems, 2001.
12. R.S. Sreenivas, B.H. Krogh: On condition/event systems with discrete state realizations, Discrete Event Dynamic Systems-Theory and Application, 1991, 2(1), pp. 209-236.
13. H.-M. Hanisch, A. Lüder, M. Rausch: Controller Synthesis for Net-Condition/Event-Systems with Incomplete State Observation, Computer Integrated Manufacturing and Automation Technologie (CIMAT 96), Grenoble, France, May 1996, Proceedings, pp. 351-356.
14. A. Lüder, H.-M. Hanisch: Synthesis of admissible behavior of Petri nets for partially ordered specifications, Workshop on Discrete Event Dynamic Systems (WODES2000), Gent, Belgium, Aug. 2000, Proceedings, Kluver Accademic Publisher, ISBM 0-7923-7897-0, pp. 409-420.
15. D. Schwanke, A. Lüder, H.-M. Hanisch: Dynamic Behavior and the Deadlock-Trap Property of Signal/Event Nets, Workshop on Concurrency Specifications and Programming 1998, Berlin, Germany, 1998, Proceedings, pp. 215-220.
16. A. Lüder: Formaler Steuerungsentwurf mit modularen diskreten Verhaltensmodellen, PhD-thesis, Dept. of Engineering Science, Martin-Luther-University of Halle-Wittenberg, 2000, Logos Verlag, Berlin, 2000.
17. 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.1, 2003.
18. TORERO project consortium: TORERO project homepage, www.uni-magdeburg.de/ iaf/cvs/torero, 2005.
19. J. Arthorne, C. Laffra, Official Eclipse 3.0 FAQ, Addison-Wesley Professional, 2004.
20. Center Verteilte Systeme: Team homepage, www.unimagdeburg.de/iaf/cvs, 2005.