Dependability assurance