GI/ITG/GMA Technical Committee “Dependability and Fault Tolerance” (VERFE) and

DFG Priority Program SPP 1500 “Dependable Embedded Systems”

 

11th Workshop on Dependability and Fault Tolerance (VERFE’15)

Focus topic “Dependable Embedded Systems”

in conjunction with ARCS 2015, Porto, Portugal, March 24th – 27th, 2015

 

Workshop Program

09:00-09:30

Omar Bousbiba

ESSEN - An Efficient Single Round Signature Protected Message Exchange Agreement Protocol for Wireless Distributed Networks

09:30-10:00

Mischa Möstl,
Rolf Ernst

Cross-Layer Dependency Analysis for Safety-Critical Systems Design

10:00-10:30

Savas Takan, Berkin Guler, Tolga Ayav

Model Checker-Based Delay Fault Testing of Sequential Circuits

10:30-11:00

 

Break

11:00-11:30

Günther Nieß, Thomas Kern, Michael Gössel

Error Detection Codes for Arbitrary Errors Modeled by Error Graphs — Extended Abstract

11:30-12:00

Peter Sobe

Reliability Impact of Data Deduplication Techniques

12:00-12:30

Mohammad Shadi Alhakeem

A Framework for Adaptive Software-Based Reliability in COTS Many-Core Processors

12:30-13:30

 

Lunch

13:30-14:00

Martin Größl

Dependable Systems Modeling and Reliability Property Evaluation by Model Checking

14:30-15:00

Fevzi Belli

Using Regular Expressions for Self-Correction of Faults in Sequential Circuits

 

 

Background and Focus

Although the basic reliability of hardware and software components has improved over decades, their increasing number 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 and number of interactions with these components creates 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, shrinking feature sizes, 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.

 

Topics

Contributions on the topic of “Dependable Embedded Systems“ 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


 

Information for Authors

The workshop will focus on research presentations as well as brainstorming sessions.

The proceedings of the Workshop will be published by the IEEE Computer Society, through the IEEE Xplore Digital Library.

Two kinds of contributions are welcome:

·         research papers documenting results of scientific investigations and

·         position papers proposing strategies or discussing open problems.

 

Deadlines:

Submission:          EXTENDED December 19, 2014 (extended abstracts (3-4 pages) or full papers, PDF)

to: bernhard.fechner@fernuni-hagen.de

Notification:         January 16, 2015

Camera-ready:      February 11, 2015 (max. 8 pages in IEEE format A4); will appear in ARCS 2015 Workshop Proceedings.

Workshop:           March 24, 2015

 

VERFE'15 Workshop site: http://www.cister.isep.ipp.pt/arcs2015/verfe  

Further information about ARCS 2015: http://www.cister.isep.ipp.pt/arcs2015/ 

 


Workshop Chairs

B. Fechner, Univ. of Hagen, DE

K.-E. Großpietsch, St. Augustin, DE

 

Program Committee


L. Bauer, Karlsruhe Inst. of Technology, DE

F. Belli, Univ. of Paderborn, DE

R. Buchty, Karlsruhe Inst. of Technology, DE

K. Echtle, Univ. of Duisburg-Essen, DE

W. Ehrenberger, Univ. of Fulda, DE

R. Ernst, TU Braunschweig, DE

B. Fechner, Univ. of Hagen, DE

M. Gössel, Univ. of Potsdam, DE

E. Gramatova, Univ. of Bratislava, SK

J. Hülsemann, Siemens AG, Karlsruhe, DE

K.-E. Großpietsch, St. Augustin, DE

J. Henkel, Karlsruhe Inst. of Technology, DE

J. Hursey, Oak Ridge National Lab., US

J. Kaiser, Univ. Magdeburg, DE

J. Keller, Univ. Hagen, DE

H.-D. Kochs, Univ. of Duisburg-Essen, DE

P. Limbourg, Univ. of Duisburg-Essen, DE

M. Malek, Univ. of Lugano, IT

E. Maehle, Univ. of Lübeck, DE

M. Mock, Fraunhofer, St. Augustin, DE

E. Nett, Univ. of Magdeburg, DE

D. Nikolos, Univ. of Patras, DE

A. Pataricza, Univ. of Budapest, HU

F. Saglietti, Univ. of Erlangen-Nuremberg, DE

T. Sato, Univ. of Fukuoka, JP

M. Schulz, Lawrence Livermore National Lab., US

M. Shafique, Karlsruhe Inst. of Technology, DE

P. Sobe, HTW Dresden, DE

J. Sosnowski, Univ. of Warsaw, PL

A. Stopp, Daimler AG, Berlin, DE

C. Trinitis, TU Munich, DE

P. Tröger, TU Chemnitz, DE

T. Vierhaus, TU Cottbus, DE

M. Walter, Siemens AG, Nuremberg, DE

H. Wedde, TU Dortmund, DE

N. Wehn, TU Kaiserslautern, DE

J. Weidendorfer, TU Munich, DE

H.-Y. Youn, Univ. of Sungkyunkwan, KR

T. Yoneda, Univ. of Tokyo, JP