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 borne supérieure de la politique monotone de taux de priorité fixe pour la faisabilité ainsi que de justifier la politique monotone de taux et sera capable de comparer avec l'ordonnancement dynamique des priorités, y compris la politique du délai le plus court en premier et la politique du moindre laxisme.

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, ainsi que d'effectuer une analyse des diagrammes de temps pour les services logiciels à priorité fixe et dynamique. On apprendra à utiliser des outils d'analyse (Cheddar) pour automatiser l'analyse du temps et 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 " earliest deadline first " et " least laxity " ● Théorie de l'ordonnancement et pratique de l'écriture de code pour des cadres multifréquences, des services RTOS préemptifs prioritaires, et des services threadés en temps réel sur des systèmes d'exploitation traditionnels (Linux) ● Construction d'un système Linux multiservice simple utilisant des extensions POSIX en temps réel sur Raspberry Pi 3b en utilisant le séquençage et des méthodes pour enregistrer et vérifier l'accord entre la théorie et la pratique ● Génération et analyse de diagrammes de temps à l'aide de Cheddar Ce cours comprend des exigences matérielles et logicielles spécifiques. Veuillez consulter la FAQ ci-dessous pour plus de détails.