Calendrier et analyse des performances : vérification du modèle
Graph Chatbot
Description
Cette séance de cours de l'instructeur de l'Université d'Aalborg au Danemark porte sur l'analyse du moment et des performances à l'aide de la vérification des modèles, y compris les tâches telles que l'analyse WCET et l'analyse de l'échéancier. Il traite également des résultats expérimentaux, de l'établissement de calendriers objectifs multiples et d'un suivi des cas sur le système TERMA.
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
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.
