Communication Dans Un Congrès Année : 2012

chronVAL/chronSIM: A Tool Suite for Timing Verification of Auto-motive Applications

Résumé

Automotive software systems become more and more complex presenting tougher safety requirements and tighter timing constraints. On the other hand, today, timing verification of automotive systems is considered late in the development process, mainly at the implementation stage. Consequently, this leads generally to late detection of design mistakes involving extra costs. In this paper, we present a tool suite dedicated for timing analysis of automotive systems, chronSIM/chronVAL. We propose to evaluate the capabilities of this tool suite against the timing analysis needs of automotive applications.

Fichier principal
Vignette du fichier
3B-4.pdf (370.03 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-02191852 , version 1 (23-07-2019)

Licence

Identifiants

  • HAL Id : hal-02191852 , version 1

Citer

Saoussen Anssi, Karsten Albers, Matthias Dörfel, Sébastien Gérard. chronVAL/chronSIM: A Tool Suite for Timing Verification of Auto-motive Applications. Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France. ⟨hal-02191852⟩

Collections

207 Consultations
297 Téléchargements

Partager

  • More