Call for Papers: 2nd Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)

Koblenz, Germany
September 16, 2013
In conjunction with
Informatik 2013
In collaboration with DFG SPP-1500:
Dependable Embedded Systems

Important Dates

Submission deadline:2013-05-12
Author notification:2013-06-03
Author registration:2013-06-30
Camera-ready version:2013-07-01
Lightning talk abstracts:2013-09-08 (** extended **)


Future hardware designs for embedded systems are expected to exhibit an increasing rate of intermittent errors in exchange for smaller device sizes and lower energy consumption. This bears new challenges for software on all layers of the software stack − from the operating system over compilers and run-time systems up to the application − which have to provide and use software-based measures to compensate for unreliable hardware.

The 1st Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES ′13) aims to provide a highly interactive forum for researchers and developers to discuss the application of and relationships between exciting new dependability concepts for all layers of the software stack, such as operating systems, compilers, virtual machines and application frameworks. The goal is to put these constructs into a common reference frame and to build connections between the software engineering and embedded systems communities.

Topics of interest include, but are not limited to:

  • Software-based methods for fault injection and fault detection
    • Software-based fault injection using virtual machine technology
    • Software-based monitoring and analysis of soft errors
    • Visualization and assessment of soft errors
  • Software-based methods for fault isolation and fault recovery
    • Fault-tolerant operating systems
    • System software support for fault-tolerant applications
    • Virtualisation-based fault tolerance
    • Fault-tolerant data structures and algorithms
  • Software-based methods for the (semi-)automatic application of fault-tolerance measures
    • Language- and compiler-based approaches
    • Static analysis of dependability properties
    • Formal models for software-based dependability

Submission Guidelines for Position Papers:

Invitation to the workshop will be based on accepted position papers, 5−15 pages in length. All papers must be written in English and submitted as PDF documents in LNI format through the INFORMATIK '13 online submission system. Paper submissions will be reviewed by the workshop program committee and by designated reviewers. Papers will be evaluated based on originality, relevance, and technical quality. Accepted papers will be published in GI-Edition Lecture Notes in Informatics (LNI). Note that for publication in in the proceedings at least one author has to register for INFORMATIK '13 by 2013-06-30.

Proposals for Lightning Talks:

In addition to position papers, we also solicit proposals for lightning talks, that is, a combination of a 5 minute talk and 5-10 minute slot for questions and answers. Prospective lightning presenters should send us an abstract of 250 words (, deadline: 2013-09-08). Abstracts will NOT be published, they are intended to be read by the reviewers only (hence the late deadline).


Based on the overall schedule and the topics of the accepted papers and lightning talks the organizers will invite authors to give a tabletop demo of their tool or system during the workshop.

Workshop Co-Chairs:

Daniel Lohmann, Friedrich-Alexander-Universität Erlangen
Rüdiger Kapitza, Technische Universität Braunschweig
Olaf Spinczyk, Technische Universität Dortmund

Program Committee:

Klaus Echtle, University of Duisburg-Essen
Christof Fetzer, TU Dresden
Jörg Kaiser, University of Magdeburg
Johan Karlsson, Chalmers University of Technology
David H. Lorenz, The Open University of Israel
Harald Michalik, TU Braunschweig
Hans P. Reiser, University of Passau
Antonio Casimiro, University of Lisboa, Portugal

  Last modified: 2013-08-30