Workshop Program

SOBRES will be held in Meeting Room  F 313.

Time Topic Presentation
9:00–10:30    Session 1: Welcome and Keynote  
  Welcome and Introductions
The SOBRES 2013 Organizing Committee
  Keynote Address: “Gemeinsamer Entwurf von Safety- und Security-Maßnahmen”
Klaus Echtle, Lehrstuhl "Verlässlichkeit von Rechensystemen", Institut für Informatik und Wirtschaftsinformatik, Universität Duisburg-Essen

Der Vortrag befasst sich mit Anwendungen, die sowohl Safety- als auch Security-Anforderungen erfüllen müssen. Maßnahmen und Verfahren zur Realisierung von geforderten Safety- und Security-Eigenschaften werden einander gegenübergestellt, um sowohl Gemeinsamkeiten als auch Unterschiede aufzuzeigen. Daraus ergeben sich Arbeitsfelder für einen gemeinsamen Entwurf dieser Verfahren.

Klaus Echtle

Klaus Echtle studied Computer Science at University of Karlsruhe and received his diploma in 1979. From 1980 he worked as a research assistant in the group of Prof. Dr. Görke at the University of Karlsruhe. He passed his PhD examination in 1985 and his habilitation in 1989. After a temporary professorship at University of Frankfurt/Main from 1989 to 1990, he became permanent professor at University of Dortmund. Since October 1995, Klaus Echtle is professor of Practical Computer Science at University of Essen. From 2000 to 2002 he held the position of a Vice President of University of Essen.

His field of work covers "Practical Computer Science", and "Fault Tolerance" in particular. His research is dealing with reliability problems of computing systems and the development of respective countermeasures. Fault tolerance protocols are designed and evaluated for distributed systems and control systems for safety-critical applications. The activities of the research group for "Dependability of Computing Systems", headed by Klaus Echtle, focus on fault tolerance issues in distributed systems, computer networks, operating systems, real-time systems and automation systems. The work includes the design of efficient solutions as well as its analysis by both modeling and injection of artificially generated faults into existing systems.

 
10:30–11:00 Coffee Break
11:00–12:30 Session 2: Reliability Assessment (Papers) Presentation
Annotation-Guided Soft-Error Injection
Clemens Terasa, Sibylle Schupp (Hamburg University of Technology)
Improving Fault Injection in Automotive Model Based Development using Fault Bypass Modeling
Rakesh Rana1, Miroslaw Staron1, Christian Berger1, Jörgen Hansson2, Martin Nilsson3, Fredrik Törner3 (1University of Gothenburg, 2Chalmers University of Technology, 3Volvo Car Corporation)
Fast and Low-Cost Instruction-Aware Fault Injection
Andreas Heinig, Ingo Korb, Florian Schmoll, Peter Marwedel, Michael Engel (TU Dortmund)
12:30–14:00 Lunch Break
14:00–15:30 Session 3: Reliability Improvement (Papers) Presentation
Where Have all the Cycles Gone? - Investigating Runtime Overheads of OS-Assisted Replication
Björn Döbel, Hermann Härtig (TU Dresden)
Failure by Design: Influence of the RTOS Interface on Memory Fault Resilience
Martin Hoffmann, Christian Dietrich, Daniel Lohmann (FAU Erlangen-Nürnberg)
Return-Address Protection in C/C++ Code by Dependability Aspects
Christoph Borchert, Horst Schirmeier, Olaf Spinczyk (TU Dortmund)
15:30–16:00 Coffee Break
16:00–17:30 Session 4: Lightning Talks, Discussion Groups, and Wrap Up  
  Lightning Talk: How Does Your Kernel Fail and What Can be Done About it?
Björn Döbel (TU Dresden)
 
Lightning Talk: Encoded Kernel: Combining Cross-Layer Redundancy to Protect the Kernel Path
Martin Hoffmann (FAU Erlangen-Nürnberg)
 
  Last modified: 2013-09-13