Calendrier et analyse des performances : vérification du modèle
Graph Chatbot
Chattez avec Graph Search
Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.
AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.
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.
Couvre les systèmes avioniques spatiaux, les architectures et les processeurs, en mettant l'accent sur les ordinateurs embarqués et les microprocesseurs.
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.
Explore la conception de la microélectronique à forte intensité de rayonnement, les bibliothèques rad-hard ASIC et les techniques d'atténuation des effets d'un seul événement.
Couvre la taxonomie des systèmes spatiaux, en mettant l'accent sur des sous-systèmes tels que l'alimentation électrique, le traitement des données, la communication, le contrôle de l'attitude et la charge utile.
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.
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.
