期刊名称：International Journal of Reconfigurable Computing
印刷版ISSN：1687-7195
电子版ISSN：1687-7209
出版年度：2009
卷号：2009
DOI：10.1155/2009/450607
出版社：Hindawi Publishing Corporation
摘要：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.
