Definition of the execution model used in the Fuber IEC 61499 runtime environment

No abstract is available for this paper.

• Publication year

  2008

• Venue

  2008 6th IEEE International Conference on Industrial Informatics

• Publication date

  2008-07-13

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1109/INDIN.2008.4618113
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• On Definition of a Formal Model for IEC 61499 Function Blocks

  2008cited by this paper
• Execution Models for the IEC 61499 elements Composite Function Block and Subapplication

  2007cited by this paper
• Sequential Axiomatic Model for Execution of Basic Function Blocks in IEC61499

  2007cited by this paper
• Modeling of discrete event systems using finite automata with variables

  2007cited by this paper
• Modelling and Verification of IEC 61499 Applications using Prolog

  2006cited by this paper
• Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

  2006cited by this paper
• Supremica - An integrated environment for verification, synthesis and simulation of discrete event systems

  2006cited by this paper
• Usability and Interoperability of IEC 61499 based distributed automation systems

  2006cited by this paper
• Applying the handler-based execution model to IEC 61499 basic and composite function blocks

  2006cited by this paper
• Execution Semantic of Function Blocks based on the Model of Net Condition/Event Systems

  2006cited by this paper
• A real-time Linux execution environment for function-block based distributed control applications

  2005cited by this paper
• OOONEIDA: an open, object-oriented knowledge economy for intelligent industrial automation

  2005cited by this paper
• Executing real-time constrained control applications modelled in IEC 61499 with respect to dynamic reconfiguration

  2005cited by this paper
• Real-time Java in control and automation: a model driven development approach

  2005cited by this paper
• Implementation approaches for the execution model of IEC 61499 applications

  2004cited by this paper
• Development of distributed industrial control applications: the CORFU framework

  2002cited by this paper
• Platforms for Scalable Flexible Automation Considering the Concepts of IEC 61499

  2002cited by this paper

• Concurrent Execution Semantics for IEC 61499 Based Industrial Edge Applications

  2023cites this paper
• A Formal Model of IEC 61499-Based Industrial Automation Architecture Supporting Time-Aware Computations

  2021cites this paper
• Computer Aided Systems Theory – EUROCAST 2019: 17th International Conference, Las Palmas de Gran Canaria, Spain, February 17–22, 2019, Revised Selected Papers, Part II

  2020cites this paper
• DINASORE: A Dynamic Intelligent Reconfiguration Tool for Cyber-Physical Production Systems

  2020cites this paper
• A Survey of Static Formal Methods for Building Dependable Industrial Automation Systems

  2019cites this paper
• Towards formal ASM semantics of timed control systems for industrial CPS

  2019cites this paper
• IEC 61499 Runtime Environments: A State of the Art Comparison

  2019cites this paper
• Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499

  2012cites this paper
• Formal syntax and semantics of basic function blocks in IEC 61499

  2012cites this paper
• On Formal Analysis of IEC 61499 Applications, Part B: Execution Semantics

  2010cites this paper
• On Formal Analysis of IEC 61499 Applications, Part A: Modeling

  2010cites this paper
• Is IEC 61499 in harmony with IEC 61131-3?

  2009cites this paper
• Hierarchical and cooperative approaches to logic control design in industrial automation

  2009cites this paper
• Proposing a novel IEC61499 runtime framework implementing the Cyclic Execution semantics

  2009cites this paper
• Is IEC 61499 in harmony with IEC 61131-3?

  2009cites this paper