Informatischen Kolloquium Hamburg
Montag, 19. April 2010
um 17 Uhr c.t.
Vogt-Kölln-Straße 30
Konrad-Zuse-Hörsaal
Gebäude B
Dr. Stefan Haar
INRIA Saclay, Parc Orsay Université
Orsay Cedex, France
*It's concurrency's fault! - Diagnose in verteilten Systemen*
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: Dr. Daniel Moldt
moldt@informatik.uni-hamburg.de, Tel. 42883-2247
---------------------------------------------------------------
Termine unter: http://www.informatik.uni-hamburg.de/Info/Kolloquium/
_______________________________________________
Kolloquium mailing list
Kolloquium@mailhost.informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/kolloquium
_______________________________________________
Hiforum-verteiler mailing list
Hiforum-verteiler@informatik.uni-hamburg.de
https://mailhost.informatik.uni-hamburg.de/mailman/listinfo/hiforum-verteiler