Filters








129 Hits in 5.2 sec

A hierarchical and concurrent approach for IEC 61499 function blocks

Gareth D. Shaw, Partha S. Roop, Zoran Salcic
2009 2009 IEEE Conference on Emerging Technologies & Factory Automation  
The IEC 61499 function block standard proposes a new specification language for describing distributed industrial control systems.  ...  with function blocks.  ...  IEC 61499 FUNCTION BLOCKS To demonstrate function blocks, this section presents the model for a conveyor controller.  ... 
doi:10.1109/etfa.2009.5347020 dblp:conf/etfa/ShawRS09 fatcat:yrz5wccagfgnrhuoziqqi36dxm

A Review on Programming Approaches for Dynamic Industrial Cyber Physical Systems

Udayanto Dwi Atmojo, Valeriy Vyatkin
2018 2018 IEEE 16th International Conference on Industrial Informatics (INDIN)  
This article reviews the state of the art of programming approaches for ICPS and analyses their capabilities, in the hope that it will help researchers to identify potential opportunities of future development  ...  Abstract-Industrial automation and control systems are going through a big change, adopting the modern computing and Internet technologies to give completely new agility and adaptability properties to  ...  Hierarchical composition is permitted in IEC 61131-3 and 61499, which can be achieved in function block form through the creation of the so-called compound or composite function blocks from multiple basic  ... 
doi:10.1109/indin.2018.8471945 dblp:conf/indin/AtmojoV18 fatcat:w4cw675rhfdgbpgo6msj3tggxi

Modeling distributed automation systems in cyber-physical view

Wenbin Dai, Valeriy Vyatkin, Cailian Chen, Xinping Guan
2015 2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA)  
In this paper, an IEC 61499-based modeling language is propsed for industrial cyberphysical systems.  ...  Finally, an industrial cyber-physical system design tool is implemented by applying the proposed IEC 61499-based modeling language.  ...  Function blocks configured for a particular resource will be transferred to the runtime via IEC 61499 management commands.  ... 
doi:10.1109/iciea.2015.7334251 fatcat:7tetnkzppze73jkdjr4n7rpy2m

Software for Next Generation Automation and Control

Julien Chouinard, Robert Brennan
2006 2006 IEEE International Conference on Industrial Informatics  
In this paper, we look at the basic requirements for this next generation of automation and control systems and introduce a new software tool that is based on the IEC 61499 standard that is intended to  ...  The current trend in automation and control research has been toward "intelligent" systems that are intended to adapt quickly to change while providing extensibility through a modular, distributed design  ...  In particular, IEC 61499 builds on the function block portion of the IEC 61131-3 standard for programmable logic controller (PLC) languages [18] and extends the function block language to meet more adequately  ... 
doi:10.1109/indin.2006.275694 fatcat:nplarufaxbclrpdkwan2ree7sm

Automatic model generation of IEC 61499 function block using net condition/event systems

Cheng Pang, Valeriy Vyatkin
2008 2008 6th IEEE International Conference on Industrial Informatics  
The IEC 61499 standard establishes a framework specifically designed for the implementation of decentralized reconfigurable industrial automation systems.  ...  This paper discusses the needs of model generators which are capable of automatically translating IEC 61499 function blocks into formal models following specific execution semantics.  ...  MODELLING IEC 61499 FUNCTION BLOCK A.  ... 
doi:10.1109/indin.2008.4618273 fatcat:awqgjfua45ejlb5m3nur5h7qw4

ON THE FORMAL MODEL FOR IEC 61499 COMPOSITE FUNCTION BLOCKS
English

Kyongjin Sok, University of Sciences, Wonje Kim, Songil Cha, Kinam Sin, National Academy of Science, University of Sciences, Kim Il Sung University
2019 Journal of Mathematical Sciences. Advances and Applications  
to IEC 61499 and syntactic extension of ECC of the basic function block.  ...  However, work related to the mathematical modelling for IEC 61499 composite function block using in designing software with hierarchical structure is still lacking.  ...  In [15, 16] , Shaw et al. proposed new design framework with the hierarchical and concurrent novel extension of ECC (Execution Control Chart) for basic function blocks. Dai et al.  ... 
doi:10.18642/jmsaa_7100122051 fatcat:r4csug4xzvav7gerndbghj6zla

A reconfigurable concurrent function block model and its implementation in real-time Java

Robert W. Brennan, Xiaokun Zhang, Yuefei Xu, Douglas H. Norrie
2002 Integrated Computer-Aided Engineering  
We propose a model to support configuration and reconfiguration of real-time distributed control systems that is built upon recent models for distributed intelligent control and provide an example of its  ...  Si vous n'arrivez pas à les repérer, communiquez avec nous à PublicationsArchive-ArchivesPublications@nrc-cnrc.gc.ca.  ...  To model IEC 61499 function block based control components with concurrent configuration control, we combine the function block model with the Hierarchical Finite State Machine (HFSM) model to generate  ... 
doi:10.3233/ica-2002-9306 fatcat:lfrmqrthfrgolgu7kbdpea2tdq

On the Formal Model for IEC 61499 Composite Function Blocks [article]

Won-je Kim, Song-il Cha, Kyong-Jin Sok
2018 arXiv   pre-print
This paper presents the mathematical model for the structure and execution analysis of IEC 61499 composite function blocks by using notation of the set theory.  ...  The applications for IEC 61499 that is standard architecture for developing the applications of distributed control and measurement in factory automation, have the connected structure of the graphical  ...  Third, the proposed model can correctly analyze the execution process of the IEC 16499 applications with composite function blocks.  ... 
arXiv:1805.08984v1 fatcat:5cgnn6dndneczaezysttomh26e

IEC 61499 Component Based Approach for Batch Control Systems

D. Dimitrova, S. Panjaitan, I. Batchkova, G. Frey
2008 IFAC Proceedings Volumes  
The basic components are implemented by function blocks according to IEC 61499.  ...  With ISA SP88 and its IEC standard equivalent IEC 61512, there is a standard available covering the description of batch processes and plants over several hierarchical layers.  ...  IEC 61499 Standard IEC 61499 (IEC, 2005) defines a reference architecture for distributed automation systems and proposes different models including system, device, resource, application and function block  ... 
doi:10.3182/20080706-5-kr-1001.01842 fatcat:wkfrn5yw5bbvhhpr6tnfrzosqu

FBBeam: An Erlang-based IEC 61499 Implementation

Laurin Prenzel, Julien Provost
2019 2019 IEEE 17th International Conference on Industrial Informatics (INDIN)  
For this purpose, FBBeam, a compiler that automatically converts IEC 61499 models to Erlang source code, was implemented.  ...  The IEC 61499 is a modeling language for distributed control systems. Despite numerous research results existing on this topic, industry acceptance is lacking.  ...  Subapplications contain a Function Block network and can be used to structure an Application hierarchically.  ... 
doi:10.1109/indin41052.2019.8972123 dblp:conf/indin/PrenzelP19 fatcat:ir7rech7xvhjvigai5uir3mwkm

Promela Formal Modelling and Verification of IEC 61499 Systems with comparison to SMV

Viktor Shatrov, Valeriy Vyatkin
2021 2021 IEEE 19th International Conference on Industrial Informatics (INDIN)  
This paper presents a method of formal modelling of IEC 61499 systems of Function Blocks with Promela 1 .  ...  The existing method of formal verification of IEC 61499 using SMV (Symbolic Model Verifier) is compared with a new approach of verification using SPIN 2 which is an explicit-state modelchecker.  ...  ACKNOWLEDGMENT This work was sponsored, in part, by the JetBrains Research initiative and by the H2020 project 1-SWARM co-funded by the European Commission (grant agreement: 871743).  ... 
doi:10.1109/indin45523.2021.9557513 fatcat:aamwvoquabd27nmnx5tprozp2q

Development of Multi-Agent Control Systems using UML/SysML [chapter]

Iskra Antonova, Idilia Batchkov
2011 Multi-Agent Systems - Modeling, Control, Programming, Simulations and Applications  
The control functions in distributed systems can be suitably described with any discrete-event model like automata, Petri nets, Grafcet/SFC, formal languages or IEC-61499 based Function blocks.  ...  There is a clear correspondence between UML/SysML and IEC-61499 standard.  ...  Fig. 3 .Fig. 4 . 34 Structure of a basic function block (IEC-61499) Basic elements of the Execution Control ChartSome of the main disadvantages of IEC-61499 standard are the absence of unified methodology  ... 
doi:10.5772/14602 fatcat:g35bvuhxpfaprgmj5uwaxbel7i

One Decade of IEC 61499 Modeling and Verification - Results and Open Issues

Hans-Michael Hanisch, Martin Hirsch, Dirk Missal, Sebastian Preuße, Christian Gerber
2009 IFAC Proceedings Volumes  
The contribution summarizes the development of formal modeling and verification of Function Blocks following the IEC 61499.  ...  We provide a critical review on what has been done so far and open the view for further challenges in the development of formal techniques for IEC 61499.  ...  The authors would like to acknowledge the support of German Research Foundation, German Ministry for Education and Research, German Ministry for Economy and Technology and Alexander von Humboldt Foundation  ... 
doi:10.3182/20090603-3-ru-2001.0306 fatcat:swyqwlf26jgobgyuym6hr4nr2m

Combination of UML Modeling and the IEC 61499 Function Block Concept for the Development of Distributed Automation Systems

Seno Panjaitan, Georg Frey
2006 2006 IEEE Conference on Emerging Technologies and Factory Automation  
However, IEC 61499 is built on the use of interconnected Function Blocks (FBs) as a modeling paradigm. A mapping concept from UML into FB-based systems and its implementation are presented.  ...  As a result, the UML model using class diagrams, packages, and state diagrams can be transformed automatically to models according to IEC 61499.  ...  Acknowledgment The authors like to thank Christian Walke for the help with the implementation during his Diploma thesis and his advisor Andreas Rausch from the Department of Computer Science at the University  ... 
doi:10.1109/etfa.2006.355405 dblp:conf/etfa/PanjaitanF06 fatcat:k4nupuaefbarxepigju6o5nrmu

Transformation of Simulink models to IEC 61499 Function Blocks for verification of distributed control systems

Chia-han Yang, Valeriy Vyatkin
2012 Control Engineering Practice  
The transformation supported by the developed tools sets the cornerstone of the verification and validation framework for IEC 61499 Function Blocks in closed-loop with the models of the plant.  ...  In this paper, a new model-based engineering approach is introduced by bridging MATLAB Simulink with IEC61499 Function Block models.  ...  Acknowledgements This work was supported in part by the research grants of the University of Auckland: FRDF 3622763 and PRESS account of the University of Auckland.  ... 
doi:10.1016/j.conengprac.2012.06.008 fatcat:z4we5paferckxbonkh7r4f45ki
« Previous Showing results 1 — 15 out of 129 results