Results 21 to 30 of about 137 (129)

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

An Event-Based Programming Model with Geometric Spatial Semantics For Cyber-Physical Production Systems

open access: yesApplied Sciences, 2020
With the increasing complexities, such as massive computing devices and strict requirements for collaboration, of industrial production systems, the concept of the cyber-physical production system (CPPS) is considered as a promising approach for ...
Guangxi Wan, Peng Zeng
doaj   +1 more source

A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

open access: yesIEEE Open Journal of the Industrial Electronics Society, 2021
This paper proposes a formal model for industrial cyber-physical systems (CPS) with distributed control based on IEC 61499 standard and supporting time-aware computations for better adaptation to the ever changing environment conditions. Main features of
Dmitrii Drozdov   +3 more
doaj   +1 more source

Implementación de sistemas distribuidos de bajo costo bajo norma IEC-61499, en la estación de clasificación y manipulación del MPS 500

open access: yesIngenius: Revista de Ciencia y Tecnología, 2017
El desarrollo de las tecnologías, los requerimientos de nuevas prestaciones y las limitantes dadas por los fabricantes de software y hardware para la automatización ha hecho que nuevos estándares sean desarrollados.
Gustavo Caiza, Marcelo García
doaj   +1 more source

Model-Based Virtual Components in Event-Based Controls: Linking the FMI and IEC 61499

open access: yesApplied Sciences, 2020
Various development and validation methods for cyber-physical systems such as Controller-Hardware-in-the-Loop (C-HIL) testing strongly benefit from a seamless integration of (hardware) prototypes and simulation models. It has been often demonstrated that
Michael H. Spiegel   +4 more
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

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

VERIFICATION OF THE EFFICIENCY OF A DISTRIBUTED SYSTEM FOR ADAPTIVE TRAFFIC FLOW CONTROL BASED ON EVENT-COUPLED AUTOMATIC MODELS

open access: yesСовременная наука и инновации, 2023
The paper describes the process of creating a test environment and testing a distributed system for adaptive traffic control. A software system has been developed that communicates the control system with a simulation model and a program that implements ...
D. M. Elkin
doaj   +1 more source

Comparative analysis of variability modelling approaches in component models

open access: yesIET Software, Volume 12, Issue 6, Page 437-445, December 2018., 2018
The results of a systematic literature review conducted for variability modelling in software component models are analysed and presented here. A well‐planned protocol guided the screening of 3230 papers that resulted in the identification of 55 papers.
Selma Suloglu   +6 more
wiley   +1 more source

Research on Reconfigurable Mechanism of Manufacturing System for Printing Process Based on ACP

open access: yesMathematical Problems in Engineering, Volume 2018, Issue 1, 2018., 2018
The reconfiguration manufacturing system (RMS) allows mass manufacturing to be changed into customized mass production and short‐series production. However, the existing RMS models are not applicable to the printing production process, which is coexistence of the hybrid nature of being continuous and discrete.
Huailin Li   +4 more
wiley   +1 more source

Home - About - Disclaimer - Privacy