IEEE - Institute of Electrical and Electronics Engineers, Inc. - Multiple invariant system design for fault-tolerant real-time applications

Proceedings of WORDS'96. The Second Workshop on Object-Oriented Real-Time Dependable Systems

Author(s): Yen, I.-L.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1996
Conference Location: Laguna Beach, CA, USA
Conference Date: 1 February 1996
Page(s): 101 - 107
ISBN (Paper): 0-8186-7570-5
DOI: 10.1109/WORDS.1996.506267
Regular:

Multiple invariant design technique can be used for writing parallel programs to enhance performance and achieve fault tolerance. Essentially, a system can have multiple invariants, ranging from... View More

Advertisement