3 search results - page 1 / 1 » Modelling and Verification of IEC 61499 Applications using P... |
ETFA
2006
IEEE
13 years 10 months ago
2006
IEEE
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 Prol...
CASE
2011
12 years 4 months ago
2011
— Legacy systems that do not conform to the norms and regulations imposed by recent safety standards have to be upgraded to meet safety requirements. In this paper, we describe a...
ECRTS
1999
IEEE
13 years 9 months ago
1999
IEEE
We give timed automaton models for a class of Programmable Logic Controller (PLC) applications, that are programmed in a simple fragment of the language Instruction Lists as defin...