Diskussionskreis Fehlertoleranz

am 20./21. März 2003 in Lausanne (Schweiz)

Programm/Programme

Donnerstag, 20. März 2003/Thursday, March 20., 2003
Raum/Room INF 211

15:00 Ankunft/Arrival

Coffee

15:30 Eröffnung/Opening

Rachid Guerraoui (EPFL, host)
Felix Gärtner (EPFL, Organizer)

15:45 Vorträge/Talks

Neues von virtuellen Duplex-Systemen auf Thread-Basis - The Latest on Thread-Based Virtual Duplex Systems
Jörg Keller (FernUniversität Hagen)
Klassische Fehlertoleranzverfahren und biologisch motivierte Ansätze - Classical Fault-Tolerance Mechanisms and Approaches from Biology
Peter Sobe (Universität Lübeck)

16:45 Pause/Break

17:00 Vorträge/Talks

Abstraktion von Kontrollflüssen - Abstracting Control Flows
Stefan Gossens (Universität Erlangen)
Mechatronische Verlässlichkeit - Mechatronic Dependability
Hand-Dieter Kochs (Universität Duisburg)

18:00 Ende des ersten Tages/Closing

ca. 19:00 Abendveranstaltung

Freitag, 21. März 2003/Friday, March 21., 2003
Raum/Room INF 213

9:30 Vorträge/Talks

Byzantine Failures and Security: Random is not Arbitrary
Felix Gärtner (EPFL)
Can Fault-Tolerant Systems be Started in a Fault-Tolerant Way?
Klaus Echtle (Universität Essen)

10:30 Ende der Veranstaltung/Closing

Mehr Informationen zur Veranstaltung unter http://lpdwww.epfl.ch/fgaertner/dkft2003/