%0 Conference Proceedings
%T OTAWA: An Open Toolbox for Adaptive WCET Analysis
%+ Groupe de Recherche en Architecture et Compilation pour les systèmes embarqués (IRIT-TRACES)
%+ Université Toulouse III - Paul Sabatier (UT3)
%A Ballabriga, Clément
%A Cassé, Hugues
%A Rochange, Christine
%A Sainrat, Pascal
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)
%C Waidhofen/Ybbs, Austria
%Y Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer
%I Springer
%3 Software Technologies for Embedded and Ubiquitous Systems
%V LNCS-6399
%P 35-46
%8 2010-10-13
%D 2010
%R 10.1007/978-3-642-16256-5_6
%K Real-time
%K Worst-Case Execution Time
%K static analysis
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X 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 so that they can be combined to compute tight WCET estimates. It features an abstraction layer that decouples the analyses from the target hardware and from the instruction set architecture, as well as a set of functionalities that facilitate the implementation of new approaches.
%G English
%2 https://inria.hal.science/hal-01055378/document
%2 https://inria.hal.science/hal-01055378/file/seus2010.pdf
%L hal-01055378
%U https://inria.hal.science/hal-01055378
%~ UNIV-TLSE2
%~ UNIV-TLSE3
%~ CNRS
%~ UT1-CAPITOLE
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-LNCS-6399
%~ IFIP-TC
%~ IFIP-TC10
%~ IFIP-2010
%~ IFIP-SEUS
%~ IFIP-WG10-2
%~ IRIT
%~ IRIT-TRACES
%~ IRIT-ASR
%~ IRIT-UT3
%~ TOULOUSE-INP
%~ UNIV-UT3
%~ UT3-INP
%~ UT3-TOULOUSEINP