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 / Description of output

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
Number of pages1
Publication statusPublished - 2003


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

Cite this