Timing analysis enhancement for synchronous program

Raymond, Pascal; Maïza, Claire; Parent-Vigouroux, Catherine; Carrier, Fabienne

doi:10.1145/2516821.2516841

Cited by 12 publications

(4 citation statements)

References 8 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…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]. This work is related to our concept of reactive infeasible paths, however the authors use an existing model checker to verify the feasibility of paths according to high-level semantics and to trace the functional properties from Lustre to C and from C to binary code.…”

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

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

show abstract

“…But in a parallel system the environment of M is constrained and may not be able to exercise the sequence of sensitisations to reach the worst case configuration. In order to get tighter WCET results practical approaches have used full state space exploration [1], context-sensitive WCET analysis [15] or iterative narrowing using flow facts generated by model checking [20], or tick expressions [24]. All these approaches depend on preserving some or all of the sequencing information of the IO-BTCAs and their synchronisation via signals to detect incompatibility of local states or transitions.…”

Section: The Wcet Of a Composition Of Io-btcasmentioning

confidence: 99%

“…Existing WCET techniques for ISP [21,24,20] have been largely guided by heuristics using general-purpose analysis tools such as ILP, model-checking, SATsolving, and micro-architectural modelling. The evaluations of the methods are based on empirical benchmarking.…”

Section: Introductionmentioning

confidence: 99%

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

“…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. Want et al propose an ILP-based approach that exploits concurrency explicitly in the ILP formulation to avoid state space explosion [33].…”

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

Timing analysis enhancement for synchronous program

Cited by 12 publications

References 8 publications

Time for Reactive System Modeling

Time for Reactive System Modeling

A Novel WCET Semantics of Synchronous Programs

Towards Interactive Timing Analysis for Designing Reactive Systems

Contact Info

Product

Resources

About