Section: Contracts and Grants with Industry

Mascotte

Participants : Isabelle Puaut, Thomas Piquet.

MasCotTE (http://www.projet-mascotte.org/ ) is an acronym for “MAîtriSe et COnTrôle des Temps d'Exécution” (Estimation and control of execution times). MasCotTE is funded by the Predit program of the ANR.

The aim of MasCotTE is to design the methods, techniques and tools required for controlling the execution times of automotive embedded real-time software (through static analysis and/or testing). Emphasis is put on the study of the impact of performance enhancing features on the predictability of embedded software. The project defines some guidelines on how to use such performance enhancing features in a predictable manner.