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.
Type de document :
Communication dans un congrès
Workshop of Real-Time and Embedded Systems, Mar 2006, hang zhou, China, 2006
Liste complète des métadonnées

https://hal.inria.fr/inria-00114315
Contributeur : Xavier Rebeuf <>
Soumis le : jeudi 16 novembre 2006 - 11:55:40
Dernière modification le : jeudi 11 janvier 2018 - 06:20:05

Identifiants

  • HAL Id : inria-00114315, version 1

Collections

Citation

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, hang zhou, China, 2006. 〈inria-00114315〉

Partager

Métriques

Consultations de la notice

122