Ce cours fournit une dérivation mathématique complète et approfondie et un examen des modèles pour les politiques d'ordonnancement et la détermination de la faisabilité à la main et avec des outils monotones de taux, ainsi qu'une comparaison avec les performances réelles pour les threads planifiés en temps réel fonctionnant sur un système Linux natif. A la fin de ce cours, l'apprenant sera capable de dériver entièrement la moindre borne supérieure du taux monotone de priorité fixe pour la faisabilité ainsi que de justifier la politique de taux monotone et sera capable de comparer avec l'ordonnancement dynamique des priorités, y compris les politiques de délai le plus court et de moindre laxité.

A la fin de ce cours, les apprenants seront capables de dériver et d'expliquer le modèle mathématique de la moindre borne supérieure monotone et d'effectuer une analyse des diagrammes de temps pour les services logiciels à priorité fixe et dynamique. Des outils d'analyse seront appris (Cheddar) afin d'automatiser l'analyse du temps et de la comparer à la performance réelle. Les objectifs spécifiques incluent : ● Théorie du taux monotone (modèles mathématiques complets) ● Différences entre la politique de taux monotone à priorité fixe et les politiques de priorité dynamique de premier délai et de moindre laxité ● Théorie et pratique de l'ordonnancement écrire du code pour les cadres multifréquences, les services RTOS préemptifs prioritaires et les services threadés en temps réel sur les systèmes d'exploitation traditionnels (Linux) ● Construire un système multiservice Linux simple utilisant les extensions temps réel POSIX sur Raspberry Pi 3b en utilisant le séquençage et les méthodes pour enregistrer et vérifier l'accord entre la théorie et la pratique ● Génération et analyse de diagramme de temps à l'aide de Cheddar