Idioma:

Safely Using the AUTOSAR End-to-End Protection Library

Arts, Thomas ; Tonetta, Stefano

Computer Safety, Reliability, and Security, p.74-89 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por

Título:
Safely Using the AUTOSAR End-to-End Protection Library
Autor: Arts, Thomas ; Tonetta, Stefano
Assuntos: AUTOSAR ; Communication failures ; E2E Protection ; Formal methods ; Verification
É parte de: Computer Safety, Reliability, and Security, p.74-89
Descrição: The AUTOSAR End-to-End library is used to protect data. On the producer side a counter and checksum are added, such that on the consumer side it can be detected whether there was a communication failure. For optimal bus utilisation, it is a common solution that a producer publishes data that is read by many consumers. If the data also needs to be protected, this results in an End-to-Many-Ends solution. In this paper, we analyse the impact of an End-to-Many-Ends solution on the safety guarantees of the AUTOSAR End-to-End Protection. In particular with focus on the problem that arises when the consumers read the messages with a periodicity that differs from the producer. It turns out that this common situation severely reduces the safety guarantees these standard components offer. In this report we analyze these reductions on different architectures.
Editor: Cham: Springer International Publishing
Idioma: Inglês

Voltar para lista de resultados