Call for Papers: 1st Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '12)

Brunswick, Germany
http://www.danceos.org/sobres/
September 19, 2012
In conjunction with GMDS / Informatik 2012

Important Dates

Submission deadline:April 22, 2012
Author notification:May 31, 2012
Camera-ready version:June 17, 2012
Lightning talk abstracts:September 9, 2012
Workshop:September 19, 2012

Overview

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 ′12) 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 SOBRES '12 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).

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 (sobres12@danceos.org, deadline: Sep 9, 2012). Abstracts will NOT be published, they are intended to be read by the reviewers only (hence the late deadline).

Demos:

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:

Rüdiger Kapitza, Technische Universität Braunschweig
Daniel Lohmann, Friedrich-Alexander-Universität Erlangen
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: 2012-07-06