700.004 (20S) Grundlagenlabor: Entwurf von Kommunikationsprotokollen

Sommersemester 2020

Anmeldefrist abgelaufen.

keine Termine für die LV
... keine weiteren Termine bekannt

Überblick

Diese Lehrveranstaltung wurde storniert
LV-Titel englisch Lab course: Design of Communication Protocols
LV-Art Kurs (prüfungsimmanente LV )
Semesterstunde/n 2.0
ECTS-Anrechnungspunkte 2.0
Anmeldungen 1 (12 max.)
Organisationseinheit
Unterrichtssprache Deutsch
LV-Beginn 03.03.2020
eLearning zum Moodle-Kurs

Zeit und Ort

Liste der Termine wird geladen...

LV-Beschreibung

Intendierte Lernergebnisse

Nach dem Kurs sollen die Studierenden

  • ein grundlegendes Verständnis von Protokollen und ihren Grenzen haben
  • in der Lage sein einfache Protokolle zu entwerfen
  • wissen worauf es bei der Implementierung von Protokollen in Computersystemen ankommt

Lehrmethodik inkl. Einsatz von eLearning-Tools

Der Kurs wird aus Beiträgen der Lehrperson im Vorlesungsstil mit interaktiven Elementen (z.B. Diskussionsfragen) bestehen. Die Methodik kann sich im Verlauf des Kurses an die Bedürfnisse der Lerngruppe anpassen.

Es wird Fragen/Aufgaben zur selbständigen Bearbeitung außerhalb des Kurses geben, die den Inhalt vertiefen und/oder ergänzen sollen.

Der Unterricht findet auf Deutsch statt, falls nicht anders von den Studierenden gewünscht (dann Englisch). Das Kursmaterial kann Englische Inhalte enthalten.

Inhalt/e

  • Einleitung zu Protokollen
  • Struktur von Protokollen
  • Protokoll Design
  • Einführung in das Implementieren von Protokollen

Erwartete Vorkenntnisse

Keine strengen Vorgaben.

Grundlegende Programmierkenntnisse sind von Vorteil.

Literatur

Design and Validation of Computer Protocols, 1991, Gerard J. Holzmann

Intendierte Lernergebnisse

After the course, students should

  • have a basic understanding of protocols and their limitations
  • be able to design simple protocols given certain specifications
  • implement a protocol using SDL

Lehrmethodik inkl. Einsatz von eLearning-Tools

Classes will be mostly teacher-centered with some interactive elements (e.g. questions, discussions). This may be adjusted to the requirements of the group as we go.

Tasks will be assigned homework as a required phase of reflective studying.

The classes will be taught in English if at least one student requires it. Otherwise German is possible if preferred by the students. All course material is in English, also because this eliminates the need to switch languages when researching information on the internet.

Inhalt/e

List of Contents: 

  • Protocol Structure
  • Protocol Design
  • Introduction to Specification and Description Language (SDL)
  • Basic Elements of Communication Protocols 
    • Flow Control
    • Window Protocols
    • Sequence Numbers
    • ACK/NACK Protocols
    • Congestion Avoidance

Erwartete Vorkenntnisse

No formal requirements.

Basic knowledge of programming is helpful.

Literatur

Book: Design and Validation of Computer Protocols, 1991, Gerard J. Holzmann

Link auf weitere Informationen

  

Prüfungsinformationen

Im Fall von online durchgeführten Prüfungen sind die Standards zu beachten, die die technischen Geräte der Studierenden erfüllen müssen, um an diesen Prüfungen teilnehmen zu können.

Prüfungsmethode/n

The final mark will consist of three sub-grades:

  1. Excercise tasks (written submission of source code and/or reasoning) (20%)
  2. Final project (written documentation) (40%)
  3. Oral exam (presentation of your project + questions about project and course) (40%)

Depending on the group size presentations of the final project and an oral exam about the course content will be split into two sessions and grades, each at approximately equal weight.

Prüfungsinhalt/e

The exercise tasks will each correspond to one of the class sessions and are meant to strengthen your understanding of the content.

The final project will incorporate all aspects of the course and combine it into a single larger task. 

During the presentation you should be able to answer questions about your project and the content of the course.

Beurteilungskriterien/-maßstäbe

In all steps the critical evaluation measures are

  • correctness and
  • conciseness

In written parts (tasks and project documentation) you are asked to document each step and provide an explanation as to why you chose a certain approach. The clearness of your (documented) thought process will also be evaluated.

In oral examinations and presentations the delivery of content (e.g. slides, presentation skills) will also play a minor role for the grade.

Beurteilungsschema

Note Benotungsschema

Position im Curriculum

  • Bachelorstudium Informationstechnik (SKZ: 289, Version: 17W.1)
    • Fach: Grundlagenlabor Informationstechnik (Wahlfach)
      • 9a.1 Grundlagenlaborübungen der Informationstechnik ( 0.0h KS / 12.0 ECTS)
        • 700.004 Grundlagenlabor: Entwurf von Kommunikationsprotokollen (2.0h KS / 2.0 ECTS)
          Absolvierung im 4., 5., 6. Semester empfohlen
  • Bachelorstudium Informationstechnik (SKZ: 289, Version: 12W.2)
    • Fach: Grundlagenlabor Informationstechnik (Wahlfach)
      • Grundlagenlaborübungen der Informationstechnik ( 0.0h KU / 12.0 ECTS)
        • 700.004 Grundlagenlabor: Entwurf von Kommunikationsprotokollen (2.0h KS / 2.0 ECTS)

Gleichwertige Lehrveranstaltungen im Sinne der Prüfungsantrittszählung

Es liegt keine gleichwertige Lehrveranstaltung im Sinne der Prüfungsantrittszählung vor.