Module

Voraussetzungen

Inhalte

Praktische Auseinandersetzung mit einem Werkzeug zur modell-basierten Analyse nebenläufiger Systeme. Dazu werden sowohl kleinere bereitgestellte Modelle nachvollzogen als auch ein größeres Abschlussmodell selbst entwickelt und analysiert.

Lernziele

Der Studierende erwirbt grundlegende Fertigkeiten beim praktischen Einsatz formaler Modelle für die systematische Konstruktion nebenläufiger Systeme sowie Erfahrungen, mit welchen Analysetechniken welche Systemeigenschaften anhand des jeweiligen Modells analysiert werden können.

Prüfungsleistung

• lauffähiger und getesteter Prototyp (50% Punkteanteil) • vollständige Dokumentation der Programmierung (20% Punkteanteil) • erfolgreiche Zwischenpräsentation der Ergebnisse (10% Punkteanteil) • erfolgreiche Endpräsentation der Ergebnisse (20% Punkteanteil) Der Umfang der Teilleistungen ist aufgabenabhängig und wird in der ersten Veranstaltung bekannt gegeben. Das Modul ist bestanden, wenn 75% der Punkte erreicht sind.

Bemerkungen

• Studiengang Informatik M.Sc.: Wahlpflichtmodul im Komplex „Seminare oder Praktika“ (Niveaustufe 500) • Studiengang Informations- und Medientechnik M.Sc.: Wahlpflichtmodul im Komplex „Zuverlässige HW/SW-Systeme“ (Praktikum) • Studiengang Künstliche Intelligenz Technologie M.Sc.: Wahlpflichtmodul im Komplex „Software-basierte Systeme“