Ensuring critical event sequences in high integrity software by applying path expressions

Conference · Mon Jul 01 00:00:00 EDT 1996

OSTI ID:266715

Kidd, M E.C.

The goal of this work is to extend the use of existing path expression theory and methodologies to ensure that critical software event sequences are maintained even in the face of malevolent attacks and harsh or unstable operating environments. This will be accomplished by providing dynamic fault management measures directly to the software developer and to their varied development environments. This paper discusses the perceived problems, a brief overview of path expressions, and the author`s proposed extension areas. The authors discuss how the traditional path expression usage and implementation differs from the intended usage and implementation.

• 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: 266715
• Report Number(s): SAND-96-1451C; CONF-960869-3; ON: DE96011678; TRN: AHC29616%%112
• Resource Relation: Conference: 14. national system safety conference, Albuquerque, NM (United States), 12-17 Aug 1996; Other Information: PBD: [1996]
• Country of Publication: United States
• Language: English

Related Subjects

99 MATHEMATICS
COMPUTERS
INFORMATION SCIENCE
MANAGEMENT
LAW
MISCELLANEOUS
COMPUTER CODES
RELIABILITY
SECURITY
PROGRAMMING
DISTRIBUTED DATA PROCESSING
ACCURACY
FAILURES
RESEARCH PROGRAMS
TESTING