A Framework for the Exploration of RTOS Dedicated to the Management of Hardware Reconfigurable Resources

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.

[1]  Reinhard Männer,et al.  Preemptive multitasking on FPGAs , 2000, Proceedings 2000 IEEE Symposium on Field-Programmable Custom Computing Machines (Cat. No.PR00871).

[2]  Jürgen Becker,et al.  On-demand FPGA run-time system for flexible and dynamical reconfiguration , 2005, Int. J. Embed. Syst..

[3]  François Verdier,et al.  A Modular SystemC RTOS Model for Embedded Services Exploration , 2007 .

[4]  Oliver Diessel,et al.  Opportunities for Operating Systems Research in Recon gurable Computing , 1999 .

[5]  Rudy Lauwereins,et al.  Designing an operating system for a heterogeneous reconfigurable SoC , 2003, Proceedings International Parallel and Distributed Processing Symposium.

[6]  Benoît Miramond,et al.  Using High-Level RTOS Models for HW/SW Embedded Architecture Exploration: Case Study on Mobile Robotic Vision , 2008, EURASIP J. Embed. Syst..

[7]  Majid Sarrafzadeh,et al.  Fast Template Placement for Reconfigurable Computing Systems , 2000, IEEE Des. Test Comput..

[8]  Rudy Lauwereins,et al.  Interconnection Networks Enable Fine-Grain Dynamic Multi-tasking on FPGAs , 2002, FPL.

[9]  Daniel Chillet,et al.  System Level Modelling for Reconfigurable SoCs , 2005 .

[10]  David A. Kearney,et al.  The first real operating system for reconfigurable computers , 2001, Proceedings 6th Australasian Computer Systems Architecture Conference. ACSAC 2001.

[11]  Marco Platzner,et al.  Operating systems for reconfigurable embedded platforms: online scheduling of real-time tasks , 2004, IEEE Transactions on Computers.

[12]  D·范威尼,et al.  Real-time kernel , 2009 .

[13]  Stefan M. Petters,et al.  Operating systems on SoCs: A good idea? , 2004 .