OTAWA, Open Tool for Adaptative WCET Analysis
نویسندگان
چکیده
OTAWA is a generic framework for the computation of Worst-Case Execution Time. Delivered under the LGPL licence, it provides a versatile environment with services for static analyses on executables.
منابع مشابه
OTAWA, a Framework for Experimenting WCET Computations
In this article, we present OTAWA, a framework for computing the Worst Case Execution Time of a program. From its design, it provides an extensible and open architecture whose objective is the implementation of existing and future static analyses for WCET computation. Inspired by existing generic tools, it is based on an architecture abstraction layers where hooked annotations store specific an...
متن کاملOTAWA: An Open Toolbox for Adaptive WCET Analysis
The analysis of worst-case execution times has become mandatory in the design of hard real-time systems: it is absolutely necessary to know an upper bound of the execution time of each task to determine a task schedule that insures that deadlines will all be met. The OTAWA toolbox presented in this paper has been designed to host algorithms resulting from research in the domain of WCET analysis...
متن کاملA framework for simulate synchronous reactive programs and measure execution times to aid WCET analysis
Obtaining Worst Case Execution Time (WCET) is essential for systems with timing requirement. This is because the violation of such requirement may lead to catastrophic results in safety critical systems. WCET can be acquired through static or dynamic analyses. With static analysis, it is less obvious to observe the timing behaviors of the analyzed system during its actual execution. While dynam...
متن کاملImproving the WCET computation time by IPET using control flow graph partitioning
Implicit Path Enumeration Technique (IPET) is currently largely used to compute Worst Case Execution Time (WCET) by modeling control flow and architecture using integer linear programming (ILP). As precise architecture effects requires a lot of constraints, the super-linear complexity of the ILP solver makes computation times bigger and bigger. In this paper, we propose to split the control flo...
متن کاملAutomatic WCET Analysis of Real-Time Parallel Applications
Tomorrow’s real-time embedded systems will be built upon multicore architectures. This raises two challenges. First, shared resources should be arbitrated in such a way that the WCET of independent threads running concurrently can be computed: in this paper, we assume that timepredictable multicore architectures are available. The second challenge is to develop software that achieves a high lev...
متن کامل