Automatic Generation of a Real-Time Operating System for Embedded Systems

ABSTRACT

Embedded systems are typically implemented as a set of communicating components some of which are implemented in hardware and some of which are implemented in software. Usually many software components share a processor. A real-time operating system (RTOS) is used to enable sharing and provide a communication mechanism between components. Commercial RTOSs are available for many popular micro-controllers. Using them provides significant reduction in design time and often leads to better structured and more maintainable systems. However, since they have to be quite general, they are not efficient enough for many applications, either in memory usage or in run times. Thus, it is often the case that RTOSs are hand coded by an expert for a particular application. This approach is obviously slow, expensive and error-prone.In this paper we propose an alternative where a RTOS is automatically generated based on a high-level description of the system. RTOSs created in our approach offer an ease of use comparable to commercial RTOSs, and yet since they are generated for a specific example, they can be optimized based on the same information used to optimize hand-written code. We have implemented our approach within POLIS, a system for HW/SW co-design of embedded system. To evaluate the POLIS-generated RTOS we have developed a prototyping environment which we use to compare POLIS against a commercial operating system.

REFERENCES

• 1: David W. Knapp, Behavioral synthesis: digital system design using the synopsys behavioral compiler, Prentice-Hall, Inc., Upper Saddle River, NJ, 1996
• 2: [2] G. De Micheli and M. Sami. editors, Hardware/Software Co-Design, Kluwer Academic Publishers, Norwell. MA, 1996.
• 3: Jörg Henkel , Thomas Benner , Rolf Ernst , Wei Ye , Nikola Serafimov , Gernot Glawe, COSYMA: a software-oriented approach to hardware/software codesign, Journal of Computer and Software Engineering, v.2 n.3, p.293-314, 1994
• 4: Joerg Henkel , Rolf Ernst, The Interplay of Run-Time Estimation and Granularity in HW/SW Partitioning, Proceedings of the 4th International Workshop on Hardware/Software Co-Design, p.52, March 18-20, 1996
• 5: Rajesh Kumar Gupta , Giovanni De Micheli, Co-Synthesis of Hardware and Software for Digital Embedded Systems, Kluwer Academic Publishers, Norwell, MA, 1995
• 6: Jay K. Adams , Donald E. Thomas, Multiple-process behavioral synthesis for mixed hardware-software systems, Proceedings of the 8th international symposium on System synthesis, p.10-15, September 13-15, 1995, Cannes, France [doi>10.1145/224486.224489]
• 7: [7] D. Verkest, K. Van Rompaey, I. Bolsens & H. De Man, "CoWare-A Design Environment for Heterogeneous Hardware/Software Systems," Design Automation for Embedded Systems, Vol. 1. No. 4, pp. 357-386, October 1996.
• 8: Pai H. Chou , Ross B. Ortega , Gaetano Borriello, The Chinook hardware/software co-synthesis system, Proceedings of the 8th international symposium on System synthesis, p.22-27, September 13-15, 1995, Cannes, France [doi>10.1145/224486.224491]
• 9: [9] C. N. Coelho Jr. and G. De Micheli, "Analysis and Synthesis of Concurrent Digital Circuits Using Control-Flow Expressions," IEEE Transactions on CAD/ICAS, Vol. 15, No. 8, August 1996.
• 10: G. De Micheli , V. Mooney , C. Coelho , T. Sakamoto, Synthesis from mixed specifications, Proceedings of the conference on European design automation, p.114-119, September 1996, Geneva, Switzerland

INDEX TERMS

Keywords:
co-synthesis, Real-Time Operating Systems, scheduling