This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Protocol Membership in Dependable Distributed Communication Systems - A Question of Brittleness
Technical Paper
2003-01-0108
ISSN: 0148-7191, e-ISSN: 2688-3627
Annotation ability available
Sector:
Language:
English
Abstract
This paper describes results from fault injection experiments using heavy ions in the time-triggered communication protocol for safety critical distributed systems (TTP/C, C1 implementation). The observed results show that arbitrary faults in one erroneous node could cause inconsistencies in the cluster and thus jeopardize correctly working nodes and the whole communication system. The described inconsistencies resulted from either asymmetric value faults or slightly out of specification timing faults. This system behavior can be partly explained by too strict constraints on the fault handling algorithms using the membership agreement protocol.
Authors
Citation
Sivencrona, H., Johannessen, P., and Torin, J., "Protocol Membership in Dependable Distributed Communication Systems - A Question of Brittleness," SAE Technical Paper 2003-01-0108, 2003, https://doi.org/10.4271/2003-01-0108.Also In
In-Vehicle Networks, Safety Critical Systems, Accelerated Testing, and Reliability
Number: SP-1783; Published: 2003-03-03
Number: SP-1783; Published: 2003-03-03
In-Vehicle Networks, Safety Critical Systems, Accelerated Testing, and Reliability on CD-ROM
Number: SP-1783CD; Published: 2003-03-03
Number: SP-1783CD; Published: 2003-03-03
SAE 2003 Transactions Journal of Passenger Cars - Electronic and Electrical Systems
Number: V112-7; Published: 2004-09-15
Number: V112-7; Published: 2004-09-15
References
- Bauer, G. Paulitsch, M “An Investigation of Membership and Clique Avoidance in TTP/C” Proceedings of the 19th IEEE Symposium on Reliable Distributed Systems 118 124 Nuremberg, Germany October 2000
- Kopetz, H. “TTP/C Protocol” TTTech 1999 http://www.ttpforum.org
- Kopetz, H. Bauer G. Poledna S. “Tolerating Arbitrary Node Failures in the Time-Triggered Architectureℍ SAE 2001-01-0677 SAE World Congress Detroit, USA March 2001
- Merceron, A. “Proving “no Cliques” in a Protocol” Computer Science Conference, 2001 Proceedings. 24th Australasian 134 139 2001
- Kopetz, H. Grünsteidl G. Reisinger J. “Fault-Tolerant Membership Service in a Synchronous Distributed Real-Time System” Technical Report Technical University Vienna
- Verissimo, P. Rodrigues, L. “A posteriori agreement for fault-tolerant clock synchronization on broadcast networks- Fault-Tolerant Computing, 1992. FTCS-22. Digest of Papers, 22nd Symposium 527 536 1992
- Rushby, J. “Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms” IEEE Transactions on Software Engineering 25 5 September 651 660 1999
- Kopetz, H. Ochsenreiter, W. “Clock Synchronization in Distributed Real-Time Systems” IEEE Transactions on Computers 36 8 Aug. 1987 933 940
- Cristian, F. “Understanding Fault-Tolerant Distributed Systems” Communications of the ACM 1993
- Lamport, Shostak, R. Pease, M. “The Byzantine generals problem” ACM Transactions on Programming Languages and Systems 4 3 382 401 1982
- Karlsson, J. Folkesson, P. Arlat, J. Crouzet, Y. Leber G. Reisinger, J. “Application of Three Physical Fault Injection Techniques to the Experimental Assessment of the MARS Architecture” Proc. DCCA-5, Urbana-Champaign IL, USA September 1995
- Karlsson J. et al “Using Heavy-Ion Radiation to Validate Fault-Handling Mechanisms” IEEE Micro 14 1 8 23 Feb. 1994
- Johansson, Rolf “On single Event Upset Error Manifestation” The First European Dependable Computing Conference, Berlin, October 1994 Springer-Verlag 852 217 231 1994
- Sivencrona, H. et al. “Detected Errors in a Time-triggered System Utilizing Heavy Ion Fault Injection- Technical Report no: 02-13 Department of Computer Engineering, Chalmers University of Technology 2002
- Ademaj, A. “Slightly-off-Specification Failures in the Time-Triggered Architecture” 7th IEEE High Level Design Test and Validation Workshop Cannes, France October 2002
- Hoyme, K. Driscoll, K. “SAFEbus” Digital Avionics Systems Conference, 1992. Proceedings, IEEE/AIAA 11th 1992 68 73
- http://www.cordis.lu/ist/projects/9910748.htm