Title | ||
---|---|---|
A Framework for the Exploration of RTOS Dedicated to the Management of Hardware Reconfigurable Resources |
Abstract | ||
---|---|---|
This paper presents the OveRSoC project. The objective is to develop an exploration and validation methodology of embedded real time operating systems 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 behaviour of RTOS while demonstrating flexible properties. |
Year | DOI | Venue |
---|---|---|
2008 | 10.1109/ReConFig.2008.40 | ReConFig |
Keywords | Field | DocType |
deterministic behaviour,corresponding design environment,oversoc project,embedded real time operating,overall methodology,modular systemc model,flexible property,validation methodology,hardware reconfigurable resources,os service,system on chip,chip,computer architecture,embedded systems,system on a chip,hardware,real time operating system,real time systems,rtos | Object-oriented modeling,Computer architecture,System on a chip,Computer science,SystemC,Real-time computing,Real-time operating system,Software,Modular design,Embedded system | Conference |
Citations | PageRank | References |
4 | 0.51 | 8 |
Authors | ||
8 |
Name | Order | Citations | PageRank |
---|---|---|---|
J C Prevotet | 1 | 5 | 0.99 |
A. Benkhelifa | 2 | 4 | 0.51 |
B Granado | 3 | 5 | 0.99 |
E. Huck | 4 | 4 | 0.51 |
B. Miramond | 5 | 4 | 0.51 |
François Verdier | 6 | 129 | 11.01 |
Daniel Chillet | 7 | 193 | 26.12 |
S. Pillement | 8 | 10 | 1.32 |