[ecoop-info] Call for Papers: 1st Workshop on Software-Based Methods for Robust Embedded Systems

[Ruediger Kapitza]

Call For Papers

GI SOBRES
1st Workshop on Software-Based Methods for Robust Embedded Systems
September 19, 2012, Brunswick, Germany
http://www.danceos.org/sobres
sobres12 at danceos.org

in conjunction with 'GMDS 2012 / INFORMATIK 2012'
http://www.informatik2012.de 

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:

1. Software-based methods for fault injection and fault detection
1. Software-based fault injection using virtual machine technology
2. Software-based monitoring and analysis of soft errors
3. Visualization and assessment of soft errors
1. Software-based methods for fault isolation and fault recovery 
1. Fault-tolerant operating systems
2. System software support for fault-tolerant applications
3. Virtualisation-based fault tolerance
4. Fault-tolerant data structures and algorithms
1. Software-based methods for the (semi-)automatic application of 
  fault-tolerance measures
1. Language- and compiler-based approaches
2. Static analysis of dependability properties
3. 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 (http://www.gi.de/service/publikationen/lni/) through
the SOBRES ‘12 online submission system found at:
http://www.easychair.org/conferences/?conf=sobres12. 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 at danceos.org, deadline: Sep 1, 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.

Important Dates:

1. 22.04.2012        Submission
2. 31.05.2012        Author notification
3. 17.06.2012        Camera-ready version
4. 01.09.2012        Lightning talk abstracts         
5. 19.09.2012        Workshop         

Workshop Co-Chairs:
       Ruediger Kapitza, Technische Universitaet Braunschweig
       Daniel Lohmann, Friedrich-Alexander-Universitaet Erlangen
       Olaf Spinczyk, Technische Universität Dortmund

Preliminary Program Committee:
	Klaus Echtle, University of Duisburg-Essen
	Christof Fetzer, TU Dresden
	Johan Karlsson, Chalmers University of Technology
	David H. Lorenz, The Open University of Israel
	Harald Michalik, TU Braunschweig
	Hans P. Reiser, University of Passau