Modeling and clarifying the execution of IEC 61499 function blocks using XNet

IEEE International Conference on Industrial Informatics (INDIN)

Volumn 2, Issue , 2007, Pages 1177-1182

  Hagge, Nils ^b   Wagner, Bernardo ^a,b  

^a IEEE

^b LEIBNIZ UNIVERSITY HANNOVER   (Germany)

Author keywords

Event discrete execution; Execution model; IEC function blocks; XNet

Indexed keywords

BLOCK CODES; COMPUTER PROGRAMMING LANGUAGES; GRAPHIC METHODS; MATHEMATICAL MODELS; PETRI NETS;

EVENT-DISCRETE EXECUTION; EXECUTION MODEL; FUNCTION BLOCK NETWORKS;

FUNCTION EVALUATION;

EID: 39749151656     PISSN: 19354576     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INDIN.2007.4384942     Document Type: Conference Paper

References (16)

1. IEC TC65/WG6, Voting Draft - Publicly Available Specification - Function Blocks for Industrial Process Measurement and Control Systems - Part 1: Architecture. International Electrotechnical Commission, Geneva, 2000
2. IEC TC65/WG6, IEC 61499-1: Function Blocks - Part 1: Architecture. International Electrotechnical Commission, Geneva, 2005
3. IEC TC65/WG6, IEC 61131-3: Programmable Controllers - Part 3: Programming Languages. International Electrotechnical Commission, Geneva, 1993
4. N. Hagge and B. Wagner, "Java Code Patterns for Petri Net Based Behavioral Models," in: Proc. 3rd IEEE Int. Conf. Industrial Informatics (INDIN'05), Perth, Australia, August 10-12, 2005
5. th IEEE Intl. Conf. Industrial Informatics (INDIN'06), Singapore, August 16-18, 2006
6. N. Hagge: XNet - Ein echtzeitfähiges Ausführungsmodell für Petri-Netz-basierte Komponentenbeschreibungen in der Steuerungstechnik Ph.D. dissertation. Institute for Systems Engineering, Hannover, Germany, 2006
7. nd IEEE Int. Conf. Industrial Informatics (INDIN'04), Berlin, Germany, Jun. 2004, pp. 612-617
8. th IEEE Intl. Symp. Object-Oriented Real-Time Distributed Computing (ISORC'04), Vienna, Austria, 2004
9. K. Thramboulidis, "IEC 61499 in Factory Automation," in: Proc. Intl. Conf. Industrial Electronics, Technology and Automation, Bridgeport, USA, 2005
10. th IEEE Intl. Conf. Industrial Informatics (INDIN'06), Singapore, August 16-18, 2006, pp. 31-37
11. H. Wurmus, B. Wagner: "IEC-61499-konforme Beschreibung verteilter Steuerungen mit Petri-Netzen," in: Proc. Fachtagung Verteilte Automatisierung (VA 2000), Magdeburg, Germany, March 2000
12. th IEEE Intl. Conf. Emerging Technology and Factory Automation (ETFA '06), Prague, Czech, 2006
13. thIEEE Intl. Conf. Industrial Informatics (INDIN'06), Singapore, August 16-18, 2006, pp. 874-879
14. th IEEE Intl. Conf. Emerging Technology and Factory Automation (ETFA'06), Prague, Czech, 2006, pp. 774-781
15. A. Lüder, C. Schwab, M. Tangermann, J. Peschke, "Formal models for the verification of IEC 61499 function block based control applications," in: Proc. 10th IEEE Intl. Conf. Emerging Technologies and Factory Automation (ETFA '05), Catania, Italy, 2005
16. th IEEE Intl. Conf. Industrial Informatics (INDIN'06), Singapore, August 16-18, 2006, pp. 6-11