Protocol Engineering
6 CPirregularlyDEno longer offered
Prerequisites
Recommended, as written
Kenntnis des Stoffes des Moduls • 11454: Grundlagen der Rechnernetze
Contents
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)
Learning outcomes
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
Assessment
• 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.
Literature (1)
- siehe unter [Lehre] auf der Homepage des Lehrstuhls.
Remarks
• Studiengang Informatik M. Sc.: Wahlpflichtmodul im Komplex „Technische und angewandte Informatik" (Niveaustufe 500). • Studiengang Informations- und Medientechnik M. Sc.: Wahlpflichtmodul im Komplex „Methodische Grundlagen".
Source: BTU's module description · retrieved 14 Oct 2026Original