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.
Explore les inégalités de la matrice linéaire dans les systèmes de contrôle en réseau et analyse les bases et les performances des réseaux de contrôle.
Explore les systèmes de contrôle en temps réel, le déterminisme et l'automatisation dans les systèmes critiques, en soulignant l'importance de respecter les contraintes de temps pour la sécurité et l'efficacité.
Couvre Dafny pour la vérification formelle, la concordance de modélisation, les règles de sécurité, la vivacité et les concepts de mémoire transactionnelle.
Couvre la création de processus, la commutation entre eux, la manipulation des interruptions, et le mécanisme de commutation de contexte dans le monde multiprocesseur.
Explore la stabilité des systèmes de contrôle en réseau sous la perte de paquets et les abandons stochastiques, en mettant l'accent sur la stabilité et la robustesse du carré moyen.
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.
