Results 121 to 130 of about 66,135 (157)

Replication Strategies for Distributed IEC 61499 Applications

IECON 2018 - 44th Annual Conference of the IEEE Industrial Electronics Society, 2018
The IEC 61499 standard defines a framework for the development of distributed control applications, including a modeling language and its associated execution semantics. Traditionally industrial control applications run on a single computing device. When moving to a distributed solution new failure models need to be taken into account. In previous work
Adriano A. Santos, Mário de Sousa
openaire   +3 more sources

Synthesizing IEC 61499 Function Blocks to hardware

2019 International Conference on Electronics, Information, and Communication (ICEIC), 2019
IEC 61499 Function Blocks is the emerging standard for distributed control of industrial automation systems. Within this domain, it is common for devices to need robust timing and functional guarantees. Unfortunately, many industry-standard approaches can only provide analysis for functional correctness.
Hammond A. Pearce, Partha S. Roop
openaire   +2 more sources

A Comparison of Formal Verification Approaches for IEC 61499

2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA), 2016
Engineering and computer science have come up with a variety of techniques to increase the confidence in systems, increase reliability, facilitate certification, improve reuse and maintainability, improve interoperability and portability. Among them are various techniques based on formal models to enhance testing, validation and verification.
Blech, Jan Olaf, Lindgren, Per, Pereira, David, Vyatkin, Valeriy, Zoitl, Alois   +5 more
openaire   +1 more source

Exploring Refactoring Operations for IEC 61499

2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), 2023
Michael Oberlehner, Andreas Eigner, Manuel Wimmer, Alois Zoitl   +3 more
openaire   +2 more sources

Developing a monitoring infrastructure for IEC 61499 devices

2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA), 2013
In order to cope with the upcoming demands for flexible adaptive production system a new architecture for industrial automation systems has been introduced called IEC 61499. Up to now no monitoring and debugging infrastructure has been defined for IEC 61499 although, this is a key feature for industrial automation systems as break downs and unexpected ...
Alois Zoitl, Gerhard Ebenhofer, Michael Hofmann 0006   +2 more
openaire   +1 more source

Catalog of Refactoring Operations for IEC 61499

2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ), 2021
Michael Oberlehner, Lisa Sonnleithner, Bianca Wiesmayr, Alois Zoitl, CDL VaSiCS   +4 more
openaire   +2 more sources

Educational approaches for the industrial acceptance of IEC 61499

2007 IEEE Conference on Emerging Technologies & Factory Automation (EFTA 2007), 2007
Professionals' assessments on the usefulness of IEC 61499 depend on several factors that are outside of the scope of the standard. Automation design in the industry is largely routine work that is based on copying and modifying existing domain-specific solutions, so the lack of legacy software exacerbates learning difficulties.
Seppo A. Sierla, James H. Christensen, Kari Koskinen, Jukka Peltola   +3 more
openaire   +2 more sources

IEC 61499 models and concepts

2001
This chapter reviews the main models and concepts defined in IEC 61499 to gain a general overview of the function block standard. It is advisable to have some understanding of the material in this chapter before proceeding into any of the following chapters where specific features of IEC 61499 are reviewed in more detail. Topics covered in this chapter
openaire   +1 more source

Synthesizing Multirate Programs from IEC 61499

2015 IEEE 18th International Symposium on Real-Time Distributed Computing, 2015
IEC 61499 is a standard for designing industrial control systems using function blocks. Since its publication in 2005, several run-time environments have been developed as plausible implementations. Most of them, however, are poorly suited for use in safety-critical systems, as they are unable to guarantee deterministic behaviour and predictable timing.
Li Hsien Yoong, Partha S. Roop
openaire   +1 more source

Analyzing the liveliness of IEC 61499 function blocks

2008 IEEE International Conference on Emerging Technologies and Factory Automation, 2008
This paper aims at the systematic determination of faulty and problematic execution control charts (ECC) of IEC 61499 basic function blocks. The liveliness of a function block and the potential state transitions fundamentally depend on the execution semantics of function blocks.
Nils H. Hagge, Bernardo Wagner
openaire   +2 more sources