Code Design for Dependable Systems