Change search
ReferencesLink to record
Permanent link

Direct link
Modelling and verification of IEC 61499 applications using prolog
Penza State University.
Martin Luther University of Halle-Wittenherg.
2006 (English)In: 2006 IEEE Conference on Emerging Technologies & Factory Automation: Prague, Czech Republic, September 20 - 22, 2006, Piscataway, NJ: IEEE Communications Society, 2006, 774-781 p.Conference paper (Refereed)
Abstract [en]

This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prolog to represent a model of function block network and to verify its properties. The class of properties that can be checked is extended to more substantial queries providing in return not only "yes" or "no", but also the parameters explaining the reasons. The models essentially use the topological properties of the function block network and allow data of arbitrary types (not only Boolean) be used in the queries

Place, publisher, year, edition, pages
Piscataway, NJ: IEEE Communications Society, 2006. 774-781 p.
Identifiers
URN: urn:nbn:se:ltu:diva-40043DOI: 10.1109/ETFA.2006.355449Local ID: f0449213-29a0-4891-b384-b94fee4ff93eOAI: oai:DiVA.org:ltu-40043DiVA: diva2:1013566
Conference
IEEE Conference on Emerging Technologies & Factory Automation : 20/09/2006 - 22/09/2006
Note
Upprättat; 2006; 20130523 (andbra)Available from: 2016-10-03 Created: 2016-10-03

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Vyatkin, Valeriy

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 1 hits
ReferencesLink to record
Permanent link

Direct link