Abstract
In this paper, we propose the novel concept of probabilistic design for multimedia embedded systems, which is motivated by the challenge of how to design, but not overdesign, such systems while systematically incorporating performance requirements of multimedia application, uncertainties in execution time, and tolerance for reasonable execution failures. Unlike most present techniques that are based on either worst- or average-case execution times of application tasks, where the former guarantees the completion of each execution, but often leads to overdesigned systems, and the latter fails to provide any completion guarantees, the proposed probabilistic design method takes advantage of unique features mentioned above of multimedia systems to relax the rigid hardware requirements for software implementation and avoid overdesigning the system. In essence, this relaxation expands the design space and we further develop an off-line on-line minimum effort algorithm for quick exploration of the enlarged design space at early design stages. This is the first step toward our goal of bridging the gap between real-time analysis and embedded software implementation for rapid and economic multimedia system design. It is our belief that the proposed method has great potential in reducing system resource while meeting performance requirements. The experimental results confirm this as we achieve significant saving in system's energy consumption to provide a statistical completion ratio guarantee (i.e., the expected number of completions over a large number of iterations is greater than a given value).
- Al-Mouhamed, M. A. 1990. Lower bound on the number of processors and time for scheduling precedence graphs with communication costs. IEEE Trans. on Software Engineering, vol. 16, no. 12. Google Scholar
Digital Library
- Bolot, J. and Vega-Garcia, A. 1996. Control mechanisms for packet audio in the internet. Proceedings of IEEE Infocom. Google Scholar
Digital Library
- Burd, T. D., Pering, T., Stratakos, A., and Brodersen, R. 2000. A dynamic voltage-scaled microprocessor system. IEEE International Solid-State Circuits Conference. 294--295, 466.Google Scholar
- Chatha, K. S. and Vemuri, R. 1998. Performance evaluation tool for rapid prototyping of hardware-software codesigns. 9th International Workshop on Rapid System Prototyping (June). 218--224. Google Scholar
Digital Library
- Chen, C. and Sarrafzadeh, M. 1999. Probably good algorithm for low power consumption with dual supply voltages. IEEE/ACM International Conference on Computer Aided Design. 76--79. Google Scholar
Digital Library
- Dick, R. P., Rhodes, D. L., and Wolf, W. 1998. TGFF: Task graphs for free. In Proceedings of International Workshop Hardware/Software Codesign. 97--101. Google Scholar
Digital Library
- Eikerling, H. J., Hardt, W., Gerlach, J., and Rosenstiel, W. 1996. A methodology for rapid analysis and optimization of embedded systems. International IEEE Symposium and Workshop on ECBS (March). 252--259. Google Scholar
Digital Library
- Ernst, R. 1998. Codesign of embedded systems: Status and trends. IEEE Design & Test of Computers 15, 2, 45--54. Google Scholar
Digital Library
- Henkel, J. and Ernst, R. 1998. High-level estimation techniques for usage in hardware/software co-design. Asia and South Pacific Automation Conference (Feb.). 353--360.Google Scholar
- Hong, I., Kirovski, D., Qu, G., Potkonjak, M., and Srivastava, M. 1998a. Power minimization of variable voltage core-based systems. 35th ACM/IEEE Design Automation Conference. 176--181. Google Scholar
Digital Library
- Hong, I., Potkonjak, M., and Srivastava, M. B. 1998b. On-line scheduling of hard real-time tasks on variable voltage processor. IEEE/ACM International Conference on Computer Aided Design. 653--656. Google Scholar
Digital Library
- Hsieh, H., Balarin, F., Lavagno, L., and Sangiovanni-Vincentelli, A. L. 2000. Efficient methods for embedded system design space exploration. 37th ACM/IEEE Design Automation Conference, (June). 607--612. Google Scholar
Digital Library
- Hu, X., Zhou, T., and Sha, E. H.-M. 2001. Estimating probabilistic timing performance for real-time embedded systems. IEEE Trans. VLSI Systems 9, 6 (Dec.), 833--844. Google Scholar
Digital Library
- Hua, S. and Qu, G. 2003. Approaching the maximum energy saving on embedded systems with multiple voltages. International Conference on Computer-Aided Design (ICCAD'03). 26--29. Google Scholar
Cross Ref
- Ishihara, T. and Yasuura, H. 1998. Voltage scheduling problem for dynamically variable voltage processors. International Symposium on Low Power Electronics and Design. 197--202. Google Scholar
Digital Library
- Johnson, M. C. and Roy, K. 1997. Scheduling and optimal voltage selection for low power multi-voltage dsp datapaths. In Proceedings of 1997 IEEE International Symposium on Circuits and Systems. 2152--2155.Google Scholar
- Kalavade, A. and Moghe, P. 1998. A tool for performance estimation of networked embedded end-systems. Proc. Design Automation Conference (June). 257--262. Google Scholar
Digital Library
- Karam, M. J. and Tobagi, F. A. 2001. Analysis of the delay and jitter of voice traffic over the internet. Infocom.Google Scholar
- Madsen, J., Grode, J., Knudsen, P. V., Petersen, M. E. and Haxthausen, A. E. 1997. LYCOS: The lyngby co-synthesis system. Journal for Design Automation of Embedded Systems 2, 2 (Mar.). 195--235.Google Scholar
- Malik, S., Martonosi, M., and Li, Y. S. 1997. Static timing analysis of embedded software. Design Automation Conference (June). 147--152. Google Scholar
Digital Library
- Marculescu, R., Nandi, A., Lavagno, L., and Sangiovanni-Vincentelli, A. L. 2001. System-level power/performance analysis of portable multimedia systems communicating over wireless channels. IEEE/ACM International Conference on Computer-Aided Design (Nov.). 207--214. Google Scholar
Digital Library
- McCreary, C. L. et al. 1994. A comparison of heuristics for scheduling dags on multiprocessors. In Proceedings of the International parallel Processing Symposium. Google Scholar
Digital Library
- Qu, G. 2001. What is the limit of energy saving by dynamic voltage scaling? IEEE/ACM International Conference on Computer-Aided Design. 560--563. Google Scholar
Digital Library
- Qu, G., Kawabe, N., Usami, K., and Potkonjak, M. 2000. Function-level power estimation methodology for microprocessors. 37th ACM/IEEE Design Automation Conference Proceedings (June). 810--813. Google Scholar
Digital Library
- Quan, G. and Hu, X. 2001. Energy efficient fixed-priority scheduling for real-time systems on variable voltage processors. 38th IEEE/ACM Design Automation Conference. 828--833. Google Scholar
Digital Library
- Raje, S. and Sarrafzadeh, M. 1995. Variable voltage scheduling. International Symposium on Low Power Electronics and Design. 9--14. Google Scholar
Digital Library
- Shin, Y. and Choi, K. 1999. Power conscious fixed priority scheduling for hard real-time systems. 36th ACM/IEEE Design Automation Conference. 134--139. Google Scholar
Digital Library
- Tia, T. S., Deng, Z., Shankar, M., Storch, M., Sun, J., Wu, L.-C., and Liu, J. W.-S. 1995. Probabilistic performance guarantee for real-time tasks with varying computation times. Proc. Real-Time Technology and Applications Symposium. 164--173. Google Scholar
Digital Library
- Wu, M. and Gajski, D. D. 1990. Hypertool: A programming aid for message-passing systems. IEEE Trans. on Parallel and Distributed Systems, vol. 3, no. 1. Google Scholar
Digital Library
- Yang, P., Marchal, P., Wong, C., Himpe, S., Catthoor, F., David, P., Vounckx, J., and Lauwereins, R. 2002. Managing dynamic concurrent tasks in embedded real-time multimedia systems. In Proceedings of the 15th International Symposium on System Synthesis. 112--119. Google Scholar
Digital Library
- Yang, T. and Gerasoulis, A. 1994. DSC: Scheduling parallel tasks on an unbounded number of processors. IEEE Trans. on Parallel and Distributed Systems, vol. 2. 951--967. Google Scholar
Digital Library
- Yuan, W. and Nahrstedt, K. 2003. Energy-efficient soft real-time CPU scheduling for mobile multimedia systems. 19th ACM Symposium on Operating Systems Principles (SOSP'03). 149--163. Google Scholar
Digital Library
- Yuan, W. and Nahrstedt, K. 2004. Practical voltage scaling for mobile multimedia devices. ACM Multimedia. 924--931. Google Scholar
Digital Library
Index Terms
Probabilistic design of multimedia embedded systems
Recommendations
Energy-efficient embedded software implementation on multiprocessor system-on-chip with multiple voltages
This paper develops energy-driven completion ratio guaranteed scheduling techniques for the implementation of embedded software on multiprocessor systems with multiple supply voltages. We leverage application's performance requirements, uncertainties in ...
Sustaining moore's law in embedded computing through probabilistic and approximate design: retrospects and prospects
CASES '09: Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systemsThe central theme of our work is the probabilistic and approximate design of embedded computing systems. This novel approach consists of two distinguishing aspects: (i) the design and implementation of embedded systems, using components which are ...
Design of Real-Time Embedded Music System
SERA '07: Proceedings of the 5th ACIS International Conference on Software Engineering Research, Management & ApplicationsEmbedded music software for music embedded system is designed and analyzed by applying the DARTS (Design Approach for Real-Time Systems) that appropriately deals with concurrent tasking architecture. The existing approaches for the music application ...






Comments