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还通过网络分发在该项目过程中开发的工具、设计示例和收集的基准。