G. Bauer, H. Kopetz and P. Puschner, "Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture", In Proceedings 7th IEEE International Conference on Emerging Technologies and Factory Automation, Antibes - Juan les Pins, France, October 2001, pp. 333-341. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Transition from Asynchronous to Synchronous System.. - Steiner, Paulitsch (2002) (1 citation) (Correct)
....consequences of such a failure will influence the operation of at most 1 node. We call such a device a guardian. Actually, there must be at least 2 guardians to cope with the faults of the single fault hypothesis. Moreover, a correct guardian must not be able to produce correct frames on its own [12, 1]. node 1 node 2 node 3 communication medium guardian 1 guardian 0 Figure 3. System of 4 nodes with replicated channels and guardians The task of the guardian is to prevent a malicious node from sending outside its slot, which prevents a failure in the time domain. We assume that the ....
G. Bauer, H. Kopetz, and P. Puschner. Assumption coverage under different failure modes in the Time-Triggered Architecture. 8th IEEE Int. Conf. on Emerging Technologies and Factory Automation, Antibes Juan-les-pins, France, pages 333--341, Oct. 2001.
The Time-Triggered Architecture - Kopetz, Bauer (1988) (18 citations) Self-citation (Bauer Kopetz) (Correct)
....of the fault hypothesis (fail silent nodes in TTAbus) and can bring the application into the safe state in case the fault hypothesis is violated. However, for fail operational applications, the TTA star interconnection that tolerates arbitrary (i.e. Byzantine) node faults is recommended [42] [43]. In the TTA star configuration, the guardians are integrated into two replicated central star couplers as depicted in Figure 6. This has the following advantages: The guardians are fully independent and located at a physical distance from the nodes they protect. In a cluster comprising n ....
G. Bauer, H. Kopetz, and P. Puschner. Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture. In Proceedings 8th IEEE International Conference on Emerging Technologies and Factory Automation, pages 333--341, 2001.
Fault Tolerance Tradeoffs in Moving from Decentralized to.. - Morris, al. (2004) (Correct)
No context found.
G. Bauer, H. Kopetz and P. Puschner, "Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture", In Proceedings 7th IEEE International Conference on Emerging Technologies and Factory Automation, Antibes - Juan les Pins, France, October 2001, pp. 333-341.
A Fault Tolerance Analysis of Safety-Critical Embedded Systems - Morris (Correct)
No context found.
G. Bauer, H. Kopetz and P. Puschner, "Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture", In Proceedings 7th IEEE International Conference on Emerging Technologies and Factory Automation, Antibes - Juan les Pins, France, October 2001, pp. 333-341.
Model Checking a Fault-Tolerant Startup Algorithm: From.. - Steiner, Rushby, al. (2004) (2 citations) (Correct)
No context found.
G. Bauer, H. Kopetz, and P. Puschner. Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture. In Proc. of International Conference on Emerging Technologies and Factory Automation, pages 333-- 341, Oct. 2001.
Quantifying the Reliability of Proven - Spider Group Membership (Correct)
No context found.
G. Bauer, H. Kopetz, and P. Puschner, Assumption Coverage under Different Failure Modes in the Time-Triggered Architecture, 8th IEEE Intl. Conf. on Emerging Technologies and Factory Automation, Oct. 2001, pp. 333-341.
Model Checking a Fault-Tolerant Startup Algorithm: From Design .. - Steiner, al. (2004) (2 citations) (Correct)
No context found.
G. Bauer, H. Kopetz, and P. Puschner. Assumption coverage under different failure modes in the timetriggered architecture. In Proc. of International Conference on Emerging Technologies and Factory Automation, pages 333--341, Oct. 2001.
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