Probabilistically Analysable Real-Time Systems

Enrico Mezzetti

Dr. Enrico Mezzetti obtained a Bachelor degree in Computer Science at the University of Padua (cum laude, 2005). He further accomplished a Master's Degree in Computer Science at the University of Padua (cum laude,2008) with a thesis on instruction cache predictability in high integrity real-time systems. In May 2012 he successfully defended his PhD thesis on "Cache-aware Development of High Integrity Real-time Systems". His PhD activities were carried on under a joint PhD program between the Universities of Padua and Bologna with support from Thales Alenia Space - France. In the last few years, he has been involved in several European projects on cache predictability and analysability of high integrity real-time systems, such as the PEAL (Prototype Execution-time Analyser for LEON, ESA/ESTEC Contract 19535/05/NL/JD/jkCCN1) and COLA (Cache Optimization for LEON Analyses, ESA/ESTEC Contract 22167/09/NL/JK ) projects. He gained insight on the inner working of industrial-quality timing analysis tools such as the static WCET analysis tool aiT (from AbsInt GmbH) Bound-T (from Tidorum Ltd.) and the measurement-based WCET analysis tool RapiTime (from Rapita Systems Ltd.). He is currently a post-doc research fellow at the University of Padua in the Department of Mathematics. Home Page: http://www.math.unipd.it/~emezzett/