The worst-case execution-time problem—overview of methods and survey of tools
R Wilhelm, J Engblom, A Ermedahl, N Holsti… - ACM Transactions on …, 2008 - dl.acm.org
The determination of upper bounds on execution times, commonly called worst-case
execution times (WCETs), is a necessary step in the development and validation process for …
execution times (WCETs), is a necessary step in the development and validation process for …
Model-based development of dynamically adaptive software
J Zhang, BHC Cheng - Proceedings of the 28th international conference …, 2006 - dl.acm.org
Increasingly, software should dynamically adapt its behavior at run-time in response to
changing conditions in the supporting computing and communication infrastructure, and in …
changing conditions in the supporting computing and communication infrastructure, and in …
Speed: precise and efficient static estimation of program computational complexity
S Gulwani, KK Mehra, T Chilimbi - ACM Sigplan Notices, 2009 - dl.acm.org
This paper describes an inter-procedural technique for computing symbolic bounds on the
number of statements a procedure executes in terms of its scalar inputs and user-defined …
number of statements a procedure executes in terms of its scalar inputs and user-defined …
Memory hierarchies, pipelines, and buses for future architectures in time-critical embedded systems
Embedded hard real-time systems need reliable guarantees for the satisfaction of their
timing constraints. Experience with the use of static timing-analysis methods and the tools …
timing constraints. Experience with the use of static timing-analysis methods and the tools …
Chronos: A timing analyzer for embedded software
Estimating the Worst Case Execution Time (WCET) of real-time embedded software is an
important problem. WCET is defined as the upper bound b on the execution time of a …
important problem. WCET is defined as the upper bound b on the execution time of a …
[图书][B] Real-time systems: scheduling, analysis, and verification
AMK Cheng - 2003 - books.google.com
Test und Validierung spielen bei Echtzeitsystemen eine zentrale Rolle: Auf die
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …
Spezifikationen, die der Hersteller angibt, muss sich der Kunde hier in besonders hohem …
Automatic derivation of loop bounds and infeasible paths for WCET analysis using abstract execution
J Gustafsson, A Ermedahl… - 2006 27th IEEE …, 2006 - ieeexplore.ieee.org
Static worst-case execution time (WCET) analysis is a technique to derive upper bounds for
the execution times of programs. Such bounds are crucial when designing and verifying real …
the execution times of programs. Such bounds are crucial when designing and verifying real …
[PDF][PDF] Time Petri Nets Analysis with TINA.
B Berthomieu, F Vernadat - QEST, 2006 - projects.laas.fr
Beside the usual graphic editing and simulation facilities, the software tool Tina may build a
number of state space abstractions for Petri nets or Time Petri nets, preserving certain …
number of state space abstractions for Petri nets or Time Petri nets, preserving certain …
Worst-case execution-time analysis for embedded real-time systems
In this article we give an overview of the worst-case execution time (WCET) analysis
research performed by the WCET group of the ASTEC Competence Centre at Uppsala …
research performed by the WCET group of the ASTEC Competence Centre at Uppsala …
WISE: Automated test generation for worst-case complexity
Program analysis and automated test generation have primarily been used to find
correctness bugs. We present complexity testing, a novel automated test generation …
correctness bugs. We present complexity testing, a novel automated test generation …