Path: csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!eternal-september.org!feeder.eternal-september.org!nuzba.szn.dk!pnx.dk!weretis.net!feeder4.news.weretis.net!news.bbs-scene.org!border4.nntp.dca.giganews.com!border2.nntp.dca.giganews.com!nntp.giganews.com!npeer01.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail From: dlprivat@googlemail.com Newsgroups: comp.org.acm Subject: CfP: SOBRES '12 (Software-Based Methods for Robust Embedded Systems) Date: Thu, 29 Mar 2012 03:07:06 -0700 (PDT) Organization: http://groups.google.com Lines: 115 Message-ID: <14097646.166.1333015626344.JavaMail.geo-discussion-forums@vbht7> NNTP-Posting-Host: 88.79.237.11 Mime-Version: 1.0 Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1333015626 9115 127.0.0.1 (29 Mar 2012 10:07:06 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Thu, 29 Mar 2012 10:07:06 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=88.79.237.11; posting-account=b6m1dgoAAADesruMLRfr9tHwWWTNFDXt User-Agent: G2/1.0 X-Received-Bytes: 5425 Xref: csiph.com comp.org.acm:22 ** 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@danceos.org in conjunction with GMDS 2012 / INFORMATIK 2012 http://www.informatik2012.de=20 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 =96 from the operating system over compilers a= nd run-time systems up to the application =96 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=20 (SOBRES =9112) aims to provide a highly interactive forum for researchers a= nd=20 developers to discuss the application of and relationships between exciting= new dependability concepts for all layers of the software stack, such as operat= ing systems, compilers, virtual machines and application frameworks. The goal i= s to put these constructs into a common reference frame and to build connecti= ons 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=20 - 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=20 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=961= 5 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/) throu= gh the SOBRES =9112 online submission system found at: http://www.easychair.org/conferences/?conf=3Dsobres12. Paper submissions wi= ll be reviewed by the workshop program committee and by designated reviewers. Pap= ers will be evaluated based on originality, relevance, and technical quality. Accepted papers will be published in GI-Edition Lecture Notes in Informatic= s (LNI). ** Proposals for Lightning Talks: ** In addition to position papers, we also solicit proposals for lightning tal= ks, that is, a combination of a 5 minute talk and 5-10 minute slot for question= s and answers. Prospective lightning presenters should send us an abstract of 250 words (sobres12@danceos.org, deadline: Sep 1, 2012). Abstracts will NOT= =20 be published, they are intended to be read by the reviewers only (hence the= =20 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 =20 19.09.2012 Workshop =20 ** Workshop Co-Chairs: ** Ruediger Kapitza, Technische Universit=E4t Braunschweig Daniel Lohmann, Friedrich-Alexander-Universit=E4t Erlangen Olaf Spinczyk, Technische Universit=E4t Dortmund ** Program Committee (Tentative): ** Klaus Echtle, University of Duisburg-Essen Christof Fetzer, TU Dresden J=F6rg Kaiser, Otto-von-Guericke Universit=E4t 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