Abstract RTOS modeling for multiprocessor system-on-chip

In this paper, we present a SystemC-based framework to study the effects of running multi-threaded application software on a multiprocessor platform under the control of one or more abstract real-time operating systems (RTOS's). We propose a modeling framework consisting of basic RTOS service models; scheduling, synchronization, and resource allocation, and a generic task model that is able to model periodic and aperiodic tasks as well as task properties such as varying execution times, offsets, deadlines, and data dependencies. A given multiprocessor system is formed by the composition of RTOS service models and the allocation of tasks (the application software) onto RTOS's. We demonstrate the potential of our approach by simulating and analyzing a small multiprocessor system.

[1]  Andrew S. Cassidy,et al.  Layered, multi-threaded, high-level performance design , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[2]  Hugo De Man,et al.  Operating system based software generation for systems-on-chip , 2000, Proceedings 37th Design Automation Conference.

[3]  Lui Sha,et al.  Priority Inheritance Protocols: An Approach to Real-Time Synchronization , 1990, IEEE Trans. Computers.

[4]  G. Nicolescu,et al.  An XML-based meta-model for the design of multiprocessor embedded systems , 2000, Proceedings VHDL International Users Forum Fall Workshop.

[5]  Joseph Sifakis,et al.  Modeling Real-Time Systems-Challenges and Work Directions , 2001, EMSOFT.

[6]  Petru Eles,et al.  A co-design methodology for energy-efficient multi-mode embedded systems with consideration of mode execution probabilities , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.

[7]  Joseph Sifakis,et al.  Building models of real-time systems from application software , 2003, Proc. IEEE.