Analyse der Systemleistung mit formalen Modellen

Überprüfen Sie, ob ein System seine maximale Belastung ausfallsicher handhaben kann, und lernen Sie, die Leistungsgrenzen komplexer Systeme mathematisch zu beweisen, um sicherzustellen, dass sie zuverlässig und effizient sind. Dieser Kurs vermittelt ein grundlegendes Verständnis der quantitativen formalen Modellierung, einer leistungsstarken Technik zur Analyse des Systemverhaltens.Sie lernen, Systembeschreibungen in präzise mathematische Modelle zu übersetzen und analytische Methoden anzuwenden, um ihre Worst-Case-Leistung zu bestimmen, z.B. maximale Latenz oder erforderliche Puffergrößen. Was Sie lernen werden: - Verstehen Sie die Grundprinzipien der formalen Modellierung und ihre Rolle bei der Systementwicklung und -verifizierung. - Lernen Sie, Systemverhalten mit grundlegenden Formalismen wie Petrinetzen darzustellen. - Wenden Sie mathematische Techniken an, einschließlich Zählfunktionen und Präfixbefehle, um Ihre Modelle zu analysieren. - Berechnen Sie die Leistungsmetriken für den ungünstigsten Fall, um die Systemzuverlässigkeit unter bestimmten Bedingungen zu gewährleisten. - Analysieren Sie Gleichzeitigkeit, Ressourcenkonflikt und potenzielle Deadlocks in verteilten Systemen. - Bauen Sie eine solide Grundlage für die Erforschung automatisierter Verifizierungs- und formaler Methodenwerkzeuge auf. Der Kurs beginnt mit der wesentlichen Theorie hinter der Systemmodellierung und führt dann zu praktischen schriftlichen Übungen, in denen Sie Modelle für verschiedene Szenarien erstellen und analysieren. Dieser Kurs richtet sich an Informatikstudenten, Softwareentwickler und Systemingenieure.Es sind keine Vorkenntnisse mit formalen Methoden erforderlich, aber ein Komfort mit abstrakten Konzepten ist von Vorteil. Starten Sie Ihre Reise in die rigorose Welt der Leistungsanalyse und Verifizierung.