Results 1 to 10 of about 98 (90)

VHDL architecture for IEC 61499 function blocks

open access: yesIET Computers and Digital Techniques, 2010
IEC 61499 runtime systems to-date have focussed on software implementations deployed to various micro-processors. This study proposes a novel and viable architecture allowing IEC 61499 models to be deployed as custom logic within a field programmable gate arrays (FPGAs).
D Heffernan
exaly   +3 more sources

Towards a Formal Semantic Model of IEC 61499 Function Blocks [PDF]

open access: yes2006 IEEE International Conference on Industrial Informatics, 2006
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.
Víctor Dubinin
exaly   +2 more sources

Online Tuning Diagnosis of Proportional Integral Derivative Controller based on IEC 61499 Function Blocks

open access: yesJurnal Nasional Teknik Elektro, 2021
Controller performance is a crucial aspect of industrial processes; hence, it is critical to maintaining optimal controller performance conditions. Bad controller performance can be caused by poor proportional integral derivative (PID) controller tuning ...
Florentina Vela Nindyasari   +2 more
doaj   +1 more source

fbSAT: Automatic Inference of Minimal Finite-State Models of Function Blocks Using SAT Solver

open access: yesIEEE Access, 2022
Finite-state models are widely used in software engineering, especially in the development of control systems. In control applications, such models are often developed manually, which can make it difficult to keep them up to date.
Konstantin Chukharev, Daniil Chivilikhin
doaj   +1 more source

Formal Verification of the Control Software of a Radioactive Material Remote Handling System, Based on IEC 61499

open access: yesIEEE Open Journal of the Industrial Electronics Society, 2023
Automation systems within nuclear laboratories are intended to work under harsh operating conditions. Selective Production of Exotic Species (SPES) is a nuclear research facility currently under construction by the Istituto Nazionale di Fisica Nucleare ...
Giordano Lilli   +6 more
doaj   +1 more source

Architecting an Agent-Based Fault Diagnosis Engine for IEC 61499 Industrial Cyber-Physical Systems

open access: yesFuture Internet, 2021
IEC 61499 is a reference architecture for constructing Industrial Cyber-Physical Systems (ICPS). However, current function block development environments only provide limited fault-finding capabilities.
Barry Dowdeswell   +2 more
doaj   +1 more source

Towards IEC 61499 function blocks diagrams verification [PDF]

open access: yesIEEE International Conference on Systems, Man and Cybernetics, 2003
After having sketched the different techniques enabling to check properties of Discrete Event Systems control software, we present in this article a formal method for IEC 61499 function blocks diagrams verification. This method is based on a formal representation of the behaviour of function blocks diagrams and takes benefit of verification tools ...
Schnakenbourg, Camille   +2 more
openaire   +2 more sources

A Software Measure for IEC 61499 Basic Function Blocks

open access: yes2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020
When proposing new design patterns or design guidelines for IEC 61499 Applications, their performance and quality has to be compared to alternative solutions. Software measures are a way of achieving that. Although first attempts towards software measures for IEC 61499 were made, the standard still lacks a solid set of measures to evaluate applications.
Sonnleithner, Lisa, Zoitl, Alois
openaire   +3 more sources

Enabling data-driven anomaly detection by design in cyber-physical production systems

open access: yesCybersecurity, 2022
Designing and developing distributed cyber-physical production systems (CPPS) is a time-consuming, complex, and error-prone process. These systems are typically heterogeneous, i.e., they consist of multiple components implemented with different languages
Rui Pinto   +3 more
doaj   +1 more source

Komparasi Protokol Komunikasi pada Sistem Produksi Siber-Fisik berbasis IEC 61499

open access: yesJurnal EECCIS (Electrics, Electronics, Communications, Controls, Informatics, Systems), 2020
The change in the concept of an automation pyramid into an automation cloud in a cyber-physical production system makes data communication no longer stratified but can be done directly between devices.
Rico Aryandaru   +2 more
doaj   +1 more source

Home - About - Disclaimer - Privacy