Skip to Main content Skip to Navigation
New interface
Conference papers

Formal evaluation and comparison of real time embedded automotive networks

Tahiry Razafindralambo 1 Isabelle Augé-Blum 1 
1 ARES - Architectures of networks of services
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Abstract : Automotive constructors want to replace critical mechanical functions by electronical components communicating by a real time embedded network (X-by-Wire technologies) on future cars. To implement such critical functions, these networks have hard real-time and fault tolerance constraints. There exist two automotive protocol families: Event-Triggered (e.g. CAN) and Time-Triggered (e.g. TTP/C). The aim of this paper is to compare these two protocols efficiency using Quality of Service (QoS) criteria. A methodology based on timed automata modeling (UPPAAL) is used to obtain efficiency measurements. An example of X-by-Wire application (engine control) is used to show impact of network properties on application QoS. The X-by-Wire application QoS gives from application point of view the protocol efficiency.
Document type :
Conference papers
Complete list of metadata
Contributor : Tahiry Razafindralambo Connect in order to contact the contributor
Submitted on : Monday, May 2, 2011 - 1:15:19 PM
Last modification on : Wednesday, May 11, 2022 - 2:16:02 PM


  • HAL Id : inria-00589819, version 1



Tahiry Razafindralambo, Isabelle Augé-Blum. Formal evaluation and comparison of real time embedded automotive networks. IEEE International conference on industrial technology, Dec 2004, Hammamet, Tunisia. ⟨inria-00589819⟩



Record views