Analyse des performances système avec des modèles formels

Vous êtes-vous déjà demandé si un système pouvait réellement supporter sa charge maximale attendue sans défaillance ? Allez au-delà des tests traditionnels et apprenez à prouver mathématiquement les limites de performance des systèmes complexes, en garantissant leur fiabilité et leur efficacité. Ce cours fournit une compréhension fondamentale de la modélisation formelle quantitative, une technique puissante pour analyser le comportement du système. Vous apprendrez à traduire les descriptions de systèmes en modèles mathématiques précis et à appliquer des méthodes analytiques pour déterminer leurs performances dans le pire des cas, telles que la latence maximale ou les tailles de tampon requises. Ce que vous apprendrez : - Comprendre les principes fondamentaux de la modélisation formelle et son rôle dans la conception et la vérification des systèmes. - Apprendre à représenter le comportement du système à l'aide de formalismes fondamentaux tels que les réseaux de Petri. - Appliquer des techniques mathématiques, y compris les fonctions de comptage et les ordres préfixes, pour analyser vos modèles. - Calculer les métriques de performance dans le pire des cas pour garantir la fiabilité du système dans des conditions spécifiques. - Analyser la concurrence, la contention de ressources et les interblocages potentiels dans les systèmes distribués. - Construire une base solide pour explorer la vérification automatisée et les outils de méthodes formelles. Le cours commence par la théorie essentielle derrière la modélisation des systèmes, puis progresse vers des exercices écrits pratiques où vous construirez et analyserez des modèles pour divers scénarios. Ce cours est conçu pour les étudiants en informatique, les développeurs de logiciels et les ingénieurs systèmes. Aucune expérience préalable des méthodes formelles n'est requise, mais une aisance avec les concepts abstraits est bénéfique. Commencez votre voyage dans le monde rigoureux de l'analyse des performances et de la vérification.