Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime
- 1 September 2006
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 19460740,p. 1269-1276
Abstract
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.Keywords
This publication has 9 references indexed in Scilit:
- Real-Time Java in Control and Automation: A Model Driven Development Approach2006
- Implementation of full synchronous composition using IEC 61499 function blocks2005
- Implementation approaches for the execution model of IEC 61499 applications2005
- OOONEIDA: An Open, Object-Oriented Knowledge Economy for Intelligent Industrial AutomationIEEE Transactions on Industrial Informatics, 2005
- Towards IEC 61499 function blocks diagrams verification2003
- Development of distributed industrial control applications: the CORFU framework2003
- Design and verification of mechatronic object-oriented models for industrial control systems2003
- Formal modeling and verification in the software engineering framework of IEC 61499: a way to self-verifying systems2002
- The control of discrete event systemsProceedings of the IEEE, 1989