1. Reaching for k Nines Miroslaw Malek Humboldt University Berlin, Germany malek@informatik.hu-berlin.de

2. Problem:  How to achieve, e.g., 0.99999 availability on a complex platform with typically 5000 processes running? Methods Trees and relationships graphs Timing methods Some Solutions  Identification and monitoring of services and system components  Development of autonomic components  Consensus and the use of monitoring middleware End-to-end Service Availability Operating System Container AContainer B Component Application APIs Application A Application B Application C

3. Relationships among various information sources and models Test case dictionary Symptom dictionary SW fix history Fault dictionary Offline analysis extensions Fault recovery type model Fault detection method model Fault origin model classification scheme for types of fault origins in the source code Fault impact model System dependency graph describes the relationships among the components Log / trace files Fault model classification scheme for possible faults Inputs

4. SHIP model SHIP Software Hardware Interoperability People

5. Early fault detection by timing analysis t Stochastic occurrence of faults System Failures ttt Model Failures‘ t +  t errors TS 1TS n

6. Our Interests  Design, Synthesis und Analysis of responsive Components and Objects (we can demonstrate the feasibility of the quality-of-service guarantees for web computing systems based on commercial off-the-shelf components)  End-to-End Availability and Real Time  Life Cycles (esp. Deployment, (Re)Configuration and Online Replacement)  Composability  Middleware Solutions for Responsiveness, Pervasive und Autonomic Computing

7. Early fault detection - Strong interest from several companies Application Studies Tool and Support Components Measures Dependability Policy Support Intrusion Management Infrastructure Inter- dependencies e-Business Fault Prevention Fault Removal Fault Tolerance Fault Forecasting Automotive Aerospace Tele- communication Healthtcare Training, Best Practice Modelling and Simulation Dependability Case Support

8. Recommendations  A quantifiable challenge (e.g., reaching for six nines, zero MTTR)  A healthy mix of conservative and speculative techniques  Addition of automotive and telecommunication applications