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:
-
- 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}
}
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 to My Library
You must Sign In or Create an Account in order to save documents to your library.