Fault tolerance tradeoffs in moving from decentralized to centralized embedded systems

Proceedings of the International Conference on Dependable Systems and Networks

Volumn , Issue , 2004, Pages 377-386

  Morris, Jennifer ^a   Kroening, Daniel ^b   Koopman, Philip ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CONSTRAINT THEORY; DISTRIBUTED COMPUTER SYSTEMS; FAULT TOLERANT COMPUTER SYSTEMS; NETWORK PROTOCOLS; SYSTEMS ANALYSIS; TELECOMMUNICATION TRAFFIC;

CENTRALIZED COMPONENTS; STAR TOPOLOGY; STAR-COUPLER FAULTS; TIME-TRIGGERED ARCHITECTURE;

EMBEDDED SYSTEMS;

EID: 4544347276     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/dsn.2004.1311907     Document Type: Conference Paper

References (12)

1. P. Verissimo and L. Rodrigues, Distributed Systems for System Architects, Kluwer Academic Publishers, 2001.
2. G. Bauer, H. Kopetz, and W. Steiner, "The Central Guardian Approach to Enforce Fault Isolation in the Time-Triggered Architecture," in Proceedings of the Sixth IEEE International Symposium on Autonomous Decentralized Systems (ISADS'03), Pisa, Italy, April 2003, pp. 37-44.
3. A. Ademaj, "Slightly-Off-Specification Failures in the Time-Triggered Architecture", in Proceedings of the Seventh IEEE International Workshop on High Level Design Validation and Test (HLDVT'02), Cannes, France, October 2002, pp 7-12.
4. Model Checking at Carnegie Mellon University http://www-2. cs.cmu.edu/~modelcheck/
5. TTTech Computertechnik AG, Time-Triggered Protocol TTP/C High-level Specification Document edition 1.0.0, TTTech Computertechnik AG, Vienna, Austria, 2002.
6. L. Lamport, R. Shostak, M. Pease, "The Byzantine Generals Problem," in ACM Transactions on Programming Languages and Systems, vol. 4 no. 3, pp. 382-401, 1982.
7. A. Ademaj, H. Sivencrona, G. Bauer, J. Torin, "Evaluation of Fault Handling of the Time-Triggered Architecture with Bus and Star Topology," in Proceedingsofthe 2003 IEEE International Conference on Dependable Systems and Networks (DSN'03), San Francisco, California, June 2003, pp. 123-132.
8. H. Pfeifer, D. Schwier, and F. v. Henke, "Formal Verification for Time-Triggered Clock Synchronization," In Proceedings of Seventh IFIP International Working Conference on Dependable Computing for Critical Applications, pp. 207-226, 1999.
9. J. Rushby, "Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms" IEEE Transactions on Software Engineering, vol. 25, no. 5,pp. 651-660, 1999.
10. H. Pfeifer, "Formal Verification of the TTP Group Membership Algorithm". In IFIP TC6/WG6.1 International Conference on Formal Description Techniques for Distributed Systems and Communication protocols and Protocol Specification, Testing and Verification, FORTE/PSTV 2000, Pisa, Italy, October 2000, pp. 3-18.
11. 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.
12. TTTech Computertechnik AG, Time-Triggered Protocol TTP/C Bus-Compatibility Specification edition 1.0.0, TTTech Computertechnik AG, Vienna, Austria, 2002.