Modelling and verification of IEC 61499 applications using prolog
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)
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.
IdentifiersURN: urn:nbn:se:ltu:diva-40043DOI: 10.1109/ETFA.2006.355449Local ID: f0449213-29a0-4891-b384-b94fee4ff93eOAI: oai:DiVA.org:ltu-40043DiVA: diva2:1013566
IEEE Conference on Emerging Technologies & Factory Automation : 20/09/2006 - 22/09/2006
Upprättat; 2006; 20130523 (andbra)2016-10-032016-10-03