Vers des analyses de temps de réponse génériques

Colloque sur invitation. nationale.National audienceLe modèle d'ordonnancement dit trajectoriel est le modèle mathématique d'une ressource utilisée par des activités récurrentes. Ce modèle permet d'exprimer dans un cadre commun les résultats d'ordonnancement existants et se révèle souvent bien adapté pour prouver certaines propriétés sur l'ordonnancement. Dans cette étude, nous montrons comment, à l'aide du modèle trajectoriel, il est possible d'envisager des analyses d'ordonnançabilité génériques, c'est à dire valable pour certaines classes de politiques