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}
}
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.