Holger Pfeifer, Detlef Schwier, Friedrich W. von Henke  Home/Search
Context Related
| informatik.uniulm...cksyncdcca7.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: informatik.uni...clocksyncdcca7 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Distributed dependable real-time systems crucially depend on faulttolerant clock synchronization. This paper reports on the formal analysis of the clock synchronization service provided as an integral feature by the Time-Triggered Protocol (TTP), a communication protocol particularly suitable for safety-critical control applications, such as in automotive "by-wire" systems. We describe the formal model extracted from the TTP specification and its formal verification, using the PVS... (Update)
Cited by: More
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
Byzantine Fault Tolerance, from Theory to Reality - Driscoll, Hall, Sivencrona.. (2003) (Correct)
Fault Tolerance Tradeoffs in Moving from Decentralized to.. - Morris, al. (2004) (Correct)
Similar documents (at the sentence level):
18.6%: Formal Analysis for Dependability Properties: the.. - Pfeifer, Henke (2001) (Correct)
Active bibliography (related documents): More All
0.5: TTPsim: A Versatile Simulation Environment for TTP/C - Pallierer, Galla (1998) (Correct)
0.4: Mechanical Verification of Clock Synchronization Algorithms - Schwier, von Henke (1998) (Correct)
0.4: An Overview of Formal Verification for the Time-Triggered.. - Rushby (2002) (Correct)
Similar documents based on text: More All
0.6: Time-Triggered Technology - Ttp Protocol Specification (2002) (Correct)
0.5: The Time-Triggered Architecture - Kopetz, Bauer (1988) (Correct)
0.5: A Low-Cost Time-Triggered Sensor Network: TTP/A - Kopetz, Holzmann, Elmenreich (1999) (Correct)
Related documents from co-citation: More All
7: An Investigation of Membership and Clique Avoidance in TTP/C - Bauer, Paulitsch - 2000
6: Understanding protocols for Byzantine clock synchronization - Schneider - 1987
6: Systematic Formal Verification for Fault-Tolerant TimeTriggered Architectures - Rushby - 1997
BibTeX entry: (Update)
H. Pfeifer, D. Schwier, and F. W. von Henke. Formal Verification for Time-Triggered Clock Synchronization. In C. B. Weinstock and J. Rushby, editors, Dependable Computing for Critical Applications 7, volume 12 of Dependable Computing and Fault-Tolerant Systems, pages 207--226. IEEE Computer Society, January 1999. http://citeseer.ist.psu.edu/pfeifer99formal.html More
@inproceedings{ pfeifer99formal,
author = "Holger Pfeifer and Detlef Schwier and Friedrich W. von Henke",
title = "Formal Verification for Time-Triggered Clock Synchronization",
booktitle = "Dependable Computing for Critical Applications---7",
volume = "12",
publisher = "IEEE Computer Society",
address = "San Jose, CA",
editor = "Charles B. Weinstock and John Rushby",
pages = "207--226",
year = "1999",
url = "citeseer.ist.psu.edu/pfeifer99formal.html" }
Citations (may not include all citations):270 Formal Verification for Fault-Tolerant Architectures: Proleg.. - Owre, Rushby et al. - 1995
142 Synchronizing Clocks in the Presence of Faults (context) - Lamport, Melliar-Smith - 1985
104 Clock Synchronization in Distributed RealTime Systems (context) - Kopetz, Ochsenreiter - 1987
74 Understanding Protocols for Byzantine Clock Synchronization - Schneider - 1987
65 the Possibility and Impossibility of Achieving Clock Synchro.. (context) - Dolev, Halpern et al. - 1986
64 The Infeasibility of Quantifying the Reliability of Life-Cri.. - Butler, Finelli - 1993
39 Formal Verification of Algorithms for Critical Systems (context) - Rushby, von Henke - 1993
31 TTP -- A Time Triggered Protocol for FaultTolerant Real-Time.. (context) - Kopetz, Grunsteidl - 1994
26 Verification of Fault-Tolerant Clock Synchronization Systems (context) - Miner - 1994
24 Mechanical Verification of a Generalized Protocol for Byzant.. - Shankar - 1992
20 Systematic Formal Verification for Fault-Tolerant Time-Trigg.. - Rushby - 1997
16 Low-Overhead Time-Triggered Group Membership - Katz, Lincoln et al. - 1997
12 Mechanical Verification of a Schematic Byzantine Clock Synch.. (context) - Shankar - 1991
11 Formal Techniques for Synchronized Fault-Tolerant Systems - Di Vito, Butler - 1992
11 Mechanical Verification of Clock Synchronization Algorithms - Schwier, von Henke - 1998
10 The Time-Triggered Approach to Real-Time System Design (context) - Kopetz - 1995
6 Time-Triggered Architecture for Safety-Related Distributed R.. (context) - Heiner, Thurner - 1998
5 The Design and Proof of Correctness of a FaultTolerant Circu.. (context) - Bevier, Young - 1991
2 Specification of the Basic TTP/C Protocol (context) - Kopetz - 1998
The graph only includes citing articles where the year of publication is known.
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