Formal description of an IEC 61499 runtime environment with real-time constraints

IEEE International Conference on Industrial Informatics (INDIN)

Volumn 2, Issue , 2007, Pages 853-859

  Sünder, Christoph ^b   Rofner, Hermann ^d   Vyatkin, Valeriy ^a,c   Favre Bulle, Bernard ^b  

^a IEEE

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

^c UNIVERSITY OF AUCKLAND   (New Zealand)

^d NONE

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONSTRAINT THEORY; MATHEMATICAL MODELS; REAL TIME SYSTEMS; VERIFICATION;

IEC 61499 RUNTIME ENVIRONMENT; REAL TIME CONSTRAINTS;

STANDARDS;

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

References (16)

1. th Internatinal cooperation symposium industry - research, 13th September 2005, Vienna, Austria
2. M. Bani Younis, G. Frey, G, "Formalization of Existing PLC Programs: A Survey", Proceedings of the IEEE/IMACS Multiconference on Computational Engineering in Systems Applications (CESA 2003), 2003
3. H.-M. Hanisch, A. Lobov, J.L. Martinez Lastra, R. Tuokko, V. Vyatkin, "Formal validation of intelligent-automated production systems: towards industrial applications", Int. Journal Manufacturing Technology and Management, Vol. 8, No. 1/2/3, 2006
4. International Electrotechnical Commission, "IEC 61499-1: Function Blocks - Part 1 Architecture", International Standard, First Edition, Geneva, 2005-01
5. C. Sünder, A. Zoitl, J.H. Christensen, V. Vyatkin, R.W. Brennan, A. Valentini, L. Ferrarini, T. Strasser, J.L. Martinez-Lastra, F. Auinger, "Interoperability and Useablity of IEC 61499", Proceedings of the IEEE Int. Conference on Industrial Informatics (INDIN'06), pp. 31-37, 2006
6. V. Vyatkin, H.-M. Hanisch, " A modeling approach for verification of IEC61499 function blocks using net condition/event systems", Proceedings of IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA'99), pp. 261-270, 1999
7. M. Stanica, "Behavioral Modeling of IEC 61499 Control Applications", PhD report, Universite de Rennes, 2005
8. G. Čengić, O. Ljungkrantz, K. Akesson, "Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime", Proceedings of IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA'06), pp. 1269-1276, 2006
9. A. Lüder, C. Schwab, M. Tangermann, J. Peschke, "Formal models for the verification of IEC 61499 function block based control applications", Proceedings of IEEE Int. Conference on Emerging Technologies in Factory Automation (ETFA'05), pp. 105-112, 2005
10. C. Schnakenbourg, J.-M. Faure, J.-J.Lesage, "Towards IEC 61499 function blocks diagrams verification", Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, vol. 3, 2002
11. M. Khaligui, X. Rebeuf, F. Simonot-Lion, "A behavior model for IEC 61499 function blocks", Proceedings of the 3rd Workshop on Modelling of Objects, Components, and Agents, pp. 71-88, 2004
12. V. Dubinin, V. Vyatkin, H.-M. Hanisch, "Modelling and Verification of IEC 61499 Applications using Prolog", Proceedings of IEEE Int. Conference on Emerging Technologies and Factory Automation (ETFA'06). pp. 774-781, 2006
13. W. Rumpl, F. Auinger, C. Dutzler, A. Zoitl, "Platforms for scalable flexible automation considering the concepts of IEC 61499", BASYS'02, Cancun, Mexico, 2002
14. V. Vyatkin, "Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems", Proceedings of the IEEE Int. Conference on Industrial Informatics (INDIN'06), pp.874-879, 2006
15. P. H. Starke, S. Roch, K.Schmidt, A.Alexander, P. Berthold, "Analysing Signal-Net Systems", Humbold-Universität zu Berlin, Institut für Informatik, September 2002, Internal report, http://www.ece.auckland.ac.nz/~vyatkin/tools/modelchekers.html
16. iMATCh and SESA - Signal/Net System Analyzer, [Online]. http://www.ece.auckland.ac.nz/~vyatkin/tools/modelchekers.html