Child pages
  • Home

Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

10th Biennial Ptolemy Miniconference (PTCONF’13), Berkeley, CA, USA, November 2013.

Summary: Poster.

 

[PDAY’13-1]

Is timing analysis a refinement of causality analysis? (slides)

J. Aguado.

PRET Day (PDAY'13), INRIA Grenoble France, March 2013

Summary: We ask this question by means of examples constructed from a game-theoretic approach for the semantics of Esterel combined with an interface algebra for timing analysis.

It has been recognised that the synchronous model of computation together with a suitable execution platform (precision-timed, or PRET architectures) facilitates system-level timing predictability. This talk discusses a logical and game-theoretic framework for capturing worst-case reaction time (WCRT) for Esterel-style synchronous reactive programming. This framework will provide a formal grounding for the WCRT problem, and allow to improving upon earlier heuristics by accurately and modularly characterising timing interfaces. This approach will not only allows verifying the correctness of WCRT analyses methods, but also will allow capturing functionality and timing together.

 

[SYNCHRON’13-1]

Compiling SCCharts (and other Sequentially Constructive Programs) to Hardware and Software.

...