Rapita CEO keynote speech at SBESC

4 - 8 November 2013 at the Universidade Federal Fluminense in Niterói, Brazil

Dr Guillem Bernat, CEO at Rapita Systems, is to deliver a keynote speech on probabilistic analysis of real-time systems at the forthcoming Brazilian Symposium on Computing Systems Engineering (SBESC). The "Probabilistically Analysable Hard Real-Time Systems" [PROARTIS] speech focuses on three areas:

• The increased complexity of safety-critical real-time systems, which is making them harder to analyse;
• The pace of hardware development and software complexity is much faster than timing analysis techniques and tools, thus opening a void in the verification of next generation systems;
• How randomising the timing behaviour of components across the system (from hardware to software) ensures the resulting timing behaviour falls into the assumptions needed by statistical methods, and standard statistical techniques can then be applied to the analysis of timing behavior of systems.

By illustrating the overall development problem, explaining different hardware and software randomisation techniques, and then describing the tools developed at Rapita Systems that can enable the analysis of systems that are randomised, Dr Bernat will show how the PROARTIS project is a "game changer” in the world of timing analysis. (PROARTIS, and its successor, PROXIMA, are European funded projects under Framework 7). Acknowledged as one of the world's leading experts on worst-case execution time analysis, Dr Bernat is also a major contributor to the theory of probabilistic timing analysis for real-time systems. Visit the symposium website for more details: http://sbesc.lisha.ufsc.br/sbesc2013/Home