CAREER: Result-Oriented System-Level Modeling for Efficient Design of Embedded Systems

职业：面向结果的系统级建模，用于嵌入式系统的高效设计

• 批准号: 0747523
• 负责人: Rainer Doemer
• 金额: $ 40万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-07-01 至 2014-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0747523&HistoricalAwards=false
• 关键词: CAREER; Result; Oriented; System; Level

Result-Oriented System-Level Modeling for Efficient Design of Embedded SystemsRainer Doemer, University of California, IrvineWe 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.

面向结果的系统级建模，用于嵌入式系统的高效设计Rainer Doemer，加州大学欧文分校我们被嵌入式计算系统所包围，从支持视频的移动的电话到实时汽车应用，再到可靠的医疗设备。正如建筑蓝图的质量决定了最终建筑的质量一样，嵌入式系统的模型是其成功实施的关键。本项目将嵌入式系统设计的研究和教育推向系统级规范和建模领域。虽然传统的工作主要集中在模拟和合成从一个给定的系统模型，这个项目解决了系统模型的创建和优化，有效地使用在现有的设计过程。本计画之成果可直接应用于工业上已建立之系统设计流程，并可配合电脑工程教育中现有及新设之课程，本计画利用四项新技术，以最佳化嵌入式系统之建模。首先，它提出了一种新的计算模型，名为并发C，它细化了通用的基于C的系统级描述语言的通用功能。第二，系统模型的创建通过计算机辅助重新编码自动化，该计算机辅助重新编码直接从参考代码导出可执行模型。第三，使用面向结果的建模（ROM）优化了模型的效率，与传统的事务级建模（TLM）相比，ROM在仿真速度上同时提供了多个数量级的增益和最高的精度。第四，本项目研究了计算的TLM，这是一个以前没有应用过的领域。