Systèmes critiques de sécurité efficaces

Cette séance de cours explore le défi de construire des systèmes critiques pour la sécurité qui sont à la fois corrects et efficaces. L'instructeur discute de l'évolution vers des environnements informatiques intégrés et de la façon de réintégrer les considérations d'efficacité dans le processus de conception. La séance de cours couvre la construction de cadres cycliques pour la planification de systèmes de criticité mixtes, y compris l'algorithme de construction de tables de planification. L'instructeur explique l'importance d'utiliser les pires délais d'exécution et les implications pour les concepteurs de systèmes et les autorités de certification. La séance de cours se termine par un aperçu de la théorie de la planification en temps réel et du potentiel de mise en œuvre efficace des ressources des systèmes de criticité mixtes.