Fournit un aperçu de MicroC/OS-II, un noyau en temps réel avec des capacités multitâches et des fonctions déterministes, couvrant des sujets tels que la gestion des tâches, le noyau et la communication intertâche.
Couvre les politiques de planification du processeur, y compris FIFO, SJF et Round Robin, en soulignant leur impact sur les délais de traitement et de réponse.
Couvre le rôle du système d'exploitation en tant qu'arbitre dans la gestion des ressources et la sécurité grâce à l'isolement des pannes, au partage des ressources et à la communication.
Explore la coordination et la programmation dans les systèmes d'exploitation, couvrant les problèmes de réveil perdus, les algorithmes de planification et les primitives de coordination comme le sommeil et le réveil.
Explique les mécanismes et les politiques de planification du système d'exploitation, en se concentrant sur la commutation de contexte et la préemption.
Explore la vérification des modèles de détermination du temps, la planification U-Pool, l'analyse des pires temps d'exécution et la vérification statistique des modèles pour les systèmes cyber-physiques.
Plonge dans la construction de systèmes efficaces et critiques pour la sécurité, en soulignant l'importance des pires délais d'exécution et les défis de l'intégration des considérations d'efficacité dans les processus de conception.
