Modelling and verification of IEC 61499 applications using prolog

IEEE International Conference on Emerging Technologies and Factory Automation, ETFA

Volumn , Issue , 2006, Pages 774-781

  Dubinin, Victor ^a   Vyatkin, Valeriy ^b   Hanisch, Hans Michael ^c  

^a PENZA STATE UNIVERSITY   (Russian Federation)

^b UNIVERSITY OF AUCKLAND   (New Zealand)

^c MARTIN LUTHER UNIVERSITY HALLE WITTENBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EMERGING TECHNOLOGIES; FUNCTION BLOCK; IEC 61499; IEC 61499 STANDARD; NEW APPROACHES; TOPOLOGICAL PROPERTIES;

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; FACTORY AUTOMATION; INDUSTRIAL ENGINEERING; LOGIC PROGRAMMING; SEMICONDUCTOR QUANTUM DOTS; STANDARDS; SYSTEMS ANALYSIS; TECHNOLOGY;

PROLOG (PROGRAMMING LANGUAGE);

EID: 37249074128     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ETFA.2006.355449     Document Type: Conference Paper

References (15)

1. Function blocks for industrial-process measurement and control systems - Part 1: Architecture, International Electrotechnical Commission, Geneva, 2005
2. Vyatkin V., Hanisch H.-M. "A modelling approach for verification of IEC1499 function blocks using Net Condition/Event Systems", Proc. IEEE conference on Emerging Technologies in Factory Automation (ETFA '99), Barcelona, Spain, 1999, pp. 261-270
3. H. Wurmus, B. Wagner, "IEC 61499 konforme Beschreibung verteilter Steuerungen mit Petri-Netzen", Conference Verteilte Automatisierung, Proceedings, Magdeburg, 2000
4. Stanica P., Gueguen H., "Using Timed Automata for the Verification of IEC 61499 Applications", IFAC Workshop on Discrete Event Systems (WODES'04), Reims, France, 2004
5. Faure J.M., Lesage J.J., Schnakenbourg C., Towards IEC 61499 function blocks diagrams verification, IEEE Int. Conference on Systems, Man and Cybernetics (SMC02), October 6-9, Hammamet, Tunisia, 2002
6. A. Lueder, C. Schwab, M. Tangermann, and J. Peschke. Formal models for the verification of IEC 61499 function block based control applications, IEEE Conference on Emerging Technologies and Factory Automation (ETFA'2005), Proceedings, Catania, Italy, September 2005.
7. Christensen J.H., IEC 61499 architecture, engineering, methodologies and software tools, 5th IFIP International Conference BASYS'02, Proceedings, Cancun, Mexico, 2002
8. Bonfe M., Fantuzzi C., An Application of Object-Oriented Modeling Tools to Design the Logic Control System of a Packaging Machine, Proc. 2nd International Conference on Industrial Informatics (INDIN'04), Berlin, Germany, 2004
9. nd edition, Berlin: Springer-Verlag, 1984.
10. th Int. Conf. Software Eng, 1984, pp.510-518
11. th Annual Int. Phoenix. Conf. Comput. and Commun., 1986, pp.371-377
12. Dubinin V. N., Zinkin S.A. Logic programming languages for design of computer systems and networks, Penza State University Publishers, 1997, 88 p., available in electronic form at: http://alice.stup.ac.ru/~dvn/prolog/index.htm
13. V. Dubinin, V. Vyatkin, Formalized definition and modelling of IEC 61499 function block systems, Letters of Tertiary Education Institutions, Volga region, Russia, Penza State University Publishers, 2005, N 5, pp.76-8
14. th IEEE Conference on Industrial Informatics (INDIN'2006), Singapore, 2006
15. SWI-Prolog web-site: http://www.swi-prolog.org/