Probabilistically Analysable Real-Time Systems

MBPTA White Paper

Publication Type:

White Paper

Source:

PROARTIS (2013)

Abstract:

This white paper provides an understanding on the main requirements that Measurement-Based Prob-
abilistic Timing Analysis (MBPTA) places on the hardware/software platform under consideration, the
essence of which is to ensure that each program instruction can be attached an Execution Time Profile
that describes the probabilistic distribution function of the execution time cost of that instruction. 

 

N.B. 01/10/2014 V2 is updated version of the original White Paper in which we have clarified the terms convolutions, and sequential and parallel execution.V1 is the original version for reference.


Notes:

 

The document below provides understanding on the main requirement that Measurement-Based Probabilistic Timing Analysis (MBPTA) poses on the hardware/software platform under consideration. This document builds upon previously published papers for which the reader is assumed to be familiar with. In particular, it builds upon:

  • [1] F.J. Cazorla, E. Qui nones, T. Vardanega, L. Cucu, B. Triquet, G. Bernat, E. Berger, J. Abella, F. Wartel, M. Houston, L. Santinelli, L. Kosmidis, C. Lo, and D. Maxim. Proartis: Probabilistically analysable real-time systems. ACM TECS, 2013.
  • [2] L. Cucu-Grosjean, L. Santinelli, M. Houston, C. Lo, T. Vardanega, L. Kosmidis, J. Abella, E. Mezzeti, E. Quinones, and F. Cazorla. Measurement-based probabilistic timing analysis for multi-path programs. In ECRTS, pages 91–101. IEEE, July 2012.
  • [3] Leonidas Kosmidis, Jaume Abella, Eduardo Quinones, and Francisco J. Cazorla. A cache design for probabilistically analysable real-time systems. In DATE, 2013.

Full Text:


AttachmentSize
MBPTAWhitePaper.v2.pdf250.63 KB
MBPTAWhitePaper.v1.pdf255.01 KB