Scheduling refinement in abstract RTOS models

ABSTRACT

Scheduling decision for real-time embedded software applications has a great impact on system performance and, therefore, is an important issue in RTOS design. Moreover, it is highly desirable to have the system designer able to evaluate and select the right scheduling policy at high abstraction levels, in order to allow faster exploration of the design space. In this paper, we address this problem by introducing an abstract RTOS model, as well as a new approach to refine an unscheduled high-level model to a high-level model with RTOS scheduling. This approach is based on SystemC language and enables the system designer to quickly evaluate different dynamic scheduling policies and make the optimal choice in early design stages. Furthermore, we present a case of study where our model is used to simulate and analyze a telecom system.

REFERENCES

• 1: Adomat, J., Furunäs, J., Lindh, L., and Stärner, J. 1996. Real-time kernel in hardware rtu: A step towards deterministic and high performance real-time systems. In 8th Euromicro Workshop on Real-Time Systems. L'Aquila. 164--168.
• 2: Lukai Cai , Daniel Gajski, Transaction level modeling: an overview, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, October 01-03, 2003, Newport Beach, CA, USA [doi>10.1145/944645.944651]
• 3: Jordi Cortadella , Alex Kondratyev , Luciano Lavagno , Marc Massot , Sandra Moral , Claudio Passerone , Yosinori Watanabe , Alberto Sangiovanni-Vincentelli, Task generation and compile-time scheduling for mixed data-control embedded software, Proceedings of the 37th conference on Design automation, p.489-494, June 05-09, 2000, Los Angeles, California, United States [doi>10.1145/337292.337553]
• 4: Dirk Desmet , D. Verkest , Hugo De Man, Operating system based software generation for systems-on-chip, Proceedings of the 37th conference on Design automation, p.396-401, June 05-09, 2000, Los Angeles, California, United States [doi>10.1145/337292.337509]
• 5: M. Anouar Dziri , Firaz Samet , Flavio Rech Wagner , Wander O. Cesário , Ahmed A. Jerraya, Combining architecture exploration and a path to implementation to build a complete SoC design flow from system specification to RTL, Proceedings of the 2003 conference on Asia South Pacific design automation, January 21-24, 2003, Kitakyushu, Japan [doi>10.1145/1119772.1119816]
• 6: Gauthier, L., Yoo, S., and Jerraya, A. 2001. Automatic generation and targeting of application-specific operating systems and embedded system software. IEEE Transaction on CAD.
• 7: Andreas Gerstlauer , Haobo Yu , Daniel D. Gajski, RTOS Modeling for System Level Design, Proceedings of the conference on Design, Automation and Test in Europe, p.10130, March 03-07, 2003
• 8: Gonzales, M. and Madsen, J. 2000. Abstract rtos modeling for multiprocessor system-on-chip. In International Symposium on SoC.
• 9: Gonzales, M. and Madsen, J. 2001. Abstract rtos modeling in systemc. Tech. rep., Denmark.
• 10: Thorsten Grotker, System Design with SystemC, Kluwer Academic Publishers, Norwell, MA, 2002
• 11: Paul Kohout , Brinda Ganesh , Bruce Jacob, Hardware support for real-time operating systems, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, October 01-03, 2003, Newport Beach, CA, USA [doi>10.1145/944645.944656]
• 12: Abraham Silberschatz , Peter Baer Galvin, Operating System Concepts, John Wiley & Sons, Inc., New York, NY, 2000
• 13: Tomiyama, H., Cao, Y., and Murakami, K. 2001. Modeling fixed-priority preemptive multi-task systems in specc. In SASIMI.
• 14: Shaojie Wang , Sharad Malik, Synthesizing operating system based device drivers in embedded systems, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, October 01-03, 2003, Newport Beach, CA, USA [doi>10.1145/944645.944655]
• 15: Wayne Wolf, Computers as components: principles of embedded computing system design, Morgan Kaufmann Publishers Inc., San Francisco, CA, 2000
• 16: Youngmin Yi , Dohyung Kim , Soonhoi Ha, Virtual synchronization technique with OS modeling for fast and time-accurate cosimulation, Proceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, October 01-03, 2003, Newport Beach, CA, USA [doi>10.1145/944645.944647]

INDEX TERMS

Primary Classification:
  C. Computer Systems Organization
  C.3 SPECIAL-PURPOSE AND APPLICATION-BASED SYSTEMS

Additional Classification:
  B. Hardware
  B.5 REGISTER-TRANSFER-LEVEL IMPLEMENTATION
      B.5.2 Design Aids

General Terms:
Design

Keywords:
RTOS scheduling, Real-time operating systems, transaction level Modeling