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

Title: A method for critical software event execution reliability in high assurance systems

Abstract

This paper presents a method for Critical Software Event Execution Reliability (Critical SEER). The Critical SEER method is intended for high assurance software that operates in an environment where transient upsets could occur, causing a disturbance of the critical software event execution order, which could cause safety or security hazards. The method has a finite automata based module that watches (hence SEER) and tracks the critical events and ensures they occur in the proper order or else a fail safe state is forced. This method is applied during the analysis, design and implementation phases of software engineering.

Authors:
Publication Date:
Research Org.:
Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
Sponsoring Org.:
USDOE, Washington, DC (United States)
OSTI Identifier:
501492
Report Number(s):
SAND-97-0521C; CONF-970828-1
ON: DE97003835; TRN: 97:004435
DOE Contract Number:  
AC04-94AL85000
Resource Type:
Conference
Resource Relation:
Conference: Institute of Electrical and Electronics Engineers high assurance systems engineering workshop, Washington, DC (United States), 11 Aug 1997; Other Information: PBD: 1997
Country of Publication:
United States
Language:
English
Subject:
99 MATHEMATICS, COMPUTERS, INFORMATION SCIENCE, MANAGEMENT, LAW, MISCELLANEOUS; COMPUTER CODES; RELIABILITY; BENCHMARKS; SYSTEM FAILURE ANALYSIS; COMPUTER ARCHITECTURE

Citation Formats

Kidd, M E.C. A method for critical software event execution reliability in high assurance systems. United States: N. p., 1997. Web.
Kidd, M E.C. A method for critical software event execution reliability in high assurance systems. United States.
Kidd, M E.C. 1997. "A method for critical software event execution reliability in high assurance systems". United States. https://www.osti.gov/servlets/purl/501492.
@article{osti_501492,
title = {A method for critical software event execution reliability in high assurance systems},
author = {Kidd, M E.C.},
abstractNote = {This paper presents a method for Critical Software Event Execution Reliability (Critical SEER). The Critical SEER method is intended for high assurance software that operates in an environment where transient upsets could occur, causing a disturbance of the critical software event execution order, which could cause safety or security hazards. The method has a finite automata based module that watches (hence SEER) and tracks the critical events and ensures they occur in the proper order or else a fail safe state is forced. This method is applied during the analysis, design and implementation phases of software engineering.},
doi = {},
url = {https://www.osti.gov/biblio/501492}, journal = {},
number = ,
volume = ,
place = {United States},
year = {Sat Mar 01 00:00:00 EST 1997},
month = {Sat Mar 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: