Table of Contents Author Guidelines Submit a Manuscript
International Journal of Reconfigurable Computing
Volume 2009, Article ID 450607, 22 pages
Research Article

OveRSoC: A Framework for the Exploration of RTOS for RSoC Platforms

1ETIS, CNRS-UMR8051, ENSEA, Université de Cergy-Pontoise, 6 avenue du Ponceau, 95000 Cergy-Pontoise, France
2IETR INSA—UMR 6164 CNRS, CS 14315, 35043 Rennes, France
3CAIRN—IRISA/ENSSAT, 6 rue de kerampont, 22300 Lannion, France

Received 15 March 2009; Revised 19 October 2009; Accepted 20 December 2009

Academic Editor: Lionel Torres

Copyright © 2009 Benoît Miramond et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.


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.