Predictably Dependable Computing Systems