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.
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.
Se concentre sur la conception de systèmes intermittents officiellement corrects dans les systèmes sans batterie alimentés par intermittence, en abordant les défis et les stratégies pour assurer l'exactitude.
Explore le flou, les oracles de bogues, les revues de codes et les techniques de test automatisé, soulignant l'importance de la désinfection pour détecter les défauts.
Discute de la planification des internes, des métriques et des politiques dans les systèmes informatiques, en mettant l'accent sur l'efficacité et les complexités des architectures multi-cœurs modernes.
Explore la conception de systèmes en réseau pour des performances robustes, en mettant l'accent sur les applications en temps réel et la vérification formelle.
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.
