Software Safety

reportActive / Technical Report | Accession Number: ADA238560 | Open PDF

Abstract:

Software safety involves ensuring that software will execute within a system context without resulting in unacceptable risk. Building safety-critical software requires special procedures to be used in all phases of the software development process. This module introduces the problems involved in building such software along with the procedures that can be used to enhance the safety of the resulting software product.

Author(s):
Leveson, Nancy G.
Author Organization(s):
CARNEGIE-MELLON UNIV PITTSBURGH PA SOFTWARE ENGINEERING INST
Descriptive Note:
Final rept.
Supplementary Note:
Prepared in cooperation with California Univ., Irvine.
Pagination:
0017

Security Markings

DOCUMENT & CONTEXTUAL SUMMARY

Distribution:
Approved For Public Release
Distribution Statement:
Approved For Public Release; Distribution Is Unlimited.

RECORD

Collection: TR
Identifying Numbers
Report Number(s):
SEI-CM-6-1-1
Contract/Grant Number(s):
F19628-90-C-0003
Monitor Series:
ESD
 Subject Terms
Joint Capability Areas:
JCA_5_Command and Control; JCA_1_Force Support; JCA_1.2_Force Preparation; JCA_5.3_Planning; JCA_4.2_Supply; JCA_1.2.3_Educating; JCA_5.5_Direct; JCA_4.2.1_Manage Supplies and Equipment; JCA_5.2_Understand; JCA_5.5.1_Communicate Intent and Guidance; JCA_4.6_Engineering; JCA_5.2.3_Share Knowledge and Situational Awareness; JCA_6.4.1_Secure Information Exchange; JCA_1.2.1_Training; JCA_6_Net Centric; JCA_1.2.6_Concepts; JCA_8.2.1_Partner with Governments and Institutions; JCA_8.2_Shape; JCA_8_Building Partnerships; JCA_3.2_Engagement; JCA_3_Force Application
Modernization Areas:
Microelectronics
Communities of Interest:
Human Systems
Descriptor(s):
*COMPUTER PROGRAMS, *SOFTWARE ENGINEERING, *SAFETY, HAZARDS, RISK
Field(s)/Group(s):
Computer Programming and Software
Keyword(s):
SOFTWARE SAFETY, PE63752F
Report Date:
1987 Jul 01