A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Modelling and Verification of IEC 61499 Applications using Prolog
2006
2006 IEEE Conference on Emerging Technologies and Factory Automation
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
doi:10.1109/etfa.2006.355449
dblp:conf/etfa/DubininVH06
fatcat:gwz3b7qecrcrtnfzp4ws2zgrwm