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