12516 - Protocol Engineering Modulübersicht

Modulnummer: 12516 - Modul nicht mehr im Angebot ab SS 2020
Modultitel:Protocol Engineering
  Protocol Engineering
Einrichtung: Fakultät 1 - MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik
Verantwortlich:
  • Prof. Dr.-Ing. habil. König, Hartmut
Lehr- und Prüfungssprache:Deutsch
Dauer:1 Semester
Angebotsturnus: sporadisch nach Ankündigung
Leistungspunkte: 6
Lernziele:Vermittlung von Methoden und Techniken der Beschreibung, der Verifikation, der Implementierung und des Testens von Kommunikationsprotokollen und Verteilten Systemen; Kennen der Fachtermini um aktuelle Publikationen und einschlägige Systemlösungen zu verstehen; Fähigkeit der Anwendung auf konkrete Probleme
Inhalte:Beschreibungsmethoden (Zustandsautomaten, Petri Netze, Prozesskalküle, Temporale Logiken), Formale Beschreibungstechniken (SDL, MSC, LOTOS, cTLA, ASN.1, UML), Entwurfstechniken, Verifkationstechniken (Erreichbarkeitsanalyse, Petri Netz Analysen, Algebraische Verifikation, Model Checking, Promela/SPIN), Implementierungsmethoden, Testmethoden (Konformitätstest, Interoperabilitätstest, Testfallableitung)
Empfohlene Voraussetzungen:Kenntnis des Stoffes des Moduls
  • 11454: Grundlagen der Rechnernetze
Zwingende Voraussetzungen:keine
Lehrformen und Arbeitsumfang:
  • Vorlesung / 2 SWS
  • Übung / 2 SWS
  • Selbststudium / 120 Stunden
Unterrichtsmaterialien und Literaturhinweise:siehe unter [Lehre] auf der Homepage des Lehrstuhls.
Modulprüfung:Modulabschlussprüfung (MAP)
Prüfungsleistung/en für Modulprüfung:
  • Klausur, 120 min. ODER
  • mündliche Prüfung, 30-45 min. (bei geringer Teilnehmerzahl)
In der ersten Lehrveranstaltung wird bekanntgegeben, ob die Prüfungsleistung in schriftlicher oder mündlicher Form zu erbringen ist.
Bewertung der Modulprüfung:Prüfungsleistung - benotet
Teilnehmerbeschränkung:keine
Zuordnung zu Studiengängen:
  • keine Zuordnung vorhanden
Bemerkungen:
  • Studiengang Informatik M. Sc.: Wahlpflichtmodul im Komplex „Technische und angewandte Informatik" (Niveaustufe 500).
  • Studiengang Informations- und Medientechnik M. Sc.: Wahlpflichtmodul im Komplex „Methodische Grundlagen".
Veranstaltungen zum Modul:Vorlesung: Protocol Engineering
Übung zur Vorlesung
Veranstaltungen im aktuellen Semester:
  • keine Zuordnung vorhanden
Nachfolgemodul/e: Auslaufmodul ab: 07.12.2019
  • ohne Nachfolgemodul/e