Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime

The execution model in a new standard for distributed control systems, IEC 61499, is analyzed. It is shown how the same standard compliant application running in two different standard compliant runtime environments may result in completely different behaviors. Thus, to achieve true portability of a...

Full description

Saved in:
Bibliographic Details
Published in2006 IEEE Conference on Emerging Technologies and Factory Automation pp. 1269 - 1276
Main Authors Cengic, G., Ljungkrantz, O., Akesson, K.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2006
Subjects
Application software
Control systems
Distributed control
Formal verification
Hardware
IEC standards
Process control
Programmable control
Runtime environment
Standards development
Online AccessGet full text
ISBN9780780397583
0780397584
ISSN1946-0740
DOI10.1109/ETFA.2006.355187

Cover

More Information
Summary:The execution model in a new standard for distributed control systems, IEC 61499, is analyzed. It is shown how the same standard compliant application running in two different standard compliant runtime environments may result in completely different behaviors. Thus, to achieve true portability of applications between multiple standard compliant runtime environments a more detailed execution model is necessary. In this paper a new runtime environment, Fuber, is presented along with a formal execution model. In this case the execution model is given as a set of interacting state machines which makes it straightforward to analyze the behavior of the application and runtime together using existing tools for formal verification.
ISBN:9780780397583
0780397584
ISSN:1946-0740
DOI:10.1109/ETFA.2006.355187