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

Saoussen Anssi (1) , Karsten Albers (2) , Matthias Dörfel , Sébastien Gérard (3)

1 Continental Automotive GmbH
2 Department of Computer Science [Oldenburg]
3 DTN - Développement des Technologies Nouvelles

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.

Mots clés: Automotive applications; scheduling analysis; scheduling analysis tools requirements & capabilities; chronSIM/chronVAL

Domaines: Systèmes embarqués; Informatique [cs]

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⟩