Results 71 to 80 of about 6,059,235 (113)
Some of the next articles are maybe not open access.
Analyzing the liveliness of IEC 61499 function blocks
2008 IEEE International Conference on Emerging Technologies and Factory Automation, 2008This 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 +4 more sources
Verifying IEC 61499 Function Blocks Using Esterel
IEEE Embedded Systems Letters, 2010IEC 61499 is an international standard that prescribes the use of function blocks for designing industrial-process control systems. Function blocks enable control software to be developed using an intuitive standard's-based graphical framework. The standard, however, lacks the semantic rigour necessary for automated verification of function block ...
Li Hsien Yoong, Partha S. Roop
openaire +4 more sources
Reengineering of IEC 61131 into IEC 61499 Function Blocks
2010 8th IEEE International Conference on Industrial Informatics, 2010In order for industrial automation manufacturers to remain competitive, they must utilise modern design approaches. Existing approaches using IEC 61131 languages are not object oriented and are difficult to reconfigure for other applications. IEC 61499 is an open standard aimed at replacing IEC 61131, adding modern design features and hardware ...
Gareth D. Shaw +2 more
openaire +3 more sources
Observer based verification of IEC 61499 function blocks
IEC 61499 is an international standard for designing Industrial Process Control Systems using artefacts such as Function Blocks and Execution Control Charts. The existing approaches towards formal verification of function blocks lack the natural expression for specifying the system properties.
Zeeshan E. Bhatti +2 more
openaire +2 more sources
Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks
IEEE Transactions on Industrial Informatics, 2016IEC 61499 enables component-oriented descriptions of complex industrial processes facilitating model-driven engineering. One aspect that is lacking, however, is the ability to directly express Statecharts-like hierarchy and concurrency within basic function blocks (BFBs).
Roopak Sinha +4 more
openaire +4 more sources
Synchronous Execution of IEC 61499 Function Blocks Using Esterel
The IEC 61499 standard proposes a component-oriented approach for specifying industrial-process measurement and control systems using function blocks. Unfortunately, the standard does not provide rigorous semantics for the execution of function blocks, resulting in different behaviours on different implementations.
null Li Hsien Yoong +3 more
openaire +2 more sources
IEC 61499 function block implementation of Intelligent Mechatronic Component
2010 8th IEEE International Conference on Industrial Informatics, 2010This paper presents a new approach of implementing Intelligent Mechatronic Component (IMC) using the IEC 61499 Function Block standard. In particular, this paper tries to address two issues during the engineering process of IMCs: a systematic approach of developing and organizing IMC elements and a seamless and scalable way supporting IMC composition ...
Cheng Pang, Valeriy Vyatki
openaire +3 more sources
Synthesizing IEC 61499 Function Blocks to hardware
2019 International Conference on Electronics, Information, and Communication (ICEIC), 2019IEC 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 hierarchical and concurrent approach for IEC 61499 function blocks
2009 IEEE Conference on Emerging Technologies & Factory Automation, 2009The IEC 61499 function block standard proposes a new specification language for describing distributed industrial control systems. The standard specifies the use of an execution control chart (ECC) for state control, with algorithm calls for data handling.
Gareth Shaw +2 more
openaire +2 more sources
Reconfigurable function blocks: Extension to the standard IEC 61499
2016 IEEE/ACS 13th International Conference of Computer Systems and Applications (AICCSA), 2016This paper presents an extension to the IEC 61499 standard called Reconfigurable Function Block. The major goal is to optimize the design of a network of Function Blocks by encapsulating several reconfiguration scenarios in one function block. We define the events triggering the reconfiguration and we attach a probability to each event to express its ...
Safa Guellouz +3 more
openaire +1 more source

