Informatisches Kolloquium Sommersemester 2010

Montag, 19. April 2010
um 17 Uhr c.t.
Vogt-Kölln-Straße 30
Konrad-Zuse-Hörsaal
Gebäude B

It's concurrency's fault! - Diagnose in verteilten Systemen

Dr. Stefan Haar
INRIA Saclay, Parc Orsay Université
Orsay Cedex, France

Viele Echtzeitsysteme, z. B. Telekommunikationsnetze, sind nur teilweise beobachtbar:
Die logs, Alarmkanaele usw. in solchen Systemen registrieren nur spezifisch konfigurierte Signale - Sensorereignisse -, nicht die zugrundeliegenden Hardwarevorgaenge selbst. Diese Tatsache ist die Grundlage des Diagnose-Problems fuer Systeme mit diskreten Ereignissen: Entscheide anhand der Beobachtungen, ob ein bestimmter Fehler f (nicht beobachtbar) stattgefunden hat.

Der Vortrag beleuchtet, wie das Diagnoseproblem fuer nebenlaeufige Modelle geloest werden kann mithilfe von Petrinetz-Techniken, und betrachtet das Problem der Diagnostizierbarkeit. Abschließend werden Ausblicke auf angrenzende Fragen gegeben, wie stochastische Systeme und dynamische Systemtopologien.

Kontakt

Kontakt: Dr. Daniel Moldt

Telefon 2247