Mini-Workshop Dortmund

Dortmund

May 2nd/3rd

Dear colleagues,

on behalf of the DanceOS project team I would like to invite you to our
SPP-1500 mini-workshop on "Dependability Analysis and Evaluation Techniques".  The workshop will take place on May 2nd/3rd in Dortmund.

All software (and, with a slightly shifted focus, all hardware) projects in the SPP -- unfortunately in many cases separately from each other -- apply dependability metrics to their software stacks.  A classical approach to assessing dependability properties before and after hardening against adverse effects from unreliable hardware is dynamic analysis (in particular, but not exclusively, fault-injection
experiments) that allows for exploring fault propagation and fault containment.  Static analysis techniques are a viable, but often less scalable alternative.  These analysis techniques, or effective combinations thereof, yield information on fault susceptibility, and thereby the effectivity of error detection and error-recovery mechanisms.

The mini-workshop will allow us to intensify the already begun dialog on these topics, and to exchange experiences from each project.  I would like to encourage you to give a short presentation of your current research in this (or a related) area -- please drop me a short note in this case.  Even if you plan to passively participate, please add your name to the Wiki page (which will be filled with location and schedule details in the weeks to come) to allow us to plan ahead:
<http://i80spp1500.ira.uka.de/wiki/index.php/Mini-Workshop_%22Dependability_Analysis_and_Evaluation_Techniques%22_05/2012>

Additionally, if the time allows for it, the DanceOS team will use the opportunity to introduce the Fail* experimentation framework more in detail to interested participants.

Best regards,
 Horst Schirmeier

2012