Method for critical software event execution reliability in high integrity software
Conference
·
OSTI ID:543346
- Sandia National Labs., Albuquerque, NM (United States)
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.
- Research Organization:
- Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
- OSTI ID:
- 543346
- Report Number(s):
- CONF-970417-; ON: DE97006858; TRN: 97:005589-0035
- 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
Similar Records
A method for critical software event execution reliability in high assurance systems
Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions
Ensuring critical event sequences in high integrity software by applying path expressions
Conference
·
Sat Mar 01 00:00:00 EST 1997
·
OSTI ID:543346
Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions
Conference
·
Sat Feb 01 00:00:00 EST 1997
·
OSTI ID:543346
Ensuring critical event sequences in high integrity software by applying path expressions
Conference
·
Mon Jul 01 00:00:00 EDT 1996
·
OSTI ID:543346