Experimentation of WCET computation on both ends of automotive processor range

Authors:
H. Cassé;P. Sainrat;C. Ballabriga;M. de Michiel
Affiliations:
Université de Toulouse, Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, Cedex;Université de Toulouse, Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, Cedex;Université de Toulouse, Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, Cedex;Université de Toulouse, Institut de Recherche en Informatique de Toulouse (IRIT), Toulouse, Cedex
Venue:
Proceedings of the 1st Workshop on Critical Automotive applications: Robustness & Safety
Year:
2010

Citing 6
Cited 1

Performance analysis of embedded software using implicit path enumeration

LCTES '95 Proceedings of the ACM SIGPLAN 1995 workshop on Languages, compilers, & tools for real-time systems
Timing Analysis for Data Caches and Set-Associative Caches

RTAS '97 Proceedings of the 3rd IEEE Real-Time Technology and Applications Symposium (RTAS '97)
Pipeline Timing Analysis Using a Trace-Driven Simulator

RTCSA '99 Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications
Static Loop Bound Analysis of C Programs Based on Flow Analysis and Abstract Interpretation

RTCSA '08 Proceedings of the 2008 14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
Improving the First-Miss Computation in Set-Associative Instruction Caches

ECRTS '08 Proceedings of the 2008 Euromicro Conference on Real-Time Systems
A versatile generator of instruction set simulators and disassemblers

SPECTS'09 Proceedings of the 12th international conference on Symposium on Performance Evaluation of Computer & Telecommunication Systems

OTAWA: an open toolbox for adaptive WCET analysis

SEUS'10 Proceedings of the 8th IFIP WG 10.2 international conference on Software technologies for embedded and ubiquitous systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

This article presents the results of experimenting our OTAWA tool to compute WCETs on a real automotive embedded application. First, we analyze the application (C source generated from Simulink models) and exhibit specific properties and their implication on the WCET computation. Then, two very different embedded processor architectures are tested and in both cases we show (1) how their specific features are supported by OTAWA and (2) how to configure them to maximize both performances and determinism.