Abstract
In dependable distributed systems, the communication link is a critical component with strict dependability requirements. The Time-Triggered Protocol (TTP/C) was developed to meet these requirements. To validate this design, one node in a TTP/C cluster was injected with faults using heavy-ions. It was a prototype implementation and cluster sizes of four and five nodes were tested. The experimental results show that arbitrary faults in one node can cause inconsistencies in the cluster and jeopardize the operation of correctly working nodes and the whole cluster. Further, the system’s vulnerability to arbitrary failures in single nodes for a cluster with a broadcast bus is shown. Experiments with varying cluster sizes indicate a relationship between cluster size and system vulnerability thus it seems to be important to further analyze if and why cluster sizes need to be taken into account when validating distributed systems. The described inconsistencies resulted from asymmetric value faults, asymmetric timing faults or arbitrary single node failures.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Kopetz, H.: TTP/C Protocol, Available at http://www.ttpforum.org
Kopetz, H., Grünsteidl, G., Reisinger, J.: Fault-Tolerant Membership Service in a Synchronous Distributed Real-Time System. Technical Report, Technical University Vienna
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. In: The Proceedings of DCCA-5, Urbana-Champaign, IL, USA (September 1995)
FIT project at http://www.cordis.lu/ist/projects/99-10748.htm
Rushby, J.: Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms. IEEE Transactions on Software Engineering 25(5), 651–660 (1999)
Sivencrona, H., Johannessen, P., Torin, J.: Protocol Membership in Dependable Distributed Communication Systems – A Question of Brittleness, Paper no: 2003-01- 0108, SAE World Congress, Detroit, USA (2003)
Karlsson, J., et al.: Using Heavy-Ion Radiation to Validate Fault-Handling Mechanisms. IEEE Micro 14(1), 8–23 (1994)
Bauer, G., Paulitsch, M.: An Investigation of Membership and Clique Avoidance in TTP/C. In: Proceedings of The 19th IEEE Symposium on Reliable Distributed Systems, Nuremberg, Germany, pp. 118–124 (2000)
Sivencrona, H., Persson, M.: 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)
Driscoll, K., Hall, B., Sivencrona, H., Zumsteg, P.: Byzantine Fault Tolerance, from Theory to Reality. In: Anderson, S., Felici, M., Littlewood, B. (eds.) SAFECOMP 2003. LNCS, vol. 2788, pp. 235–248. Springer, Heidelberg (2003)
Ademaj, A.: Slightly-Off-Specification Failures in the Time-Triggered Architecture. In: Seventh Annual IEEE International Workshop on High Level Design Validation and Test (HLDVT 2002), Cannes, France (2002)
Ademaj, A., Sivencrona, H., Bauer, G., Torin, J.: Evaluation of Fault Handling of the Time- Triggered Architecture with Bus and Star Topology. In: The proceedings of the International Conference on Dependable Systems and Networks, DSN 2003, San Francisco, CA, USA (2003)
Sivencrona, H., Persson, M., Torin, J.: Using Heavy-ion Fault Injection to Evaluate Fault Tolerance with respect to Cluster Size in a Time-triggered Communication System. In: Proceedings of The 6th Design & Diagnostics of Electronic Circuits & Systems (DDECS), Poznan, Poland (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sivencrona, H., Johannessen, P., Persson, M., Torin, J. (2003). Heavy-Ion Fault Injections in the Time-Triggered Communication Protocol. In: de Lemos, R., Weber, T.S., Camargo, J.B. (eds) Dependable Computing. LADC 2003. Lecture Notes in Computer Science, vol 2847. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45214-0_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-45214-0_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20224-0
Online ISBN: 978-3-540-45214-0
eBook Packages: Springer Book Archive