LS IV, AG RvS: Lehrveranstaltungen im WS 2009/10
Die vollständigen Beschreibungen der Veranstaltungen finden sich in den
Modulhandbüchern.
Modellierung und Analyse eingebetteter und verteilter Systeme
(4 + 2 SWS)
Vorlesung (Nr. 041211), 4 SWS
Di 14:15 - 16:00, GBV - HS113
Do 14:15 - 16:00, GBV - HS113
Dozenten: Buchholz, Krumm
Übungen dazu (Nr. 041212), 2 SWS
Unterschiedliche Ansätze zur Modellierung verteilter und eingebetteter Systeme
werden vorgestellt. Außerdem werden die wünschenswerten Eigenschaften eines
Systems definiert und klassifiziert. Es wird neben den klassischen funktionalen Eigenschaften
wie Korrektheit oder Sicherheit auch auf nicht funktionale Eigenschaften wie Leistung,
Zuverlässigkeit und Realzeitverhalten eingegangen. Auf Basis der vorgestellten
Modelltypen und der zu analysierenden Eigenschaften werden unterschiedliche Analysetechniken
eingeführt. Weiterhin werden Architekturkonzepte vorgestellt, die zur Erreichung
bestimmter Eigenschaften notwendig sind.
Die Studierenden sollen die Fähigkeit erlangen einen modellbasierten Entwurf
eingebetteter und verteilter Systeme durchzuführen. Auf dieser Basis sollen sie
in der Lage sein, funktionale und nicht funktionale Anforderungen zu formulieren,
Modelle zur Analyse der Anforderungen zu erstellen und diese zu analysieren, sowie
die Ergebnisse zu interpretieren.
Sicherheit im Netz 1
(2 SWS)
Vorlesung (Nr. 042407), 2 SWS
Di 10:15 - 12:00, GBV - HS113
Dozent: Krumm
Es wird eine kurze Übersicht über IT-Sicherheit gegeben und die für
die praktische Sicherheit vernetzter Systeme wesentlichen Themengebiete der Kommunikation
und Angriffe im Netz, der Firewalls, der Intrusion Detection Systeme, der verteilten
Authentifikationssysteme sowie der Gestaltung von Authentifikationssystemen und
Authentifikationsprotokollen
werden behandelt.
Die Studierenden sollen erkennen können, welche speziellen Sicherheitsziel-Bedrohungen
in vernetzten IT-Systemen bestehen, und sie sollen die darauf ausgerichteten Sicherheitsdienste
und Schutzmaßnahmen kennen gelernt haben. Sie sollen in der Lage sein, in gegebenen
vernetzten IT-Systemen vorhandene Vernetzungs-bezogene Schwachstellen und Bedrohungen
zu identifizieren, passende Sicherheitsdienste und Schutzmaßnahmen zu planen,
sie in ein Sicherheitskonzept zu integrieren und es praktisch durch adäquate
Konfiguration der Elemente umzusetzen.
Verteilte Algorithmen 2
(2 + 2 SWS)
Vorlesung (Nr. 042411), 2 SWS
Mo 10:15 - 12:00, HGI - HS2
Dozent: Krumm
Übungen dazu (Nr. 042412), 2 SWS
Do 10:15 - 12:00, GBV - R420
Veranstalter: Krumm
Es wird ein Verfahren zur präzisen Spezifikation verteilter Algorithmen vorgestellt.
Weiter werden wichtige Algorithmenvertreter aus den für den Entwurf praktischer
Ortsverbund-Anwendungen wesentlichen Anwendungsfeldern der Kontrolle verteilter Systeme,
der Verteilten Datenhaltung, der Erkundung verteilter Systeme und der zuverlässigen
Kommunikation in verteilten Systemen erläutert. Die Algorithmen werden hauptsächlich
in fortgeschrittenen Peer-to-Peer-Systemen und in verteilten Agentensystemen als Basisalgorithmen
eingesetzt.
Die Studierenden sollen einerseits ein praktikables Verfahren zur Spezifikation
verteilter Algorithmen kennen lernen, das sie in die Lage versetzt, konkrete verteilte
Algorithmen präzise zu beschreiben sowie effizient aus bekannten Bausteinen neue
Algorithmen zu entwickeln und zu definieren. Weiterhin sollen sie die wichtigsten
verteilten Algorithmen kennen gelernt haben, so dass sie beim Entwurf verteilter Anwendungen
in der Lage sind, passende Basisalgorithmen zu identifizieren, anzupassen und einzusetzen.
Seminar über Diplom- und Doktorarbeiten
(2 HS/OS)
Nr. 049041, 2 H/OS
Mo 14:15 - 16:00 GBV, R420
Veranstalter: Beilner, Buchholz, Krumm
Heiko Krumm, 5.8.2009, Informatik IV, TU Dortmund
|