<html><head></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "><font class="Apple-style-span" face="Courier"> ** Call For Papers **<br><br> GI SOBRES<br> 1st Workshop on Software-Based Methods for Robust Embedded Systems<br> September 19, 2012, Brunswick, Germany<br> <a href="http://www.danceos.org/sobres">http://www.danceos.org/sobres</a><br> <a href="mailto:sobres12@danceos.org">sobres12@danceos.org</a><br><br> in conjunction with GMDS 2012 / INFORMATIK 2012<br> <a href="http://www.informatik2012.de">http://www.informatik2012.de</a> <br><br>Future hardware designs for embedded systems are expected to exhibit an<br>increasing rate of intermittent errors in exchange for smaller device sizes<br>and lower energy consumption. This bears new challenges for software on all<br>layers of the software stack – from the operating system over compilers and<br>run-time systems up to the application – which have to provide and use<br>software-based measures to compensate for unreliable hardware.<br><br>The 1st Workshop on Software-Based Methods for Robust Embedded Systems <br>(SOBRES ‘12) aims to provide a highly interactive forum for researchers and <br>developers to discuss the application of and relationships between exciting new<br>dependability concepts for all layers of the software stack, such as operating<br>systems, compilers, virtual machines and application frameworks. The goal is<br>to put these constructs into a common reference frame and to build connections<br>between the software engineering and embedded systems communities.<br><br>Topics of interest include, but are not limited to:<br><br>1. Software-based methods for fault injection and fault detection<br> - Software-based fault injection using virtual machine technology<br> - Software-based monitoring and analysis of soft errors<br> - Visualization and assessment of soft errors<br>2. Software-based methods for fault isolation and fault recovery <br> - Fault-tolerant operating systems<br> - System software support for fault-tolerant applications<br> - Virtualisation-based fault tolerance<br> - Fault-tolerant data structures and algorithms<br>3. Software-based methods for the (semi-)automatic application of <br> fault-tolerance measures<br> - Language- and compiler-based approaches<br> - Static analysis of dependability properties<br> - Formal models for software-based dependability<br><br><br>** Submission Guidelines for Position Papers: **<br><br>Invitation to the workshop will be based on accepted position papers, 5–15<br>pages in length. All papers must be written in English and submitted as PDF<br>documents in LNI format (<a href="http://www.gi.de/service/publikationen/lni/">http://www.gi.de/service/publikationen/lni/</a>) through<br>the SOBRES ‘12 online submission system found at:<br><a href="http://www.easychair.org/conferences/?conf=sobres12">http://www.easychair.org/conferences/?conf=sobres12</a>. Paper submissions will be<br>reviewed by the workshop program committee and by designated reviewers. Papers<br>will be evaluated based on originality, relevance, and technical quality.<br>Accepted papers will be published in GI-Edition Lecture Notes in Informatics<br>(LNI).<br><br><br>** Proposals for Lightning Talks: **<br><br>In addition to position papers, we also solicit proposals for lightning talks,<br>that is, a combination of a 5 minute talk and 5-10 minute slot for questions<br>and answers. Prospective lightning presenters should send us an abstract of<br>250 words (<a href="mailto:sobres12@danceos.org">sobres12@danceos.org</a>, deadline: Sep 1, 2012). Abstracts will NOT <br>be published, they are intended to be read by the reviewers only (hence the <br>late deadline).<br><br><br>** Demos: **<br><br>Based on the overall schedule and the topics of the accepted papers and<br>lightning talks the organizers will invite authors to give a tabletop demo of<br>their tool or system during the workshop.<br><br><br>** Important Dates: **<br><br>22.04.2012 Submission<br>31.05.2012 Author notification<br>17.06.2012 Camera-ready version<br>01.09.2012 Lightning talk abstracts <br>19.09.2012 Workshop <br><br><br>** Workshop Co-Chairs: **<br><br> Ruediger Kapitza, Technische Universität Braunschweig<br> Daniel Lohmann, Friedrich-Alexander-Universität Erlangen<br> Olaf Spinczyk, Technische Universität Dortmund<br><br><br>** Program Committee (Tentative): **<br><br> Klaus Echtle, University of Duisburg-Essen<br> Christof Fetzer, TU Dresden<br> Jörg Kaiser, Otto-von-Guericke Universität Magdeburg<br> Johan Karlsson, Chalmers University of Technology<br> David H. Lorenz, The Open University of Israel<br> Harald Michalik, TU Braunschweig<br> Hans P. Reiser, University of Passau<br></font><br></body></html>