This book constitutes the refereed proceedings of the 4th International Service Availability Symposium, ISAS 2007, held in Durham, NH, USA in May 2007. The 12 revised full papers presented are organized in topical sections on middleware, software systems, modeling and analysis, as well as model-driven development and human engineering.