skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Method for critical software event execution reliability in high integrity software

Abstract

This report contains viewgraphs on a method called SEER, which provides a high level of confidence that critical software driven event execution sequences faithfully exceute in the face of transient computer architecture failures in both normal and abnormal operating environments.

Authors:
 [1]
  1. Sandia National Labs., Albuquerque, NM (United States)
Publication Date:
Research Org.:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
OSTI Identifier:
543346
Report Number(s):
CONF-970417-
ON: DE97006858; TRN: 97:005589-0035
Resource Type:
Conference
Resource Relation:
Conference: Software quality forum, Albuquerque, NM (United States), 1-3 Apr 1997; Other Information: PBD: [1997]; Related Information: Is Part Of Software: Our quest for excellence. Honoring 50 years of software history, progress, and process; PB: 579 p.
Country of Publication:
United States
Language:
English
Subject:
99 MATHEMATICS, COMPUTERS, INFORMATION SCIENCE, MANAGEMENT, LAW, MISCELLANEOUS; COMPUTER CODES; RELIABILITY; DIAGRAMS

Citation Formats

Kidd, M E. Method for critical software event execution reliability in high integrity software. United States: N. p., 1997. Web.
Kidd, M E. Method for critical software event execution reliability in high integrity software. United States.
Kidd, M E. 1997. "Method for critical software event execution reliability in high integrity software". United States. https://www.osti.gov/servlets/purl/543346.
@article{osti_543346,
title = {Method for critical software event execution reliability in high integrity software},
author = {Kidd, M E},
abstractNote = {This report contains viewgraphs on a method called SEER, which provides a high level of confidence that critical software driven event execution sequences faithfully exceute in the face of transient computer architecture failures in both normal and abnormal operating environments.},
doi = {},
url = {https://www.osti.gov/biblio/543346}, journal = {},
number = ,
volume = ,
place = {United States},
year = {Sat Nov 01 00:00:00 EST 1997},
month = {Sat Nov 01 00:00:00 EST 1997}
}

Conference:
Other availability
Please see Document Availability for additional information on obtaining the full-text document. Library patrons may search WorldCat to identify libraries that hold this conference proceeding.

Save / Share: