8th Workshop on Dependability and Fault Tolerance, Muenchen, Deutschland

Abbrevation

VERFE

Link

http://itec.kit.edu/ARCS_dependability_WS

City

Muenchen

Country

Germany

Deadline Paper

2011-09-30

Start Date

2012-02-28

End Date

2012-03-02

Abstract

Although the basic reliability of hardware and software components over the decades has steadily grown, their increasing number still causes severe problems. Moreover, in recent years it can be observed that in an increasing number of devices, e.g. cars, digital components are integrated into environments of other physical components. Here the complexity of the interactions with these other components, as well as the limited accessibility of the digital ones create problems with regard to maintaining a dependable operation of the entire system in case of faults or external disturbances. While this is not a problem with microprocessors, there, the ever shrinking feature sizes, the higher complexity, lower voltages, and higher clock frequencies increase the probability of design–, manufacturing–, and operational faults, making fault tolerance techniques in general purpose processors to be of crucial importance in the future. As simple solutions (such as TMR) easily can get too expensive, the ability to trade increased reliability against performance/power overhead will become important, resulting in light–weight fault tolerance techniques implemented in hardware, but controllable from higher software layers. This workshop aims at presenting contributions and work–in–progress from the research area of dependable and fault tolerant computing in order to bring together scientists working in related fields, especially from the central European countries. TOPICS Contributions on the topics of "Dependable Embedded Systems" and "Software–Controlled, Adaptive Fault Tolerance in Microprocessors" are of particular interest; contributions on general topics of dependability and fault tolerance are also welcome but not limited to reliability models for hardware and software * modeling and simulation of fault–tolerant systems * fault–tolerant systems and system components * formal verification of systems * testing of hardware and software * fault treatment * detection and correction of transient faults * quantitative assessment of reliability improvements * safety–critical applications * timeliness problems * dependability of networks * dependability of embedded systems * highly available systems * dependable organic computing * self–organization within redundant systems * dependable ubiquitous and pervasive computing * composability of dependable systems * dependable mechatronic systems / micro systems * dependability of mobile and wireless systems * robustness and robustness metrics * validation and verification * fault models and fault model abstraction * fault–injection techniques * software–controlled fault tolerance * on–chip backward recovery techniques (e.g. pipeline flush and re–execution) * forward recovery techniques (notification of higher layers) * fault–tolerant caches * dynamic re–use of currently unused resources in processors for fault–tolerance