Configuration-level hardware/software partitioning for real-time embedded systems

ABSTRACT

In this paper, we present an approach to hardware/software partitioning for real-time embedded systems. The abstraction level we have adopted is referred to as the configuration level, where hardware is modeled as resources with no detailed functionality and software is modeled as tasks utilizing the resources. Through configuration-level analysis, cost and performance tradeoffs can be studied early in the design process and a large design space can be explored. Feasibility factor is introduced to measure the possibility of a real-time system being feasible, and is used as both a constraint and an attribute during the optimization process. Optimal partitioning is achieved through the use of an existing computer-aided design tool.

REFERENCES

• 1: W. P Birmingham, J. G. D'Ambrosio, T. Darr, and E. Durfee, "Coordinating Decision Making in Large Organizations," University of Michigan Technical Report, CSE-TR-208-94, April 1994.
• 2: Rolf Ernst , Jorg Henkel , Thomas Benner, Hardware-Software Cosynthesis for Microcontrollers, IEEE Design & Test, v.10 n.4, p.64-75, October 1993 [doi>10.1109/54.245964]
• 3: Rajesh K. Gupta , Giovanni De Micheli, Hardware-Software Cosynthesis for Digital Systems, IEEE Design & Test, v.10 n.3, p.29-41, July 1993 [doi>10.1109/54.232470]
• 4: Manjote S. Haworth , William P. Birmingham, Towards optimal system-level design, Proceedings of the 30th international conference on Design automation, p.434-438, June 14-18, 1993, Dallas, Texas, United States [doi>10.1145/157485.164965]
• 5: X. Hu, J. G. D'Ambrosio, B. T. Murray, and D-L. Tang, "Analysis in hardware/software codesign: an automotive case study," Accepted for publication in IEEE MICRO, August 1994.
• 6: R. L. Keeney and H. Raiffa, Decisions with Multiple Objectives: Preferences and Value Tradeoffs, John Wiley & Sons, New York, 1976.
• 7: S. Kumar, J. H. Aylor, B. W. Johnson, and W. A. Wulf, "Exploring hardware/software abstractions & alternatives for codesign," The 2nd International Workshop on Hardware/Software Codesign, Cambridge, Massachusetts, October 1993.
• 8: J. P. Lehoczky and S. Ramos-Thuel, "An optimal algorithm for scheduling soft-aperiodic tasks in fixed-priority preemptive systems," Proceedings of Read-Time Systems Symposium, December 1992, pp. 110--123.
• 9: J. Y-T Leung and J. Whitehead, "On the complexity of fixed-priority scheduling of periodic, real-time tasks," Performance Evaluation, vol. 2, 1982, pp. 237--250.
• 10: C. L. Liu , James W. Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM (JACM), v.20 n.1, p.46-61, Jan. 1973 [doi>10.1145/321738.321743]
• 11: A. K. Mackworth, "Constraint satisfaction," In S. C. Shapiro, editor, Encyclopedia of Artificial Intelligence, John Wiley & Sons, New York, 1987.
• 12: Donald E. Thomas , Jay K. Adams , Herman Schmit, A Model and Methodology for Hardware-Software Codesign, IEEE Design & Test, v.10 n.3, p.6-15, July 1993 [doi>10.1109/54.232468]
• 13: D. L. Thurston, "A Formal method for subjective design evaluation with multiple attributes," Research in Engineering Design, vol. 3, 1991, pp. 105--122.