WCRT algebra and interfaces for esterel-style synchronous processing

Mendler, Michael; Hanxleden, Reinhard von; Traulsen, Claus

doi:10.1109/date.2009.5090639

Cited by 15 publications

(21 citation statements)

References 21 publications

(43 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The algebraic formulation of [19] for Esterel is closest to our approach. However, this does not consider the issue of tick alignment and signal dependencies.…”

Section: Related Workmentioning

confidence: 99%

“…Following the terminology of [19] we distinguish two types of execution paths in an IO-BTCA. A sink path starts in entry(A), passes through immediate transitions ends in a pause state.…”

Section: Illustrative Sccharts Examplementioning

confidence: 99%

“…Specifically, wcet loc (Enabled) [1] = (wcet loc (hC) wcet loc (cA) wcet loc (cB) wcet loc (cC)) [1] ≤ wcet loc (hC) [1] wcet loc (cA) [1] wcet loc (cB) [1] wcet loc (cC) [1] = 10 + 40 + 17 + 16 = 83. This is the so-called max-plus approach [19], which takes sum of the maximal tick cost from each parallel component. This calculation can be done in linear time but incurs a loss of precision in general.…”

Section: The Wcet Of a Composition Of Io-btcasmentioning

confidence: 99%

See 2 more Smart Citations

A Novel WCET Semantics of Synchronous Programs

Mendler

Roop

Bodin

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. Semantics for synchronous programming languages are well known. They capture the execution behaviour of reactive systems using precise formal operational or denotational models for verification and unambiguous semantics-preserving compilation. As synchronous programs are highly time critical, there is an imminent need for the development of an execution time aware semantics that can be used as the formal basis of WCET tools. To this end we propose such a compositional semantics for synchronous programs. Our approach, which is algebraic and based on formal power series in min-max-plus algebra, combines in one setting both the linear system theory for timing and constructive Gödel-Dummet logic for functional specification of synchronisation behaviour. The developed semantics is illustrated using a running example in the SCCharts language.

show abstract

“…The algebraic formulation of [19] for Esterel is closest to our approach. However, this does not consider the issue of tick alignment and signal dependencies.…”

Section: Related Workmentioning

confidence: 99%

“…Following the terminology of [19] we distinguish two types of execution paths in an IO-BTCA. A sink path starts in entry(A), passes through immediate transitions ends in a pause state.…”

Section: Illustrative Sccharts Examplementioning

confidence: 99%

Section: The Wcet Of a Composition Of Io-btcasmentioning

confidence: 99%

See 1 more Smart Citation

A Novel WCET Semantics of Synchronous Programs

Mendler

Roop

Bodin

2016

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

“…Mendler et al [20] propose an algebraic approach for the WCRT analysis for Esterel programs. Raymond et al [25] have been concerned with infeasible paths in the binary code under timing analysis that are implied by high-level functional properties given in synchronous languages, the concrete language in their design being the dataflow language Lustre [5].…”

Section: Related Workmentioning

confidence: 99%

Time for Reactive System Modeling

Fuhrmann

Broman

Hanxleden

et al. 2016

Proceedings of the 24th International Conference on Real-Time Networks and Systems

View full text Add to dashboard Cite

Modeling tools typically provide no information about timing properties and costly parts of the system under development. In this paper we propose a generic approach to integrate timing analysis and modeling tools. This approach includes visual highlighting to guide the user to worst-case execution time hotspots, detailed timing information for specific model elements, and the separation of di↵erent types of timing values. Our solution includes both a way to keep track of model elements subject to timing analysis during the compilation process, and a flexible and formally defined timing analysis interface for communicating timing information between a high-level modeling tool and a lower-level timing analysis tool. We present a complete open-source, Eclipse-based prototype tool chain that is evaluated both using a systematic benchmark suite and a user study.

show abstract

“…Boldt et al [29] propose a flow-based method for WCRT analysis of Esterel programs running on a reactive processor with fully predictable timing [30]; the WCRT analysis results are then used to annotate a program with timing annotations that the processor uses to check timing overruns due to hardware failures. Mendler et al [31] propose an algebraic approach for the WCRT analysis for Esterel programs running on a reactive processor. Raymond et al [32] propose an approach to improve WCET analysis by checking feasibility of computed longest paths using model checking at the modeling level.…”

Section: Related Workmentioning

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

WCRT algebra and interfaces for esterel-style synchronous processing

Cited by 15 publications

References 21 publications

A Novel WCET Semantics of Synchronous Programs

A Novel WCET Semantics of Synchronous Programs

Time for Reactive System Modeling

Towards Interactive Timing Analysis for Designing Reactive Systems

Contact Info

Product

Resources

About