Concepedia

Timing analysis enhancement for synchronous program

Pascal Raymond, Claire Maïza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asăvoae

Real-Time Systems · 2015 · 12 citations · 17 references

Concepts

ComputingComputer EngineeringComputer ScienceCompilersComputer ArchitectureReal-time SystemsClock SynchronizationData SynchronizationResponse Time AnalysisTiming AnalysisTiming ModelingWorst-case Execution Time AnalysisDynamic Timing AnalysisMicroarchitectural Timing AnalysisSoftware Timing AnalysisStatic Timing AnalysisTiming

References

17

The worst-case execution-time problem—overview of methods and survey of tools

Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl et al. · ACM Transactions on Embedded Computing Systems · 2008 · 1.8K citations

Engineering, Computer Engineering, Computer Science +17

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry, Georges Gonthier · Science of Computer Programming · 1992 · 1.7K citations · Full text

Computing, Computer Engineering, Computer Science +9

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution

Jan Gustafsson, Andreas Ermedahl, Christer Sandberg et al. · 2006 · 188 citations

Computing, Computer Engineering, Computer Science +15

METAMOC: Modular Execution Time Analysis using Model Checking

Andreas Engelbredt Dalsgaard, Mads Chr. Olesen, Martin Toft et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2010 · 68 citations · Full text

Engineering, Computer Engineering, Computer Science +17

Facilitating worst-case execution times analysis for optimized code

Jakob Engblom, Andreas Ermedahl, P. Altenbernd · 2002 · 47 citations

Computing, Computer Engineering, Computer Science +17