Analyse temporelle pour la planification à priorité fixe des systèmes temps réel critiques

Cet article présente une analyse temporelle pour un ensemble de tâches périodiques temps réel critiques assez général sur un uniprocesseur utilisant des méthodes à priorité fixe. Les tâches périodiques sont composées de sous-tâches exécutées sérialisées, où chaque sous-tâche est caractérisée par un temps d'exécution, une priorité fixe et une échéance. Une méthode pour déterminer la planifiabilité de chaque tâche et sous-tâche est présentée, ainsi que ses fondements théoriques. Cette méthode peut être utilisée pour analyser la planifiabilité de tout ensemble de tâches sur un uniprocesseur dont la structure de priorité peut être modélisée comme des sous-tâches exécutées sérialisées, ce qui peut conduire à une structure de priorité très complexe. Des exemples importants incluent des ensembles de tâches impliquant des interruptions, certains protocoles de synchronisation, certaines contraintes de précédence, des sections non préemptibles et certains systèmes de passage de messages. La méthode est illustrée par un exemple en robotique.