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

SOBRES 2013 : Software-Based Methods for Robust Embedded Systems


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.


### 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 (, 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

ICDM 2020   20th IEEE International Conference on Data Mining
IEEE-CVIV 2020   2020 2nd International Conference on Advances in Computer Vision, Image and Virtualization (CVIV 2020)
TextGraphs 2020   14th Workshop on Graph-Based Natural Language Processing (TextGraphs-14)
AIFU 2020   6th International Conference on Artificial Intelligence and Applications
PerIoT 2020   Software Approaches to Improve the Performance of IoT Systems - Applied Sciences (IF 2.217)
ICSIE--ACM, Ei Compendex, Scopus 2020   2020 9th International Conference on Software and Information Engineering (ICSIE 2020)--ACM, Ei Compendex, Scopus
ICSE 2021   43rd International Conference on Software Engineering, 23-29 May 2021
GreeNet Symposium - SGNC 2020   11th Symposium on Green Networking and Computing (SGNC 2020)
EMNLP 2020   Conference on Empirical Methods in Natural Language Processing
ASYDE 2020   Automated and verifiable Software sYstem DEvelopment