National Coordination Office for Networking and Information Technology Research and Development
Setting an Interagency HCS Research Agenda
Released May 1998 		leftright

   Acrobat/PDF

Setting an Interagency
High Confidence Systems (HCS)
Research Agenda:
 
Proceedings of the Interagency High Confidence
Systems Workshop   March 25, 1998
 

High Confidence Systems Working Group
 
Committee on Computing, Information, and Communications
Research and Development
 
National Science and Technology Council

 
1.  Introduction

1.1  Background
1.2  Workshop Organization

2.  Review of the Prior HCS Workshop
 
3.  Agency HCS-Related Research Program Overviews

3.1  Federal Aviation Administration
3.2  Federal Railroad Administration
3.3  Federal Transit Administration
3.4  Food and Drug Administration
3.5  National Library of Medicine
3.6  Department of Treasury
3.7  Secret Service
3.8  National Aeronautics and Space Administration
3.9  Department of Energy
3.10  Nuclear Regulatory Commission
3.11  National Institute of Standards and Technology
3.12  National Institutes of Health

4.  HCS Research Agenda Development
 
Appendix A: Workshop Participants
 
Appendix B: NASA Strategic Roadmap Strawman
leftright