DEPENDABLE COMPUTING: DESIGN AND ASSESSMENT