The Cert-t project has the ambitious goal to certify real time guarantees for reactive applications. The project aims to integrate time sensitive effects in functional semantics, and extend compiler correctness results to preserve real time properties.