Oscar Ljungkrantz
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Oscar Ljungkrantz has a total of 2 co-authors. Here are the top co-authors by number of shared publications:
- Goran Cengic
Department of Signals and Systems, Chalmers University of Technology, Sweden
2 shared publications - Knut Akesson
Department of Electrical Engineering, Chalmers University of Technology, Gothenburg, Sweden
2 shared publications
Latest Publications
- 1 September 2006
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 19460740,p. 782-789
A Framework for Component Based Distributed Control Software Development Using IEC 61499
A framework for component based distributed control software is proposed. The primary application for the framework is in distributed control systems. The framework proposes new software components, called automation components that can be hierarchically embedded to produce new components. Automation components are also combined to produce hierarchical component based applications. The framework is independent of the execution platform, however it is shown how an application that is developed using the framework can be executed using IEC 61499 platform. The validity of the framework is evaluated using an industrial example of a reconfigurable manufacturing cell.
- 1 September 2006
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 19460740,p. 782-789
A Framework for Component Based Distributed Control Software Development Using IEC 61499
A framework for component based distributed control software is proposed. The primary application for the framework is in distributed control systems. The framework proposes new software components, called automation components that can be hierarchically embedded to produce new components. Automation components are also combined to produce hierarchical component based applications. The framework is independent of the execution platform, however it is shown how an application that is developed using the framework can be executed using IEC 61499 platform. The validity of the framework is evaluated using an industrial example of a reconfigurable manufacturing cell.
- 1 September 2006
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 19460740,p. 1269-1276
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 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.
- 1 September 2006
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 19460740,p. 1269-1276
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 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.