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
DPWS: Eingebette Webservice-Systeme Control Applications A Business Device M S Aggregiertes Business Umgebung (Arbeits- und Verwaltungsprozesse) Application Service Management Legende Physikalische Umgebung (technische Prozesse) „Geschäftsvorgänge und Entscheidungen“ Arbeitsprozesse Verwaltungsprozesse Enterprise IT Applikationen Anlagensteuerungen Maschinensteuerungen Gerätesteuerungen Sensoren und Aktoren physikalische Prozesse „reale Welt in Echtzeit“
Automatisierte System-Operation und Verwaltung Technisches Management Fehler Konfiguration Abrechnung Leistung Sicherheit Aktionen Überwachung und Prüfung Planung und Vorbeugung Eingriffe und Steuerung Qualität des Betriebs ITIL und eingebettete Dienstesysteme Neue Applikation Applikationsende Teilsystem Reparatur Defekt Eingriff Subsystemende Neues Subsystem Betriebszeit
Projekt OSAMI (Open Source Ambient Intelligence Commons) Flexible verteilte Anwendungen und Dienstesysteme ITEA Projekt OSAMI Inhalte Ziele Architektur Deutsches Teilprojekt Ergebnisse Anwendungsszenario Gesundheit Projektplan Konsortium Budgetplanung Vermarktungsperspektiven Innovation Grundlegende Komponenten OSGi Web Services Geräte Eingebettete Systeme
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