Software for Dependable Systems