Collaborative Research: CSR-EHS: A Hierarchy of Models for Embedded Software

合作研究：CSR-EHS：嵌入式软件模型的层次结构

• 批准号: 0509463
• 负责人: Marilyn Wolf
• 金额: --
• 依托单位: Princeton University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-09-01 至 2008-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0509463&HistoricalAwards=false
• 关键词: Collaborative; Research; CSR; EHS; Hierarchy

Embedded computing systems are everywhere and they control a great deal of importantinfrastructure: communication, medical, utilities, etc. Embedded computing systems must be designed not just to perform a given function but to do it in real time, consume limited amounts of power, etc. Today's tools don't adequately help the programmers of embedded computers to design programs that work properly in all these senses: function, performance, and power consumption. Today, many programmers must simply write a program and run it on the embedded computer or a simulator; this approach takes too much time. As a result, many embedded programs aren't adequately analyzed and tested. This project is developing new methods for embedded system design that use models of both the programs and the computers they run on to create successively more accurate versions of the program. Previous research has developed simple models. The premise of the work is that several levels of modeling are required to design efficient and correct embedded software. In the early stages, less-accurate models are necessary to efficiently explore the design space. As design progresses, more detailed models are required. As part of this research project, the PIs are developing teaching materials to be distributed over the World Wide Web. The materials discuss model-based computing, the characteristics of models, and software synthesis through a hierarchy of models. The PIs also distribute over the Web the tools developed and design examples and benchmarks collected during the course of this project.

嵌入式计算系统无处不在，它们控制着大量重要的基础结构：沟通，医疗，实用性等。嵌入式计算系统不仅必须是为了执行给定的功能而设计的，而且要实时执行功能，还必须实时执行功能，消耗有限的功率等。当今的工具不能充分地帮助嵌入式计算机的程序员来设计嵌入式计算机，以使设计程序正常地在所有这些感觉中正常工作。如今，许多程序员必须简单地编写程序并将其运行在嵌入式计算机或模拟器上；这种方法需要太多时间。 结果，许多嵌入式程序没有进行充分的分析和测试。 该项目正在开发用于嵌入式系统设计的新方法，该方法使用程序及其运行的计算机的模型来创建程序的更准确版本。先前的研究开发了简单的模型。这项工作的前提是设计有效且正确的嵌入式软件需要几个级别的建模。在早期阶段，对于有效地探索设计空间的较不准确的模型是必需的。 随着设计的进行，需要更详细的模型。作为该研究项目的一部分，PI正在开发要在万维网上分发的教材。材料通过模型的层次结构讨论了基于模型的计算，模型的特征和软件综合。 PI还通过网络分发了工具开发的工具，并在此项目过程中收集的示例和基准。