%0 Journal Article
%T OveRSoC: A Framework for the Exploration of RTOS for RSoC Platforms
%A Beno t Miramond
%A Emmanuel Huck
%A Fran ois Verdier
%A Amine Benkhelifa
%A Bertrand Granado
%A Thomas Lefebvre
%A Mehdi A chouch
%A Jean Christophe Prevotet
%A Yaset Oliva
%A Daniel Chillet
%A S¨¦bastien Pillement
%J International Journal of Reconfigurable Computing
%D 2009
%I Hindawi Publishing Corporation
%R 10.1155/2009/450607
%X This paper presents the OveRSoC project. The objective is to develop an exploration and validation methodology of embedded Real Time Operating Systems (RTOSs) for Reconfigurable System-on-Chip-based platforms. Here, we describe the overall methodology and the corresponding design environment. The method is based on abstract and modular SystemC models that allow to explore, simulate, and validate the distribution of OS services on this kind of platform. The experimental results show that our components accurately model the dynamic and deterministic behavior of both application and RTOS.
%U http://www.hindawi.com/journals/ijrc/2009/450607/