Protocol Engineering
6 LPunregelmäßigDEwird nicht mehr angeboten
Voraussetzungen
Empfohlen, im Wortlaut
Kenntnis des Stoffes des Moduls • 11454: Grundlagen der Rechnernetze
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)
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
Prüfungsleistung
• 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.
Literatur (1)
- siehe unter [Lehre] auf der Homepage des Lehrstuhls.
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".
Quelle: Modulbeschreibung der BTU · abgerufen 14.10.2026Original