John Rushby. An overview of formal verification for the time-triggered architecture. In Werner Damm and Ernst-Rudiger Olderog, editors, Formal Techniques in Real-Time and FaultTolerant Systems, volume 2469 of Lecture Notes in Computer Science, pages 83--105, Oldenburg, Germany, September 2002. Springer-Verlag. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Model Checking Simpson's Four-Slot Fully Asynchronous.. - Rushby (2002) (1 citation) Self-citation (Rushby) (Correct)
....the other: for example, if the writer is much faster than the reader, it may almost always seize the lock and thereby starve the reader, or delay it beyond its deadline. Priorities, or enforced alternation, change the character of the problem, but do not eliminate it. As described elsewhere [Rus02] the larger problem with such locking schemes is that they render the flow of control between components bidirectional. Kopetz [Kop99] defines interfaces that involve bidirectional flow of control as composite and argues convincingly that they should be eschewed in favor of elementary ....
John Rushby. An overview of formal verification for the time-triggered architecture. In Werner Damm and Ernst-Rudiger Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, Oldenburg, Germany, November 2002. Springer-Verlag. To appear.
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
No context found.
John Rushby. An overview of formal verification for the time-triggered architecture. In Werner Damm and Ernst-Rudiger Olderog, editors, Formal Techniques in Real-Time and FaultTolerant Systems, volume 2469 of Lecture Notes in Computer Science, pages 83--105, Oldenburg, Germany, September 2002. Springer-Verlag.
The Formal Verification of a Reintegration Protocol - Pike, Johnson (2005) (Correct)
No context found.
J. Rushby. An overview of formal verification for the time-triggered architecture. In FTRTFT, volume 2469 of LNCS, pages 83--105, 2002.
Integration of Two Complementary Time-Triggered.. - Obermaisser.. (2005) (Correct)
No context found.
Rushby, J., An overview of formal verification for the time-triggered architecture. Formal Techniques in Real-Time and Fault-Tolerant Systems, Lecture Notes in Computer Science, pages 83--105, Springer-Verlag, 2002.
Automatic Recovery of the TTP/A Sensor/Actuator Network - Steiner, Elmenreich (2003) (Correct)
No context found.
J. Rushby. An Overview of Formal Verification for the Time-Triggered Architecture. In Werner Damm and Ernst-R udiger Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 2469 of Lecture Notes in Computer Science, pages 83--105, Oldenburg, Germany, September 2002. Springer-Verlag.
Automatic Recovery of the TTP/A Sensor/Actuator Network - Wilfried Steiner Wilfried (2003) (Correct)
No context found.
J. Rushby. An Overview of Formal Verification for the Time-Triggered Architecture. In Werner Damm and Ernst-R udiger Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 2469 of Lecture Notes in Computer Science, pages 83--105, Oldenburg, Germany, September 2002. Springer-Verlag.
Multiple Failure Correction in the Time-Triggered.. - Wilfried Steiner Michael (2002) (Correct)
No context found.
J. Rushby. An Overview of Formal Verification for the TimeTriggered Architecture. In W. Damm and E.-R. Olderog, editors, Formal Techniques in Real-Time and Fault-Tolerant Systems, volume 2469 of Lecture Notes in Computer Science, pages 83--105, Oldenburg, Germany, Sept. 2002. SpringerVerlag.
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