Reference : Timing verification of automotive communication architectures using quantile estimation

	Document type :	Scientific congresses, symposiums and conference proceedings : Unpublished conference
	Discipline(s) :	Engineering, computing & technology : Electrical & electronics engineering
	To cite this reference:	http://hdl.handle.net/10993/17623

Title :	Timing verification of automotive communication architectures using quantile estimation
Language :	English
Author, co-author :	Navet, Nicolas [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Louvart, Shehnaz [Renault SAS Technocentre]
	Villanueva, Jose [Renault SAS Technocentre]
	Campoy-Martinez, Sergio [Renault SAS Technocentre]
	Migge, Jörn [RealTime-at-Work (RTaW)]
Publication date :	7-Mar-2014
Peer reviewed :	Yes
Audience :	International
Event name :	Embedded Real-Time Software and Systems (ERTS 2014)
Event date :	from 05-02-2014 to 07-02-2014
Keywords :	[en] Timing verification ; automotive networks ; Controller Area Network ; simulation ; statistics
Abstract :	[en] Early stage timing verification on CAN traditionally relies on simulation and schedulability analysis, also known as worst-case response time (WCRT) analysis. Despite recent progresses, the latter technique remains pessimistic espe cially in complex networking architectures with gateways and heterogeneous communication stacks. Indeed, there are practical cases where no exact WCRT analysis is available, and merely upper bounds on the response times can be derived, on the basis of which unnecessary conservative design choices may be made. Simulation, on the other hand, does not provide any guarantees per se and, in the context of critical networks, should only be used along with an adequate methodology. In this paper, we argue for the use of quantiles of the response time distribution as performance metrics providing an adjustable trade-off between safety and resource usage optimization. We discuss how the exact value of the quantile to consider should be chosen with regard to the criticality of the frames, and illustrate the approach on two typical automotive use -cases.
Target :	Researchers ; Professionals ; Students
Permalink :	http://hdl.handle.net/10993/17623
Commentary :	Paper available from the conference web site at url: http://www.erts2014.org/Site/0R4UXE94/Fichier/erts2014_7A3.pdf

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map