Informatics Report Series


Report   

EDI-INF-RR-0333


Related Pages

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

Home
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-
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.
Links To Paper
IEEE Digital Library - restricted access
Bibtex format
@InProceedings{EDI-INF-RR-0333,
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 = {http://ieeexplore.ieee.org/iel5/8560/27094/01203551.pdf?tp=&arnumber=1203551&snumber=27094},
}


Home : Publications : Report 

Please mail <reports@inf.ed.ac.uk> with any changes or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh