Research Challenges in High Confidence Systems: Proceedings of the Committee on211 Computing, Information and Communications Workshop. Held in Alexandria, Virginia 211 on August 6-7, 1997

摘要

The objectives of the workshop were to explore research topics that would enable211u001ethe creation of new technologies for developing and assessing high confidence 211u001esystems, to recommend integrated research challenges to stimulate and focus high 211u001econfidence systems research, and to suggest national goals and benefits to 211u001eencourage U.S. Government interagency commitment to a national research agenda in 211u001ehigh confidence systems. To achieve its objectives, the workshop considered the 211u001efindings of the 1995 Committee on Information and Communications (CIC), and 211u001eexplored in more detail the gap between the needs for high confidence and the HCS 211u001estate-of-the-art for high confidence, as well as the research needed to begin to 211u001efill in that gap.