posted by user: dlohmann || 3854 views || tracked by 10 users: [display]

SOBRES 2013 : Software-Based Methods for Robust Embedded Systems

FacebookTwitterLinkedInGoogle

Link: http://www.danceos.org/sobres/2013/
 
When Sep 16, 2013 - Sep 16, 2013
Where Koblenz, Germany
Submission Deadline May 12, 2013
Notification Due May 20, 2013
Final Version Due Jul 1, 2013
Categories    dependable systems   computer science   software engineering   operating systems
 

Call For Papers

Deadline extended to May 12th!

### 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 ′13) 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


### Important Dates


2013-05-12: Submission deadline
2013-05-20: Author notification
2013-07-01: Camera-ready version
2013-09-01: Lightning talk abstracts
2013-09-16: Workshop

### 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][2] through the [INFORMATIK '13 online submission system][3]. 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). Note that for publication in in the proceedings at least one author has to register for INFORMATIK '13 by 2012-06-30.

[2]: http://www.gi.de/service/publikationen/lni/
[3]: https://www.conftool.pro/informatik2013/index.php?page=newPaper&form_contributiontypeID=57&newpaper=true

### 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 (sobres13@danceos.org), deadline: 2013-09-01). 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:

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

Related Resources

ICFEM 2024   International Conference on Formal Engineering Methods
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
WSIS - 2024   XV WORKSHOP ON INFORMATION SYSTEMS (WSIS)
MLANN 2024   2024 2nd Asia Conference on Machine Learning, Algorithms and Neural Networks (MLANN 2024)
ReacTS 2024   International Workshop on Reconfigurable Transition Systems: Semantics, Logics and Applications
ACM ICMLT 2024   ACM--2024 9th International Conference on Machine Learning Technologies (ICMLT 2024)
SOEN 2024   9th International Conference on Software Engineering
CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
IEEE COINS 2024   IEEE COINS 2024 - London, UK - July 29-31 - Hybrid (In-Person & Virtual)
FM 2024   Formal Methods