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.

2015S, 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 basierend auf formaler Semantik.

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
Di.12:00 - 14:0003.03.2015HS 17 Friedrich Hartmann - ARCH Vorbesprechung
Mo.14:00 - 15:3023.03.2015 - 22.06.2015HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Parallele und Echtzeitprogrammierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Di.03.03.201512:00 - 14:00HS 17 Friedrich Hartmann - ARCH Vorbesprechung
Mo.23.03.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.30.03.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.06.04.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.20.04.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.27.04.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.04.05.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.11.05.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.18.05.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.25.05.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.01.06.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.08.06.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung
Mo.22.06.201514:00 - 15:30HS 17 Friedrich Hartmann - ARCH Parallele und Echtzeitprogrammierung

LVA-Anmeldung

Von Bis Abmeldung bis
02.03.2015 00:00 23.03.2015 23:59 23.03.2015 23:59

Zulassungsbedingung

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

Curricula

Literatur

Skriptum vorhanden

Sprache

Deutsch