Child pages
  • Home

Versions Compared

Key

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

...

Sequentially Constructive Charts (SCCharts) (poster)

C. Motika, S. Smyth, R. von Hanxleden, M. Mendler.

...

SCCharts – Sequentially Constructive Charts. (slides)

C. Motika.

20th International Workshop on Synchronous Programming (SYNCHRON'13), Dagstuhl Germany, November 2013.

...

Berry-Constructive Programs are Sequentially Constructive, or: Synchronous Programming from a Scheduling Perspective. (slides)

M. Mendler

20th International Workshop on Synchronous Programming (SYNCHRON'13), Dagstuhl Germany, November 2013.

Summary: We introduce an abstract value domain I(D) and associated fixed point semantics for reasoning about concurrent and sequential variable valuations within a synchronous cycle-based model of computation. We use this domain for a new behavioural definition of Berry’s causality analysis for Esterel in terms of approximation intervals. This gives a compact and more uniform understanding of causality and generalises to other data-types. We also prove that Esterel’s ternary domain and its semantics is conservatively extended by the recently proposed sequentially constructive (SC) model of computation. This opens the door to a direct mapping of Esterel’s signal mechanism into boolean variables that can be set and reset arbitrarily within a tick. We illustrate the practical usefulness of this mapping by discussing how signal reincarnation is handled efficiently by this transformation, which is of complexity that is linear in program size, in contrast to earlier techniques that had, at best, potentially quadratic overhead.

 

[RePP’14-1]

Towards Interactive Timing Analysis for Designing Reactive Systems.

I. Fuhrmann.

Workshop on Reconciling Performance with Predictability (RePP’14), Grenoble France, April 2014.

Summary: This presents ...

 

[RePP’14-2]

The WCRT analysis of synchronous programs: Studying the tick alignment problem. (slides)

M. Mendler.

Workshop on Reconciling Performance with Predictability (RePP’14), Grenoble France, April 2014.

Summary: Synchronous programs are ideally suited for the design of safety critical systems as they provide guarantees on determinism and deadlock freedom. In addition to such functional guarantees, guarantees on timing are also necessary. In this talk, we study the problem of static worst case reaction (WCRT) time analysis of synchronous programs. While, there have been many recent attempts at addressing this problem from the point of view of scalability and precision, one crucial aspect is yet to be examined from a fundamental viewpoint. Concurrent threads in a synchronous program must align during every reaction, a problem that has been termed as the tick alignment problem (TAP), i.e., infeasible ticks that never align in practice must be ruled out for precision. We, for the first time, study TAP in the guise of a number theoretic formulation in order to not only explore its lower bound complexity, but also to develop heuristics that work well in practice.

 

 

Section
Column
width60%
Recently Updated
Column
width2%
 
Column
width38%
Navigate space
Page Tree Search
Page Tree