Arbeitsbereich „Rechnernetze und verteilte Systeme“ FB Informatik, Lehrstuhl 4, FG RvS Prof. Dr. Heiko Krumm Verteilte Anwendungen / Rechnernetzanwendungen Konkrete Anwendungen Architekturen, Plattformen / Middleware / Unterstützungsfunktionen Rechnernetze Kommunikationssysteme, Implementierung, BS-Integration Telekommunikationssysteme Dienste, Protokolle, Geräte Funktion und Korrektheit Datensicherheit Administration und Management Entwurfs-unterstützung

Rechnernetze und Anwendungen Host Komponenten verteilter Anwendungen Prozess Prozess Prozess Middleware-Plattform BS KS Host HW K-HW Datennetz Router Router

Arbeitsgebiete Architektur und Plattformen verteilter Anwendungen Komponenten-Basierung Service-Orientierung Flexibilität und Dynamische Veränderung Interagierende Anwendungen Sicherheit vernetzter Systeme Sicherheitsdienste in Anwendungen Sicherheitsmanagement Management von Netzen, Systemen und Anwendungen Automatisierung Entwurf und Konsistenz Verteilte eingebettete Systeme Realzeit, Sicherheit, Ressourcenbeschränkung Methodik Funktionaler Entwurf, Korrektheit und Prüfung Effiziente Implementierung

Entwurf verteilter Systeme Produkt Muster Design Patterns: Architekturmuster Verhaltensmuster Verteilung Kommunikation Bindung / Flexibilität Fehlertoleranz Leistung Software Patterns: Standards APIs Interaktionen Formale Patternmodelle Muster-Integration Retrieve & Compute Pro- duce Con- sume integrate Retrieve Produce Consume Compute Send- Packet Recv- Packet integrate Retrieve Produce SendPacket Consume Compute RecvPacket

Entwurf verteilter Systeme Sichere Systeme: Safety Korrekte verteilte Realzeit-Systeme Realzeit-Eigenschaften - Forcing: Max. Waiting Time - Retarding: Min. Waiting Time Hybride Systeme - Continuous Flows Eingebettete Systeme - Dedizierte HW - Ressourcenbeschränkungen M

Modellbasiertes automatisiertes Management Services Model Modeler & Management Application Generator Tool Netz-, System- und Anwendungs- management A] „FCAPS“ - Ressourcen- Management B] Service Management - Service Level Agreements - Quality of Service Management System

Dienste- und Komponentenstrukturierung Services Dienstleistungen und Leases als Interaktionsparadigma Unterschiedliche Provider Komponenten Verbindliche Schnittstellen Explizite Abhängigkeiten Unterschiedliche Lieferanten und Applikationsproduzenten Plattformen Java Beans / Enterprise Beans / Jini Microsoft COM / DCOM / .Net CORBA Component Model (in Vorbereitung (RFP ‘98) Web-Services Kompo- nenten- lieferant Integration Anwendung Kompo- nente Nutzungs- kontrakt Kompo- nenten- lieferant Nutzungs- kontrakt Wirt Service Dienst- nutzung

Lehrangebot Grundvorlesungen Spezialvorlesungen BSRvS1, BSRvS2 Spezialvorlesungen Rechnernetzanwendungen (2+2) Sicherheit im Netz 1 (2) Sicherheit im Netz 2 (2) Verteilte Algorithmen 1 (2+2) Verteilte Algorithmen 2 (2+2) Seminare, PGs, Diplomarbeiten Vertiefungsgebiete Rechnernetze und verteilte Systeme Korrektheit und Sicherheit

DA- und PG-Themenbereiche Automatisiertes Netz-, System- und Anwendungsmanagement Modellbasiertes Management Interaktive graphische Systemmodellierung, Policy-Verfeinerung Sicherheitsmanagment Sicherheitsdienste und Mechanismen im Netz Sicherheitsanalyse vernetzter Systeme Modellbasierte Sicherheitsanalyse Formale Modellierung und Verifikation verteilter Systeme cTLA, SPIN Anwendungsentwurf Dienste-Strukturierung, Verteilte Algorithmen, Flexibilität Aktuelle PG 514: Zuverlässige Webservice-Systeme

Diplomarbeiten, Sprechzeit 6 Monate Bearbeitungszeit 3-4 Monate Implementierung, Experimente und Erprobung 2-3 Monate für die schriftliche Ausarbeitung Praktische Arbeit Problem / Motivation Entwurf, Konzeption Implementierung Erprobung Die schriftliche Ausarbeitung soll primär eigene Arbeiten und Ergebnisse darstellen Sprechzeit donnerstags, 16.00 Uhr Campus Süd, GB V, Raum 406b