Results 21 to 30 of about 6,059,235 (113)
Supremica – An integrated environment for verification, synthesis and simulation of discrete event systems [PDF]
, 2006 An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
\uc5kesson, Knut +8 more
core +1 more source
Comparative analysis of variability modelling approaches in component models
IET 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
Mathematical 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
International Journal of Reconfigurable Computing, Volume 2017, Issue 1, 2017., 2017 We present an architecture for accelerating the processing and execution of control commands in an ultrafast fiber placement robot. The system consists of a robotic arm designed by Coriolis Composites whose purpose is to move along a surface, on which composite fibers are deposed, via an independently controlled head.
Gilberto Ochoa-Ruiz +5 more
wiley +1 more source
Advances in Software Engineering, Volume 2014, Issue 1, 2014., 2014 The scope and responsibilities of control applications are increasing due to, for example, the emergence of industrial internet. To meet the challenge, model‐driven development techniques have been in active research in the application domain. Simulations that have been traditionally used in the domain, however, have not yet been sufficiently ...
Timo Vepsäläinen +2 more
wiley +1 more source
On the Formal Model for IEC 61499 Composite Function Blocks
CoRR, 2018 14pags
Won-je Kim, Song-il Cha, Kyong-Jin Sok
openaire +3 more sources
Journal of Engineering, Volume 2013, Issue 1, 2013., 2013 The industrial and research activities around the IEC 61499 architecture for distributed automation systems are discussed by Vyatkin, (2011). Research results related to the design of this kind of systems as well as to the execution of IEC 61449 on embedded devices are reviewed.
Kleanthis Thramboulidis, Piero Castoldi
wiley +1 more source
Cyber-physical automation systems modelling with IEC 61499 for their formal verification
, 2021 This paper introduces a problem-oriented notation within the IEC 61499 syntax to be used for creating formal closed-loop models of cyber-physical automation systems.
Sandeep Patil +5 more
core +2 more sources
Implementation and Evaluation of IEC 61499 Basic Function Blocks in Erlang [PDF]
2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), 2018 Despite several architectural advantages for the challenges of future manufacturing systems, the IEC 61499 standard is currently not widely accepted by industry. One advantage of the IEC 61499 is the concept of downtimeless system evolution. An extension of this, dynamic software updating, which allows switching out running processes and deal with ...
Laurin Prenzel, Julien Provost
openaire +1 more source
Identification and Evaluation of Pitfalls in the Migration From IEC 61131-3 to IEC 61499: A Review
IEEE Open Journal of the Industrial Electronics SocietyThe IEC 61131-3 standard was initially established to define a common software architecture and programming languages for programmable logic controllers (PLCs) produced by various manufacturers, leading to its widespread adoption since 1993.
Virendra Ashiwal +4 more
doaj +1 more source