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

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

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.