NIST Special Publication 500-223
A Framework for the Development and Assurance of High Integrity Software

Dolores R. Wallace Laura M. Ippolito

National Institute of standards and Technology, December 1994


ABSTRACT
The purpose of this document is to recommend a framework for the development and assurance of high integrity software. The framework addresses the fact that these processes must take into account properties and requirements of a high integrity system and the processes and standards used in developing other system components. This framework provides guidance to developers, assurers, and buyers of software, researchers for high integrity software systems, and vendors of Computer Aided Software Engineering tools and integrated environments.

KEYWORDS
High integrity software, project management, software assurance, software configuration management, software development, software hazard analysis, software quality assurance, software verification and validation.

TABLE OF CONTENTS:

ABSTRACT
ACKNOWLEDGMENTS
EXECUTIVE SUMMARY
GLOSSARY
ACRONYMS
1 INTRODUCTION
1.1 Framework Content
2 SOFTWARE DEVELOPMENT
2.1 Software Requirements Process
2.2 Software Design Process
2.3 Code Process
2.4 Software Integration Process
2.6 Software Operation and Maintenance Process
2.7 Software Development Process Inputs and Outputs 3 SOFTWARE ASSURANCE
3.1 Project Management Process
3.2 Software Quality Assurance Process
3.3 Software Verification and Validation Process
3.3.1 Independent Verification
3.3.2 Software Requirements Verification and Validation Process
3.3.3 Software Design Verification and Validation Process
3.3.4 Verification and Validation Process
3.3.5 Unit Test Process
3.3.6 Software Integration Test Process
3.3.7 Software System Test Process
3.3.8 Software Installation Test Process
3.3.9 Software Operation and Maintenance Verification and Validation Process
3.4 Software Configuration Management Process
3.5 Software Hazard Analysis Process
3.6 Software Assurance Process Inputs and Outputs
4 SOFTWARE ENGINEERING PRACTICES
5 SOFTWARE FUNCTIONALITY
5.1 Definition of System Service
5.2 Failure Modes, Error Detection and Fault Tolerance
5.2.1 Sensor Surveillance
5.2.2 Surveillance of Other System Components
5.3 Actions to be Avoided
5.4 Human Interfaces
5.5 System Test Provisions
5.6 Attribute Requirements 6 SUMMARY
7 REFERENCES
APPENDIX A. BIBLIOGRAPHY OF HIGH INTEGRITY SOFTWARE DOCUMENTS
A.1 Standards and Guidelines
A.2 Books
A.3 Papers
Tables
Table 2-1. Software Development Process Inputs and Outputs
Table 3-1. Major Processes of SV&V
Table 3-2. Software Assurance Process Inputs and Outputs
Figures
Figure 1-1. Software Development as a Part of System Development
Figure 1-2. Software Assurance Relationship to Software Development

ТЕКСТ:
находится в библиотеке Секции открытых систем Совета РАН "Научные телекоммуникации и
информационная инфраструктура"