A. The and . Partnership, Automotive Open System Architecture (AUTOSAR, 2003.

C. Ferdinand, R. Heckmann, M. Langenbach, F. Martin, M. Schmidt et al., Reliable and precise WCET determination for a real-life processor, Proceedings of EMSOFT 2001, vol.2211, pp.469-485, 2001.

C. Ferdinand, R. Heckmann, L. Thierry, D. Sergent, B. Lopes et al., Combining a highlevel design tool for safety-critical systems with a tool for WCET analysis on executables, European Congress ERTS Embedded Real Time Software, 2008.
URL : https://hal.archives-ouvertes.fr/insu-02270107

C. Ferdinand, F. Martin, C. Cullmann, M. Schlickling, I. Stein et al., New developments in WCET analysis, Program Analysis and Compilation, vol.4444, pp.12-52, 2007.

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter et al., System level performance analysis -the SymTA/S approach, IEEE Proceedings on Computers and Digital Techniques, vol.152, issue.2, 2005.

S. Yau-tsun, S. Li, and . Malik, Performance Analysis of Embedded Software Using Implicit Path Enumeration, Proceedings of the 32nd ACM/IEEE Design Automation Conference, 1995.

C. L. Liu and J. W. Layland, Scheduling algorithms for multiprogramming in a hard real-time environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.

J. Schneider and C. Ferdinand, Pipeline Behavior Prediction for Superscalar Processors by Abstract Interpretation, Proceedings of the ACM SIGPLAN Workshop on Languages, Compilers and Tools for Embedded Systems, vol.34, pp.35-44, 1999.

H. Theiling, Extracting Safe and Precise Control Flow from Binaries, Proceedings of the 7th Conference on Real-Time Computing Systems and Applications, 2000.

H. Theiling and C. Ferdinand, Combining abstract interpretation and ILP for microarchitecture modelling and program path analysis, Proceedings of the 19th IEEE Real-Time Systems Symposium, pp.144-153, 1998.