RV'13, 4th International Conference on Runtime Verification, took place at INRIA Rennes, France, from 24 to 27 September 2013.
Runtime verification is concerned with monitoring and analysis of software and hardware system executions.
The tutorial presented by Ka Lampka focused on analysis and run-time support for real-time constrained software executing on multi-core processors with shared resources like main memory and intra-core connects.
An extended abstract of two pages is available HERE.
To acces to the tutorial presentations:
With Real-time Performance Analysis and Monitoring to Timing Predictable Use of Multi-core Architectures
An approach to the analysis of resource contention scenarios in manycore architectures
Last changed: Feb 27 2014 at 3:25 PM
The research leading to these results has received funding from the European Union Seventh Framework Programme (FP7/2007-2013) under grant agreement n° 288175
DR. Madeleine FAUGÈRE
THALES S.A.