Results 1 to 10 of about 78 (78)
Jurnal 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
IEEE 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
IEEE 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
Future 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]
IEEE 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
2020 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
Cybersecurity, 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
Jurnal 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
Requirements for a dynamic interface model of IEC 61499 Function Blocks [PDF]
2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020 Component-based software engineering has emerged as a principle of software design to facilitate reuse and improve the software quality. This principle is supported by the domain-specific language IEC 61499, where Function Blocks are fully encapsulated software components.
Bianca Wiesmayr, Alois Zoitl
openaire +3 more sources
UML-Based Cyber-Physical Production Systems on Low-Cost Devices under IEC-61499
Machines, 2018 Current industry must improve the day-to-day control and industrial communications of its processes in order to bring itself closer to the Industry 4.0 paradigm.
Carlos A. García +2 more
doaj +1 more source