12507 - Praktikum Software-Validation Modulübersicht

Modulnummer: 12507 - Modul nicht mehr im Angebot ab WS 2023/24
Modultitel:Praktikum Software-Validation
  Laboratory Software Validation
Einrichtung: Fakultät 1 - MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik
Verantwortlich:
  • Prof. Dr. rer. nat. Lambers, Leen
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: jedes Semester
Leistungspunkte: 4
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.
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.
Empfohlene Voraussetzungen:Kenntnis des Stoffes des Moduls
  • 12407: Einführung in die Nebenläufigkeit
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Praktikum / 2 SWS
  • Selbststudium / 90 Stunden
Unterrichtsmaterialien und Literaturhinweise:Wird zu Beginn ausgegeben.
Modulprüfung:Continuous Assessment (MCA)
Prüfungsleistung/en für Modulprüfung:
  • 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.
Bewertung der Modulprüfung:Studienleistung - unbenotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
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“
Veranstaltungen zum Modul:
  • 128140 Praktikum Software-Validation
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden
Nachfolgemodul/e: Auslaufmodul ab: 20.01.2023
  • ohne Nachfolgemodul/e