Probabilistically Analysable Real-Time Systems

Enrico Mezzetti

Enrico Mezzetti obtained a Bachelor’s degree in Computer Science at the University of Padua (cum laude, 2005). He 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. During his final study project he was involved in the PEAL Project (“Prototype Execution-time Analyser for LEON”, ESA/ESTEC Contract 19535/05/NL/JD/jk CCN1) and has experience with industrial quality tools such as the static WCET analysis tool Bound-T (from Tidorum Ltd.) and the measurement-based WCET analysis tool RapiTime (from Rapita Systems Ltd.). He is currently working on a PhD concerning cache analysis, WCET estimation and real-time systems.