Volume 10, Number 2 • March/April 2002 • Technology Transfer

NASA and Carnegie Mellon Sign Computing Agreement

NASA’s Ames Research Center has signed an agreement to award $23.3 million to Carnegie Mellon University’s School of Computer Science to develop a multidisciplinary, multi-institutional High-Dependability Computing Program (HDCP) to improve NASA’s ability to create dependable software. The incremental five-year cooperative agreement is part of a broad strategy for dependable computing that links NASA, Carnegie Mellon, corporate partners and other universities. Carnegie Mellon experts will collaborate with NASA scientists and researchers from universities, including the Massachusetts Institute of Technology, the University of Maryland, the University of Southern California, the University of Washington and the University of Wisconsin, in order to measure and improve the dependability of NASA’s systems.

“We are delighted to work with Carnegie Mellon,” said Ames Center director Dr. Henry McDonald. “Carnegie Mellon is a leader in computing and robotic technologies. We see this as a cornerstone as we move forward with the development of the NASA Research Park,” he added. “While software dependability has been a theme of computing research for several decades, this program addresses the issue in a new way, looking at the particular challenges of large systems and combining measurement with improvement,” said William L. Scherlis, principal research scientist in the Institute for Software Research, International, in Carnegie Mellon’s School of Computer Science. Scherlis and James H. Morris, professor and dean of the School of Computer Science, respectively, are principal investigators on the High-Dependability Computing Program.

“This is a unique opportunity to develop an empirically based science for software dependability and could have a major impact on NASA’s ability to rely on complex software for advanced mission capability,” said Dr. Michael L. Lowry, chief of research in advanced software engineering technology within the Computational Sciences Division at Ames. Previous research collaborations between this division, headed by Dr. Daniel Clancy, and Carnegie Mellon have resulted in tools that formally verify artificial intelligence software that autonomously controls robotics spacecraft. Dependability is a major challenge for all complex software-based systems. Today, there are few effective techniques for measuring dependability and for improving the dependability of large and complex systems. Aspects of dependability include safety-critical reliability, high security, high integrity, continuous operation and human-computer interaction.

Morris explained that the diverse skills needed to accomplish the HDCP’s goals do not reside exclusively at any single laboratory. While the principal focus is on strengthening software dependability for NASA, Carnegie Mellon and its partners will develop collaborations with industry and with other major software development efforts, including open-source projects. First-year funding for the HDCP is $2.9 million, which will be divided among Carnegie Mellon’s Pittsburgh campus, research efforts on the West Coast and other universities as subcontractors.

The High-Dependability Computing Program is the most recent in a number of important collaborations that Carnegie Mellon has undertaken with NASA. Carnegie Mellon has worked for the past two years to establish a presence in the Silicon Valley. This effort includes formation of the High-Dependability Computing Consortium (HDCC) jointly with NASA and 15 Silicon Valley companies, focused broadly on reducing failures in computing systems critical to the welfare of society. Carnegie Mellon has an agreement with NASA to use facilities at Moffett Field to initiate the program. “Carnegie Mellon has unique capabilities to offer in Silicon Valley, the information technology capital of the world,” said Morris. He believes that Carnegie Mellon’s presence in the Valley not only makes its offerings more broadly accessible, but can also enhance the educational experience of students at the Pittsburgh campus by giving them opportunities for internships or research with NASA or Silicon Valley companies.

In other work with Ames, Carnegie Mellon researchers have developed high-profile robots such as Dante, which explored the interior of a volcano, and Nomad, which discovered meteorites in Antarctica. In addition, Carnegie Mellon researchers also have worked with Ames researchers on projects such as formal methods for verifying digital circuitry, vision and navigation, machine learning and data mining. Q

For more information, contact Dr. Michael Lowry at NASA Ames Research Center, 650/604-3369, lowry@ptolemy.arc.nasa.gov. Please mention you read about it in Innovation.

NASA Official: Jonathan Root • Web Design: Printing & Design Office, NASA Headquarters • Credits