183.626 Parallele und Echtzeitprogrammierung
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019S, VU, 4.0h, 6.0EC
TUWEL

Merkmale

  • Semesterwochenstunden: 4.0
  • ECTS: 6.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Aufbauend auf Kenntnissen aus formalen Methoden der Informatik werden Fähigkeiten vermittelt, die über grundlegene sequentielle Programmierung hinausgehen. Dies betrifft im speziellen die Programmierung nebenläufiger Kontrollflüsse unter Bezugnahme auf Echtzeitbedingungen, deren subtile Probleme und Herausforderungen eingehend behandelt werden. Ein weiterer Schwerpunkt liegt auf der Verifikation nicht-funktionaler Eigenschaften.

Inhalt der Lehrveranstaltung

 

  • Programmierung von multithreaded shared Memory Systemen
  • Verifikation von multithreaded shared Memory Systemen

6 ECTS = 150 Sunden

Stunden    Gegenstand

20             Anwesenheit VO

10             Anwesenheit UE

05             Anwesenheit Tests

98             Vorbereitung UE

42             Nachbereitung VO, Vorbereitung Tests

Vortragende Personen

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Mo.14:30 - 16:0004.03.2019HS 13 Ernst Melan - RPL Vorbesprechung
Mo.14:00 - 16:0011.03.2019 - 24.06.2019HS 13 Ernst Melan - RPL Vorlesung
Parallele und Echtzeitprogrammierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Mo.04.03.201914:30 - 16:00HS 13 Ernst Melan - RPL Vorbesprechung
Mo.11.03.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.18.03.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.25.03.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.01.04.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.08.04.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.15.04.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.22.04.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.29.04.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.06.05.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.13.05.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.20.05.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.27.05.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.03.06.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.10.06.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.17.06.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung
Mo.24.06.201914:00 - 16:00HS 13 Ernst Melan - RPL Vorlesung

LVA-Anmeldung

Von Bis Abmeldung bis
05.03.2019 13:00 15.03.2019 23:59 15.03.2019 23:59

Zulassungsbedingung

Voraussetzung für die Anmeldung ist eine Fortmeldung zu einem der folgenden Studien:

Curricula

StudienkennzahlVerbindlichkeitSemesterAnm.Bed.Info
066 937 Software Engineering & Internet Computing Gebundenes Wahlfach
066 938 Technische Informatik Gebundenes Wahlfach
066 938 Technische Informatik Gebundenes Wahlfach
066 950 Informatikdidaktik Gebundenes Wahlfach

Literatur

Skriptum vorhanden

Sprache

Deutsch