A software surety analysis process

Technical Report · Tue Oct 31 23:00:00 EST 1995

DOI:https://doi.org/10.2172/162500· OSTI ID:162500

Trauth, S; Tempel, P

As part of the High Consequence System Surety project, this work was undertaken to explore, one approach to conducting a surety theme analysis for a software-driven system. Originally, plans were to develop a theoretical approach to the analysis, and then to validate and refine this process by applying it to the software being developed for the Weight and Leak Check System (WALS), an automated nuclear weapon component handling system. As with the development of the higher level High consequence System surety Process, this work was not completed due to changes in funding levels. This document describes the software analysis process, discusses its application in a software, environment, and outlines next steps that could be taken to further develop and apply the approach to projects.

• Research Organization: Sandia National Labs., Albuquerque, NM (United States)
• Sponsoring Organization: USDOE, Washington, DC (United States)
• DOE Contract Number: AC04-94AL85000
• OSTI ID: 162500
• Report Number(s): SAND--95-2593; ON: DE96003541
• Country of Publication: United States
• Language: English

Related Subjects

42 ENGINEERING
45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEFENSE
CERTIFICATION
COMPUTERIZED CONTROL SYSTEMS
ENGINEERED SAFETY SYSTEMS
EVALUATION
FAULT TREE ANALYSIS
NUCLEAR WEAPONS
PROBABILISTIC ESTIMATION
QUALITY ASSURANCE