Ensuring critical event sequences in high consequence computer based systems as inspired by path expressions

• Authors: Marie-Elena C. Kidd
• Venue: ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
• Year: 1997

The goal is to provide a high level of confidence that critical software driven event sequences are maintained in the face of hardware failures and harsh or unstable operating environments. The technical approach includes in-situ (embedded in the software) dynamic (run-time) fault management for ensuring critical event sequences in high consequence software. Our method is based on deriving a mathematical description of the critical software controlled event sequence, embedding check points and update points around the critical events into the target code, and adding a module that implements the functionality of the underlying mathematical model. This methodology 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.