Communication Dans Un Congrès Année : 2014

Timing verification of automotive communication architectures using quantile estimation

Shehnaz Louvart
  • Fonction : Auteur
José Villanueva
  • Fonction : Auteur
Sergio Campoy-Martinez
  • Fonction : Auteur
Jörn Migge
  • Fonction : Auteur

Résumé

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 especially 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 dist ribution 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.

Fichier principal
Vignette du fichier
ERTS_2014_submission_36.pdf (336.43 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-02272054 , version 1 (27-08-2019)

Licence

Identifiants

  • HAL Id : hal-02272054 , version 1

Citer

Nicolas Navet, Shehnaz Louvart, José Villanueva, Sergio Campoy-Martinez, Jörn Migge. Timing verification of automotive communication architectures using quantile estimation. Embedded real-time software and systems (ERTS² 2014), Feb 2014, TOULOUSE, France. ⟨hal-02272054⟩

Collections

55 Consultations
29 Téléchargements

Partager

  • More