[ecoop-info] CfP: SOBRES '12

Daniel Lohmann Daniel.Lohmann at informatik.uni-erlangen.de
Thu Mar 29 12:01:08 CEST 2012


                             ** 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
   - Software-based fault injection using virtual machine technology
   - Software-based monitoring and analysis of soft errors
   - Visualization and assessment of soft errors
2. 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
3. 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 (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: **

22.04.2012        Submission
31.05.2012        Author notification
17.06.2012        Camera-ready version
01.09.2012        Lightning talk abstracts         
19.09.2012        Workshop         


** Workshop Co-Chairs: **

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


** Program Committee (Tentative): **

  Klaus Echtle, University of Duisburg-Essen
  Christof Fetzer, TU Dresden
  Jörg Kaiser, Otto-von-Guericke Universität 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

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://web.satd.uma.es/pipermail/ecoop-info/attachments/20120329/640b8565/attachment.html 


More information about the ecoop-info mailing list