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

Dominique Geniet (1) , Gaëlle Largeteau-Skapin (1, 2)

1 LISI [Poitiers] - Laboratoire d'informatique scientifique et industrielle [EA 1232]
2 SIC - SIGNAL-IMAGE-COMMUNICATION

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.

Mots clés: Real-time; finite automata; rational languages; ciclycity; temporal validation; feasibility

Domaines: Systèmes embarqués; Performance et fiabilité [cs.PF]

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. ⟨hal-00345910⟩