Mittwoch, 14. April 2010

[HIForum] [Kolloquium] 19.4.10 - Dr. Stefan Haar

Einladung zum

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