ESA-P4S: PROARTIS for Space - Schedulability Analysis Techniques and Tools for Cached and Multicore Processors


This project aimed to address a wide range of issues relating to time analysability of next generation space systems. The key challenge addressed how to use multicores in an effective way and achieving adequate levels of guarantee of the timing correctness. There were four main themes in the ITT:

  1. Choice of scheduling and schedulability analysis and their relation with timing analysis techniques in multicores.
  2. Incorporation of software randomisation at run time to enable probabilistic worst-case execution time analysis.
  3. Hardware support for observing timing behaviour. This included the provision of a data logger to capture timing data and hardware changes on-chip to support the data logger.
  4. Evaluation of performance and worst-case behaviour of NGMP advanced features.