Carnegie Mellon Receives $23.3 Million from NASA To Establish a High Dependability Computing Program [1]