A schedulability analysis of an IEC 61499 control application - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2005

A schedulability analysis of an IEC 61499 control application

Abstract

This paper deals with the temporal correctness of control applications designed using the component-based standard IEC 61499. In this standard, a function block is defined as an event trigger component containing its own data. To validate the temporal behavior of an application, we have to take into account its scheduling on the execution support. We propose an abstraction of the component behavior taking into account all its possible executions. Moreover, we propose to verify the temporal correctness of the application with regard to global temporal properties (end to end delays). Thanks to such characterization, we show that it is possible to check deadlines for the application to ensure its correctness. To reach this goal, we transform the application into a dependant tasks model(Copyright © 2005 IFAC).

Domains

Other [cs.OH]
No file

Dates and versions

inria-00000492 , version 1 (18-11-2005)

Identifiers

  • HAL Id : inria-00000492 , version 1

Cite

Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion. A schedulability analysis of an IEC 61499 control application. FeT 2005 - 6th IFAC International Conference on Fieldbus Systems and their Applications, Nov 2005, Puebla, Mexico. ⟨inria-00000492⟩
116 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More