Workshop Program

SOBRES will be held in Meeting Room  PK3.4. The workshop is called W11 in the conference program.

Time Topic Presentation
9:00–10:30    Session 1: Welcome and Keynote  
  Welcome and Introductions
The SOBRES 2012 Organizing Committee
  Keynote Address: “Not yet Hardware, not yet Software – Setting the Course for Dependable Systems in Early Design Phases”
Michael Glass, Friedrich-Alexander University Erlangen-Nuremberg

Modern embedded systems are complex distributed systems that carry out a smorgasbord of applications, implemented in software and/or hardware. Moreover, application functionality is assisted and enabled by various services like operating systems, power managers, or, in the near future, also dependability managers that actively coordinate measures to increase the system¿s lifetime. On the one hand, analyzing the complex interaction of all system components with respect to system dependability is a serious challenge that typically requires detailed insight into all parts and their respective characteristics at various levels of abstraction. On the other hand, the rise and fall for an efficient design of such systems are decisions taken in the early design stages in which typically only high-level descriptions of the applications and services are available.

The talk introduces and discusses system-level design techniques that aim at analyzing and optimizing the system already in early design stages, using assessments of the component¿s characteristics. Based on executable specifications that cover the functionality of applications and firmware, various design alternatives are considered, particularly with respect to their individual and the resulting system lifetime. Moreover, it is outlined how system-level analysis techniques may be extended to be refined during the life cycle, increasing the accuracy of the assessments to enable potential design revisions as early as possible.

Michael Glass

Michael Glass received his Diploma degree in computer science from the University of Erlangen-Nuremberg, Germany, in 2006. He then joined the Department of Computer Science of the University of Erlangen-Nuremberg, Germany and got his Doctorate degree in 2011. Since, Michael is heading the System-Level Design Automation group at the Prof. Jürgen Teich's Chair for Hardware/Software Co-Design, University of Erlangen-Nuremberg. Michael's research interests are dependability engineering for embedded systems and system-level design automation with particular focus on design space exploration.

[PDF]
10:30–11:00 Coffee Break
11:00–12:30 Session 2: Foundations (Papers) Presentation
The Reliable Computing Base – A Paradigm for Software-based Reliability
Michael Engel (TU Dortmund) and Björn Döbel (TU Dresden)
[PDF]
An Investigation of the Fault Sensitivity of Four Benchmark Workloads
Behrooz Sangchoolie, Fatemeh Ayatolahi and Johan Karlsson (Chalmers University of Technology)
[PDF]
Protecting the Dynamic Dispatch in C++ by Dependability Aspects
Christoph Borchert, Horst Schirmeier and Olaf Spinczyk (TU Dortmund)
[PDF]
12:30–14:00 Lunch Break
14:00–15:30 Session 3: Design (Papers and Demos) Presentation
Designing an Analyzable and Resilient Embedded Operating System
Philip Axer, Rolf Ernst (TU Braunschweig), Björn Döbel and Hermann Härtig (TU Dresden)
Continuous Performance Analysis of Fault-Tolerant Virtual Machines
Boguslaw Jablkowski and Olaf Spinczyk (TU Dortmund)
[PDF]
  Demonstrations
Workshop attendees participate in demonstrations of the tools and systems presented in earlier sessions. (Approximately 30—45 minutes.)
Demo: GOOFI-2: A Tool for Experimental Dependability Assessment
Behrooz Sangchoolie and Fatemeh Ayatolahi (Chalmers University of Technology)
Demo: FAIL*: Towards a Versatile Fault Injection Experiment Framework
Horst Schirmeier (TU Dortmund)
15:30–16:00 Coffee Break
16:00–16:30 Session 4a: Lightning Talks  
  Lightning talks present early and controversial ideas and set potential topics for the following discussion groups.  
Lightning Talk: Estimating Program Vulnerability
Björn Döbel (TU Dresden)
[PDF]
Lightning Talk: Monitoring Arbitrary Activation Patterns in Real-Time Systems
Tobias Michels (TU Braunschweig)
[PDF]
Lightning Talk: Aspects of and for Software-Based Fault Tolerance
Olaf Spinczyk (TU Dortmund)
[PDF]
16:30–17:30 Session 4b: Working Groups and Wrap Up  
  Workshop attendees participate in semi-structured discussion groups on SOBRES topics, according to their interests.  
  Each working group concludes by preparing and presenting an “outbrief” that summarizes its discussion: achievements, positions, opinions, common themes, open issues, closed issues, solved problems, challenge problems, ideas for future activities and collaborations, …  
  Last modified: 2012-11-26