Temporal validation of an IEC 61499 control application - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2005

Temporal validation of an IEC 61499 control application

Mohamed Khalgui
  • Fonction : Auteur
  • PersonId : 830694

Résumé

This paper deals with the temporal correctness of control applications designed using the componentbased standard IEC 61499. In this standard, a function block is defined as an event trigger component containing its own data. To validate temporal behavior of an application, we have to take into account its scheduling on the execution support. We propose an abstraction of component behavior taking into account all its possible executions. 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.

Domaines

Autre [cs.OH]
Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00000443 , version 1

Citer

Mohamed Khalgui. Temporal validation of an IEC 61499 control application. Premières Rencontres des Jeunes Chercheurs en Informatique Temps Réel 2005 - RJCITR'05, Sep 2005, Nancy. France. ⟨inria-00000443⟩
37 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More