Bibtex de la publication

@InProceedings{ NeCaSaBade2006.1,
author = {Nemer, Fadia and Cassé, Hugues and Sainrat, Pascal and Bahsoun, Jean-Paul and De Michiel, Marianne},
title = "{PapaBench : A Free Real-Time Benchmark}",
booktitle = "{International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/06}",
editor = {Mueller, Frank},
year = {2006},
month = {juillet},
publisher = {Dagstuhl Research Online Publication Server},
address = {},
pages = {(on line)},
language = {anglais},
URL = {},
abstract = {This paper presents PapaBench, a free real-time benchmark and compares it with the existing benchmark suites. It is designed to be valuable for experimental works in WCET computation and may be also useful for scheduling analysis. This benchmark is based on the Paparazzi project that represents a real-time application, developed to be embedded on different Unmanned Aerial Vehicles (UAV). In this paper, we explain the transformation process of Paparazzi applied to obtain the PapaBench. We provide a high level AADL model, which reflects the behavior of each system component and their interactions. As the source project Paparazzi, PapaBench is delivered under the GNU license and is freely available to all researchers. Unlike other usual benchmarks widely used for WCET computation, this one is based on a real and complete real-time embedded application.}