Guaranteeing Temporal Validity with a Real-Time Logic of Knowledge

Stuart Anderson, Juliana Küster Filipe

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In applications where data needs to be shared among distributed components it is desirable to have overall data consistency at all times. This is crucial for safety-critical systems, where inconsistency can lead to failures. Overall continuous data consistency is, however, rarely possible to achieve. For distributed systems, a relaxed view based on the temporal validity of data can be proven sufficient. If components in a distributed computer-based system have different temporal validity constraints for the same data, then as long as these constraints are satisfied overall system inconsistency is not harmful. We propose the use of a formal analysis technique for guaranteeing temporal validity of shared data. The approach is based on a real-time temporal logic of knowledge suitable for verification through model checking. It allows us to check that the shared data in the system is consistent "enough" and cannot be a source of failure. We illustrate the approach with an open dynamic real-time distributed computer-based system.
Original languageEnglish
Title of host publicationProceedings. 23rd International Conference on Distributed Computing Systems Workshops, 2003
Pages178
Number of pages1
DOIs
Publication statusPublished - 2003

Fingerprint

Dive into the research topics of 'Guaranteeing Temporal Validity with a Real-Time Logic of Knowledge'. Together they form a unique fingerprint.

Cite this