HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

A schedulability analysis of an IEC 61499 control application

Mohamed Khalgui 1 Xavier Rebeuf 1 Françoise Simonot-Lion 1
1 TRIO - Real time and interoperability
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : This talk 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.
Document type :
Conference papers
Complete list of metadata

Contributor : Xavier Rebeuf Connect in order to contact the contributor
Submitted on : Thursday, November 16, 2006 - 11:55:40 AM
Last modification on : Friday, February 4, 2022 - 3:31:29 AM


  • HAL Id : inria-00114315, version 1



Mohamed Khalgui, Xavier Rebeuf, Françoise Simonot-Lion. A schedulability analysis of an IEC 61499 control application. Workshop of Real-Time and Embedded Systems, Mar 2006, Hangzhou, China. ⟨inria-00114315⟩



Record views