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

Nous montrons, dans ce papier, que les systèmes temps-réel constitués de tâches périodiques et sporadiques interdépendantes à durée d'exécution variable peuvent être validées temporellement à partir d'une méthodologie à base de langages rationnels. Ceci établit la cyclicité des séquences d'ordonnancements pour ces systèmes de tâches. We showthat real-time systems composed of both periodic and sporadic interdependant tasks with unfixed CPU time can be validated using a regular langages based methodology. This property leads to the cyclicity of the scheduling sequences for such systems.