Research Challenges in High Confidence Systems Table of Contents

Acrobat/PDF	Research Challenges in High Confidence Systems:   Proceedings of the Committee on Computing, Information, and Communications Workshop August 6-7, 1997   Committee on Computing, Information, and Communications   National Science and Technology Council   The views expressed in this report are those of the individual participants and not necessarily the views of their respective agencies or organizations.     Introduction Background Workshop Organization HCS Problem Exploration - Panelist Viewpoints HCS Problems Panelist Viewpoints    National Aeronautics and Space Administration    Federal Aviation Administration    Food and Drug Administration    National Institutes of Health    National Regulatory Commission    Federal Railroad Administration and State Public Utility (Railroad) Commissions    Federal Highway Administration and State Public Utility (Highway) Commissions HCS Problem Exploration - General Discussion National Challenges for HCS    Outcome-Based Quantifiable Challenges Issues HCS Solution Exploration - Panelist Views Software Safety and Improved Specification Tools Formal Methods (1) Formal Methods (2) Formal Methods (3) Lowering the Cost of Entry: Higher-Confidence Systems from Low-Confidence Parts Research-Supported Education Engineering Process Integration Improved Use of Programming Languages HCS Solution Exploration - Discussion Establish the Compelling HCS Needs Building a Better Base Clearer Articulation of Needs and Opportunity Potential Appendix A.  Agenda   Appendix B.  Attendees   References   List of Acronyms