11 Dec UP2DATE TechTalk 3: Resource monitoring and Software randomization
In the third talk of this series, Dr. Leonidas Kosmidis from BSC provided the background on Measurement-based Probabilistic Timing Analysis (MBPTA) developed in the EU projects PROARTIS and PROXIMA and how it can simplify the timing analysis of complex hardware platforms, such as the ones considered in UP2DATE.
Then he went over the fundamentals of the software randomisation techniques he developed during his PhD, which are essential for enabling the requirements of MBPTA in existing hardware platforms and presented timing analysis results obtained with industrial case studies developed in these projects, including the one which received the Best Paper Award at DAC 2014.
In the second part of the presentation, he covered how hardware performance counters allow resource monitoring of time critical tasks and how this information can be combined with MBPTA in order to obtain safe upper bounds in multicore environments.
