Worst Case Reaction Time Analysis of Concurrent Reactive Programs

Boldt, Marian; Traulsen, Claus; Hanxleden, Reinhard von

doi:10.1016/j.entcs.2008.05.011

Cited by 35 publications

(52 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The WCRT analysis technique developed by Boldt et al [7] already provide fairly promising results with a reported accuracy typically in the 30-40% range. However, this heuristics still makes conservative and simplifying assumptions and is not grounded in a formal timing model.…”

Section: Synchronicity and Timing Predictabilitymentioning

confidence: 93%

“…On the other hand, there exist numerous approaches to classical WCET analysis [5] but only few on WCRT analysis [6], [7].…”

Section: Related Workmentioning

confidence: 99%

“…This has been exploited in a compiler which translates Esterel programs into multi-threaded assembler code for the Kiel Esterel Processor (KEP), and as part of the compilation process analyzes the WCRT in terms of instruction cycles [7].…”

Section: Synchronicity and Timing Predictabilitymentioning

confidence: 99%

“…1(a) and the corresponding assembler (b). Considering that each of the basic instructions present, emit, goto takes 1 instruction cycle (ic) regardless how it is entered or exited, the longest-path heuristic implemented in the KEP compiler [7] will compute a WCRT of 6 ics. This, however, is overly conservative, as the longest path makes contradictory assumptions (signal I present and absent at the same time).…”

Section: Synchronicity and Timing Predictabilitymentioning

confidence: 99%

See 3 more Smart Citations

WCRT algebra and interfaces for esterel-style synchronous processing

Mendler

Hanxleden

Traulsen

2009

2009 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition

View full text Add to dashboard Cite

Abstract-The synchronous model of computation together with a suitable execution platform facilitates system-level timing predictability. This paper introduces an algebraic framework for precisely capturing worst case reaction time (WCRT) characteristics for Esterel-style reactive processors with hardware-supported multithreading. This framework provides a formal grounding for the WCRT problem, and allows to improve upon earlier heuristics by accurately and modularly characterizing timing interfaces.

show abstract

Section: Synchronicity and Timing Predictabilitymentioning

confidence: 93%

“…On the other hand, there exist numerous approaches to classical WCET analysis [5] but only few on WCRT analysis [6], [7].…”

Section: Related Workmentioning

confidence: 99%

Section: Synchronicity and Timing Predictabilitymentioning

confidence: 99%

Section: Synchronicity and Timing Predictabilitymentioning

confidence: 99%

See 2 more Smart Citations

WCRT algebra and interfaces for esterel-style synchronous processing

Mendler

Hanxleden

Traulsen

2009

2009 Design, Automation &Amp; Test in Europe Conference &Amp; Exhibition

View full text Add to dashboard Cite

show abstract

“…This means that the modeler gets direct feedback concerning execution time for the whole or parts of the system. For a model of a reactive system, the most essential timing information is the worst-case reaction time (WCRT) [5], meaning the maximal time allowed to read sensor input, perform computation, and actuate output. Such an input-output cycle is also referred to as a tick, and the computation is performed in a tick function.…”

Section: Introductionmentioning

confidence: 99%

Towards Interactive Timing Analysis for Designing Reactive Systems

Fuhrmann¹,

Broman²,

Smyth³

et al. 2014

View full text Add to dashboard Cite

Abstract. 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.

show abstract

Model-Driven Design Using IEC 61499

Yoong¹,

Roop

Bhatti

et al. 2015

View full text Add to dashboard Cite

Worst Case Reaction Time Analysis of Concurrent Reactive Programs

Cited by 35 publications

References 12 publications

WCRT algebra and interfaces for esterel-style synchronous processing

WCRT algebra and interfaces for esterel-style synchronous processing

Towards Interactive Timing Analysis for Designing Reactive Systems

Model-Driven Design Using IEC 61499

Contact Info

Product

Resources

About