Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Real-Time Systems Année : 2016

Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks

Résumé

Due to increased bandwidth and scalability demands, Ethernet technology is finding its way into recent in-vehicle networks. Tomorrow's heterogeneous networks will feature legacy buses [e.g. controller area network (CAN) or FlexRay] as well as high-speed Ethernet devices, connected by switches and gateways. As Ethernet offers significantly larger frame sizes than CAN, the efficient transmission of CAN data over an Ethernet backbone depends heavily on the way this data is multiplexed into Ethernet frames. This article focuses on the timing impact introduced by various CAN/Ethernet multiplexing strategies at the gateways. We present a formal analysis method to derive upper bounds on end-to-end latencies for complex multiplexing strategies, which is key for the design of safety-critical real-time systems. We capture complex inter-domain signal paths spanning multiple buses, gateways, and switches and show the applicability in a realistic automotive setup

Domaines

Matériaux

Dates et versions

hal-01381889 , version 1 (14-10-2016)

Identifiants

Citer

Daniel Thiele, Johannes Schlatow, Philip Axer, Rolf Ernst. Formal timing analysis of CAN-to-Ethernet gateway strategies in automotive networks. Real-Time Systems, 2016, 52 (1), pp.88 - 112. ⟨10.1007/s11241-015-9243-y⟩. ⟨hal-01381889⟩
56 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More