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:448068

Kidd, M E.C.

The goal of our work is to provide a high level of confidence that critical software driven event sequences are maintained in the face of hardware failures, 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. The methodology employed here is inspired by previous work in path expressions. This paper discusses the perceived problems, a brief overview of path expressions, the proposed methods, and a discussion of the differences between the proposed methods and traditional path expression 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: 448068
• Report Number(s): SAND-96-2351C; CONF-970337-1; ON: DE96015308; TRN: 97:001814
• Resource Relation: Conference: International conference on engineering of computer based systems, Monterey, CA (United States), 24-27 Mar 1997; Other Information: PBD: 1997
• Country of Publication: United States
• Language: English

Related Subjects

99 MATHEMATICS
COMPUTERS
INFORMATION SCIENCE
MANAGEMENT
LAW
MISCELLANEOUS
FAULT TOLERANT COMPUTERS
PROGRAMMING
SERVICE LIFE