Fondations algorithmiques pour la certification des systèmes

Cette séance de cours de l'instructeur de Max Planck Institute for Software Systems se concentre sur les défis de la conception de systèmes avec des composants indignes de confiance, soulignant l'importance de la conception et de l'analyse algorithmiques pour la certification des systèmes. La séance de cours traite de sujets tels que la vérification, le contrôle et l'interaction dans les systèmes avec des composants peu fiables, y compris les programmes multithreaded shared-memory et l'analyse limitée de k-context. Il s'inscrit également dans la nature décidable des problèmes d'accessibilité liés au contexte et dans l'utilisation de diagrammes de décision binaires pour une vérification efficace. La présentation explore les fondements théoriques et les applications pratiques de l'ingénierie de certification, soulignant le besoin de confiance dans la conception du système et le rôle des idées algorithmiques dans la garantie de la fiabilité du système.