Bibtex de la publication

@Misc{ CaSa2010.1,
author = {Cassé, Hugues and Sainrat, Pascal},
title = "{Computation of Worst Case Execution Time}",
year = {2010},
month = {octobre},
howpublished = {Tutoriel},
language = {français},
URL = {},
keywords = {WCET},
abstract = {Critical real-time embedded systems need verification and therefore WCET computation. This paper presents our implementation of WCET computation by static analysis a,d how it has been adapted to support the LEON3 architecture, involved in the socket project. Key features of this processor are supported (delayed branches and cache blocks with valid bits).}