Child pages
  • Home

Versions Compared

Key

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

...

[RePP’14-1] Towards Interactive Timing Analysis for Designing Reactive Systems.

I. Fuhrmann (talk), David Broman, Steven Smyth, Reinhard von Hanxleden.

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

Summary: This presents ..Reactive systems are increasingly developed using high-level
modeling tools. Such modeling tools may facilitate formal reasoning
about concurrent programs, but provide little help when timing-related
problems arise and deadlines are missed when running a real system.
In these cases, the modeler has typically no information about timing
properties and costly parts of the model; there is little or no guidance
on how to improve the timing characteristics of the model. In this paper,
we propose a design methodology where interactive timing analysis is an
integral part of the modeling process. This methodology concerns how
to aggregate timing values in a user-friendly manner and how to define
timing analysis requests. We also introduce and formalize a new timing
analysis interface that is designed for communicating timing information
between a high-level modeling tool and a lower-level timing analysis tool.

 

[RePP’14-2] Worst Case Reaction Time analysis of Synchronous Programs: Studying the Tick Alignment Problem. (slides)

...