Result-Oriented System-Level Modeling for Efficient Design of Embedded Systems NSF CAREER Award #0747523 Principal Investigator: Rainer Dömer

Abstract Activities Findings Publications

Abstract We are surrounded by embedded computing systems, ranging from video-enabled mobile phones over real-time automotive applications to reliable medical devices. Just as the quality of an architectural blue-print determines the quality of the resulting building, the model of an embedded system is the key to its successful implementation. This project moves research and education on embedded system design forward in the area of system-level specification and modeling. While traditional work largely has focused on simulation and synthesis from a given system model, this project addresses the creation and optimization of system models for effective use in existing design processes. The results of this project are directly applicable to established system design flows in industry and fit well into existing and new courses in computer engineering education. This project optimizes the modeling of embedded systems by use of four novel techniques. First, it advances a new model of computation, named ConcurrenC, which refines the generic capabilities of common C-based system-level description languages. Second, the creation of the system model is automated by computer-aided re-coding that derives an executable model directly from reference code. Third, the efficiency of the model is optimized using Result-Oriented Modeling (ROM), which, in contrast to traditional Transaction-Level Modeling (TLM), offers gains in simulation speed of multiple orders of magnitude and highest accuracy at the same time. Fourth, this project investigates TLM of computation, an area where it has not been applied before. Activities W. Chen, S. Sun, B. Zhang, R. Dömer: "System Level Modeling of a H.264 Decoder", Center for Embedded Computer Systems, Technical Report 08-10, August 2008. T. Bohr, R. Dömer: "A Flexible Video Stream Converter", Center for Embedded Computer Systems, Technical Report 08-13, October 2008. B. Zhang, R. Dömer: "An Eclipse-based Software Platform for the Recoding Integrated Development Environment (RIDE)", Center for Embedded Computer Systems, Technical Report 09-06, May 2009. K. P. Kim, R. Dömer: "Design Exploration using Multiple ARM Instruction Set Simulators - A Case Study on a JPEG Encoder", Center for Embedded Computer Systems, Technical Report 09-08, May 2009. Y. Guo, R. Dömer: "A Hybrid Instruction Set Simulator for System Level Design", Center for Embedded Computer Systems, Technical Report 10-06, June 2010. X. Han, W. Chen, R. Dömer: "A Parallel Transaction-Level Model of H.264 Video Decoder", Center for Embedded Computer Systems, Technical Report 11-03, June 2011. C. Chang, R. Dömer: "System Level Modeling of a H.264 Video Encoder", Center for Embedded Computer Systems, Technical Report 11-04, June 2011. Findings The major findings in this project concentrate on (a) 'ConcurrenC' model of computation and (b) 'Recoding' of embedded system models. (a) In the context of 'ConcurrenC', we have created a novel model of computation which features fast simulation algorithms and parallel, multi-core, and distributed simulators and corresponding compilers. Together, these results contribute to significantly faster validation of embedded systems. (b) In the context of 'Recoding', we are designing novel methods and tools for computer-aided modeling and transformation of design models. Early results on video codec applications demonstrate feasibility and promise significant reduction in design specification and modeling time. For more details on our findings, please refer to the reports and publications below. W. Chen, R. Dömer: "ConcurrenC: A Novel Model of Computation for Effective Abstraction of C-based SLDLs", Center for Embedded Computer Systems, Technical Report 09-07, May 2009. R. Dömer: "Efficient Modeling of Embedded Systems using Computer-Aided Re-Coding", Invited Tutorial at IESS'09, Langenargen, Germany, Sep. 10, 2009. W. Chen, R. Dömer: "A Distributed Parallel Simulator for Transaction Level Models with Relaxed Timing", Center for Embedded Computer Systems, Technical Report 11-02, May 2011. Publications W. Chen, R. Dömer: "ConcurrenC: A New Approach towards Effective Abstraction of C-based SLDLs", Proceedings of the International Embedded Systems Symposium, "Analysis, Architectures and Modeling of Embedded Systems" (ed. A. Rettberg, M. Zanella, M. Amann, M. Keckeisen, F. Rammig), Springer, Langenargen, Germany, September 2009. R. Dömer: "Efficient Modeling of Embedded Systems using Computer-Aided Recoding", Proceedings of the International Embedded Systems Symposium, "Analysis, Architectures and Modeling of Embedded Systems" (ed. A. Rettberg, M. Zanella, M. Amann, M. Keckeisen, F. Rammig), Springer, Langenargen, Germany, September 2009. P. Chandraiah, R. Dömer: "Computer-Aided Recoding to Create Structured and Analyzable System Models", ACM Transactions on Embedded Computer Systems, pages 1-29, accepted for publication December 21, 2009. W. Chen, R. Dömer: "A Fast Heuristic Scheduling Algorithm for Periodic ConcurrenC Models", Proceedings of the Asia and South Pacific Design Automation Conference 2010, Taipei, Taiwan, January 2010. R. Dömer: "Computer-Aided Recoding for Multi-Core Systems", Proceedings of the Asia and South Pacific Design Automation Conference 2010, Taipei, Taiwan, January 2010. W. Chen, X. Han, R. Dömer: "ESL Design and Multi-Core Validation using the System-on-Chip Environment", Proceedings of the International High Level Design Validation and Test Workshop 2010, Anaheim, California, June 2010. R. Dömer, W. Chen, X. Han, A. Gerstlauer: "Multi-Core Parallel Simulation of System-Level Description Languages", Proceedings of the Asia and South Pacific Design Automation Conference 2011, Yokohama, Japan, January 2011. W. Chen, X. Han, R. Dömer: "Multicore Simulation of Transaction-Level Models Using the SoC Environment", IEEE Design & Test of Computers, vol. 28, no. 3, pp. 20-31, May-June 2011.

Acknowledgement and Disclaimer:
This material is based upon work supported by the National Science Foundation Grant No. #0747523.
Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.