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

Conference · Sat Mar 01 00:00:00 EST 1997

OSTI ID:501492

Kidd, M E.C.

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.

• Research Organization: Sandia National Lab. (SNL-NM), Albuquerque, NM (United States)
• Sponsoring Organization: USDOE, Washington, DC (United States)
• DOE Contract Number: AC04-94AL85000
• OSTI ID: 501492
• Report Number(s): SAND-97-0521C; CONF-970828-1; ON: DE97003835; TRN: 97:004435
• 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

Related Subjects

99 MATHEMATICS
COMPUTERS
INFORMATION SCIENCE
MANAGEMENT
LAW
MISCELLANEOUS
COMPUTER CODES
RELIABILITY
BENCHMARKS
SYSTEM FAILURE ANALYSIS
COMPUTER ARCHITECTURE