Skip to main content
U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

A CASE Tool to Evaluate Functional Diversity in Safety System Software

Published

Author(s)

D Wallace, James R. Lyle, L M. Ippolito, D W. Binkley, M L. Zimmerman

Abstract

This report contains the results of the Phase C effort of the project A CASE Tool to Evaluate Functional Diversity in Safety System Software conducted by the National Institute of Standards and Technology for the Nuclear Regulatory Commission (NRC). Phase A of this project was a study to determine the feasibility of building a software tool using program slicing to assist NRC auditors when they examine source code written in the C programming language. Phase B produced the first version of unravel, a software tool implementing program slicing on source code written in the ANSI C programming language. Phase C consisted of several tasks ranging from improving unravel to conducting studies to determine the feasibility of adapting unravel for use with other programming languages (C++, Ada, PLM-86, PLM Ladder Logic, Pascal) and the availability of commercially available software diagnostic tools to perform additional functionality to assist NRC auditors during review of software programs written in these other languages.
Citation
A CASE Tool to Evaluate Functional Diversity in Safety System Software

Keywords

Ada, C, C++, programming practices, slicing, software analysis, software diagnostic tools, unravel

Citation

Wallace, D. , Lyle, J. , Ippolito, L. , Binkley, D. and Zimmerman, M. (1995), A CASE Tool to Evaluate Functional Diversity in Safety System Software, A CASE Tool to Evaluate Functional Diversity in Safety System Software (Accessed April 18, 2024)
Created August 31, 1995, Updated February 17, 2017