Zhiming Liu, Mathai Joseph  Home/Search
Context Related
| mcs.le.ac.uk/~zliu/FTCS96.ps dcs.warwick.ac.uk/people...FTCS96.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mcs.le.ac.uk/~zliu/publication (more) Homepages: Z.Liu |
Rate this article:      (best)Comment on this article |
Abstract: A transformational method is given for specifying and verifying fault-tolerant, real-time programs. Such a program needs to be provably correct according to both its functional and real-time requirements, despite the possible occurrence of system failures. The paper demonstrates that a suitably expressive logic for real-time systems makes it possible to naturally model the state changes caused by system failures and determine their effect on the functional and real-time properties of executions. (Update)
Context of citations to this paper: More
...also be extended in the similar way. This will allow us to combine this work with our previous work on fault tolerance and real time [LJ93, LJ96] to provide a powerful framework for formally dealing with real time program refinement, fault tolerance and schedulability in a...
...kinds of tasks in a similar way. This allows us to combine this work with our previous work on fault tolerance and realtime [Liu91, LJ93, LJ94, LJ96], which formally treat re execution, forward recovery, recovery blocks, and checkpointing and backward recovery using the model...
Cited by: More
Component-Based Synthesis of Dependable Embedded Software - Jhumka, Hiller, Suri (2002) (Correct)
Assumption-Commitment Specifications And Safety-Critical.. - Rock, Stephan, Wolpers (1998) (Correct)
A Survey of Transformational Approaches to the Specification and.. - Gärtner (1999) (Correct)
Similar documents (at the sentence level):
8.0%: Formalizing Real-time Scheduling as Program Refinement - Liu, Joseph (1997) (Correct)
Active bibliography (related documents): More All
0.7: Specification and Verification of Fault-tolerance, Timing and.. - Liu, Joseph (Correct)
0.5: Verification, Refinement and Scheduling of Real-time Programs - Liu, Joseph (Correct)
0.4: On Bisimulation, Fault-Monotonicity and Provable Fault-Tolerance - Janowski (1997) (Correct)
Similar documents based on text: More All
0.3: Publications - Liu (1999) (Correct)
0.2: Canonical Bases and Piecewise-linear Combinatorics - Carter, Marsh (2000) (Correct)
0.2: ε-Entropy of Sobolev's Classes on S^d - Kushpel, Levesley, Tas (1997) (Correct)
Related documents from co-citation: More All
10: ACM Transactions on Programming Languages and Systems (context) - Lamport, Shostak et al. - 1982
6: The existence of refinement mappings - Abadi, Lamport - 1991
5: Parallel Program Design: A Foundation (context) - Chandy, Misra - 1988
BibTeX entry: (Update)
Z. Liu and M. Joseph. Verification of faulttolerance and real-time. Technical Report 1996/4, Department of Maths & Computer Science, University of Leicester, Leicester, LE1 7RH, U.K., March 1996. http://citeseer.ist.psu.edu/liu96verification.html More
@inproceedings{ liu96verification,
author = "Z. Liu and M. Joseph",
title = "Verification of Fault Tolerance and Real Time",
booktitle = "Proceedings of the 26th {IEEE} Symposium on Fault Tolerant Computing Systems ({FTCS}-26)",
publisher = "IEEE",
address = "Sendai, Japan",
isbn = "0-8186-7261-7",
pages = "220--229",
year = "1996",
url = "citeseer.ist.psu.edu/liu96verification.html" }
Citations (may not include all citations):625 ACM Transactions on Programming Languages and Systems (context) - Lamport, Shostak et al. - 1982
295 PVS: A prototype verification system (context) - Owre, Rushby et al. - 1992
293 System structure for software fault tolerance (context) - Randell - 1975
274 The existence of refinement mapping - Abadi, Lamport - 1988
168 A temporal logic of actions - Lamport - 1990
111 Composing specifications - Abadi, Lamport - 1990
88 Part II: Parallel and reactive programs (context) - Back - 1989
73 Temporal proof methodologies for real-time systems - Henzinger, Manna et al. - 1991
52 Reliability issues in computing systems design (context) - Randell, Lee et al. - 1978
35 Verification of real-time systems using PVS - Shankar - 1993
23 Science of Computer Programming (context) - Schneider, Gries - 1984
19 Transformation of programs for fault tolerance (context) - Liu, Joseph - 1992
14 ACM Transactions on Programming Languages and Systems (context) - Schneider - 1982
8 Fault-Tolerant Programming By Transformations (context) - Liu - 1991
8 Verification of faulttolerance and real-time - Liu, Joseph - 1996
5 Specification and Design of Dependable Communicating Systems (context) - Nordahl - 1992
4 Department of Computer Science (context) - Janowski, Fault-Tolerance - 1995
4 Specifying and verifying of recovery in asynchronous communi.. (context) - Liu, Joseph - 1993
1 Stepwise development of fault-tolerant reactive systems (context) - Liu, Joseph - 1994
1 An algorithm for minimising rollback cost (context) - Hadzilacos - 1982
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.mcs.le.ac.uk/~zliu/publication.html): More
Specification and Verification of Fault-tolerance, Timing and.. - Liu, Joseph (Correct)
Verifying Duration Properties of Timed Transition Systems - Liu, Ravn, Li (1996) (Correct)
Formalizing Real-time Scheduling as Program Refinement - Liu, Joseph (1997) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC