- Full text PDF available (14)
- This year (3)
- Last 5 years (20)
- Last 10 years (26)
Journals and Conferences
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… (More)
This paper discusses the execution model of basic function blocks of the IEC 61499 standard within the sequential execution paradigm. The paper provides several examples illustrating loopholes of the current version of the standard and suggests how to fill the gaps. The proposed solutions are justified by referring to the 'letter and spirit' of the standard.
Formal model of IEC61499 syntax and its unambiguous execution semantics are important for adoption of this international standard in industry. This paper proposes some elements of such a model. Elements of IEC61499 architecture are defined in a formal way following set theory notation. Based on this description formal semantics of IEC 61499 can be defined.… (More)
The international standard IEC 61499 for the design of distributed industrial control systems defines an abstract model of function blocks (FB) which allows many different semantic interpretations. As a consequence, in addition, so-called execution models were proposed to specify the execution order of FBs. The variety of models leads to the incompatibility… (More)
The IEC 61499 standard is targeting the enhancement of the IEC 61131-3 PLC standard in distributed automation systems improving the reconfigurability, portability and reusability of automation software. This paper proposes a foundation to a novel approach for design the system based on IEC 61499 function blocks. This design process is including design… (More)
In the human thalamic ventralis lateralis nucleus the spontaneous activity of 235 single units during 38 stereotactic operations in locally anaesthetized parkinsonian patients was analysed. Two basic cell types (A and B) were shown to exist in this nucleus: (i) with unitary irregular (2-40/s) discharges characterized by a tendency to spike grouping in the… (More)
This paper proposes a formal model of IEC 61499 function blocks and systems. The model is intended to be used in description of formal semantic model of function blocks' execution. The paper outlines a number of challenges for function blocks that are supposed to be answered by the proposed model.
This paper deals with refactoring of execution control charts of IEC 61499 basic function blocks as a means to improve the engineering support potential of the standard in development of industrial control applications. The main purpose of the refactoring is removal of arcs without event inputs. Extended refactoring, proposed in this paper, also helps to… (More)
This paper contributes to the ongoing development of comprehensive execution semantics of IEC61499 by discussion and comparison of the semantics that could be achieved by alteration of postulates introduced in the Sequential Hypothesis, and by variation of different priority assignments during implementation.