Abstract de la publi numéro 11999

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).