Validation temporelle de systèmes de tâches temps-réel strictes à durée variables à l'aide de langages rationnels

Abstract : we show that real-time systems composed of both periodic and sporadic interdependents tasks wich CPU time is not fixed can be validated from a methodology based on rational languages. This property leads to the cyclicity of the scheduling sequences for such systems.
Type de document :
Communication dans un congrès
Modélisation des systèmes réactifs, Sep 2001, toulouse, France. pp.243-258, 2001
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00345910
Contributeur : Gaëlle Largeteau-Skapin <>
Soumis le : mercredi 10 décembre 2008 - 14:13:04
Dernière modification le : vendredi 10 juillet 2009 - 14:58:20
Document(s) archivé(s) le : lundi 7 juin 2010 - 21:30:11

Fichier

DG-GL.MSR01-actes.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00345910, version 1

Collections

Citation

Dominique Geniet, Gaëlle Largeteau-Skapin. Validation temporelle de systèmes de tâches temps-réel strictes à durée variables à l'aide de langages rationnels. Modélisation des systèmes réactifs, Sep 2001, toulouse, France. pp.243-258, 2001. 〈hal-00345910〉

Partager

Métriques

Consultations de
la notice

192

Téléchargements du document

77