High Confidence Software and Systems Research Needs.

摘要

This White Paper presents a survey of high confidence software and systems research needs. It has been prepared by the High Confidence Software and Systems Coordinating Group (HCSS CG) of the Interagency Working Group in Information to the need for a radical new approach. Technology Trends: Increasing reliance on software for critical functions Technology Research and Development (IWG/IT R&D). The IWG, which functions under the White House National Science and Technology Council, coordinates Federal multiagency IT R&D efforts. The HCSS CG agencies are: DARPA, NASA, NIH, NIST, NSA, NSF, and OSD/URI.