SOBRES 2013 - The 2nd Workshop on Software-Based Methods for Robust Embedded Systems (SOBRES '13)

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