Journal of the ACM (JACM)
A new fault-tolerant algorithm for clock synchronization
Information and Computation
Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
A formally verified algorithm for clock synchronization under a hybrid fault model
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal Verification of the TTP Group Membership Algorithm
FORTE/PSTV 2000 Proceedings of the FIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX)
Formal Verification for Time-Triggered Clock Synchronization
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
FTCS '98 Proceedings of the The Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing
An Investigation of Membership and Clique Avoidance in TTP/C
SRDS '00 Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems
Understanding Protocols for Byzantine Clock Synchronization
Understanding Protocols for Byzantine Clock Synchronization
Synchronization and Matching in Redundant Systems
IEEE Transactions on Computers
IEEE Spectrum
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
A Protocol for Loosely Time-Triggered Architectures
EMSOFT '02 Proceedings of the Second International Conference on Embedded Software
An Overview of Formal Verification for the Time-Triggered Architecture
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Virtual Gateways in the DECOS Integrated Architecture
IPDPS '05 Proceedings of the 19th IEEE International Parallel and Distributed Processing Symposium (IPDPS'05) - Workshop 2 - Volume 03
The formal verification of a reintegration protocol
Proceedings of the 5th ACM international conference on Embedded software
The TTA's Approach to Resilience after Transient Upsets
Real-Time Systems
A practical implementation of the fault-tolerant daisy-chain clock synchronization algorithm on CAN
Proceedings of the conference on Design, automation and test in Europe: Designers' forum
Analysis and optimization of distributed real-time embedded systems
Proceedings of the 41st annual Design Automation Conference
An integrated architecture for future car generations
Real-Time Systems
Timing analysis of the FlexRay communication protocol
Real-Time Systems
Implementing fault-tolerance in real-time programs by automatic program transformations
ACM Transactions on Embedded Computing Systems (TECS)
Dependability assessment of by-wire control systems using fault injection
Journal of Systems Architecture: the EUROMICRO Journal
Reliable communication for DuST networks
ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation
Formal verification of a group membership protocol using model checking
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Integrating automotive applications using overlay networks on top of a time-triggered protocol
Proceedings of the 13th Monterey conference on Composition of embedded systems: scientific and industrial issues
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
New challenges in certification for aircraft software
EMSOFT '11 Proceedings of the ninth ACM international conference on Embedded software
Embedded Systems Design
Embedded Systems Design
Computer Standards & Interfaces
Formalization and correctness of the PALS architectural pattern for distributed real-time systems
Theoretical Computer Science
A reliability evaluation of a group membership protocol
SAFECOMP'07 Proceedings of the 26th international conference on Computer Safety, Reliability, and Security
Co-simulation framework for design of time-triggered cyber physical systems
Proceedings of the ACM/IEEE 4th International Conference on Cyber-Physical Systems
Predicate-aware, makespan-preserving software pipelining of scheduling tables
ACM Transactions on Architecture and Code Optimization (TACO)
Hi-index | 0.00 |
Embedded systems for safety-critical applications often integrate multiple "functions" and must generally be fault-tolerant. These requirements lead to a need for mechanisms and services that provide protection against fault propagation and ease the construction of distributed fault-tolerant applications.A number of bus architectures have been developed to satisfy this need. This paper reviews the requirements on these architectures, the mechanisms employed, and the services provided. Four representative architectures (SAFEbusTM, SPIDER,TTA, and FlexRay) are briefly described.