Informatics Report Series



Related Pages

Report (by Number) Index
Report (by Date) Index
Author Index
Institute Index

Title:Guaranteeing temporal validity with a real-time logic of knowledge
Authors: Stuart Anderson ; Juliana Bowles
Date: 2005
Publication Title:Proceedings of ICDCS 2003 Workshops
Publisher:IEEE Computer Society
Publication Type:Conference Paper Publication Status:Published
Volume No:# 23 Page Nos:178-
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.
Links To Paper
IEEE Digital Library - restricted access
Bibtex format
author = { Stuart Anderson and Juliana Bowles },
title = {Guaranteeing temporal validity with a real-time logic of knowledge},
book title = {Proceedings of ICDCS 2003 Workshops},
publisher = {IEEE Computer Society},
year = 2005,
volume = {# 23},
pages = {178-},
url = {},

Home : Publications : Report 

Please mail <> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh