Ensuring critical event sequences in high integrity software by applying path expressions
Conference
·
OSTI ID:266715
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 Labs., 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
- Country of Publication:
- United States
- Language:
- English
Similar Records
Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions
A fully parallel algorithm for implementing path expressions
A method for critical software event execution reliability in high assurance systems
Conference
·
Fri Jan 31 23:00:00 EST 1997
·
OSTI ID:448068
A fully parallel algorithm for implementing path expressions
Journal Article
·
Wed Oct 31 23:00:00 EST 1990
· Journal of Parallel and Distributed Computing; (United States)
·
OSTI ID:5001566
A method for critical software event execution reliability in high assurance systems
Conference
·
Fri Feb 28 23:00:00 EST 1997
·
OSTI ID:501492