SoD: An Electronic Design Automation Approach to Embedded Networked Software

摘要计算机与信息科学与工程理事会（CISE）计算机与网络系统（CNS）设计科学（SoD）项目提案号：0725354 P/I: Todd Millstein PI部门：计算机科学机构：加州大学洛杉矶分校奖励：80万美元标题：“SoD：嵌入式网络软件的电子设计自动化方法本项目采用电子设计自动化（EDA）领域的设计方法来提高软件密集型系统的可靠性和灵活性。特别是，该项目开发了设计嵌入式网络（EN）系统软件的方法、语言和工具。这个项目（基于UCLA， USC的子奖项）是由EDA自上而下的硬件设计方法驱动的；该项目开发语言和工具，使EDA方法适应于软件系统的设计和实现。EN系统（由嵌入在物理世界中的分布式计算资源集合组成）在科学和社会应用（例如，地震预测，地下水污染物跟踪，土壤侵蚀检测，交通监控等）中变得越来越重要。EDA设计方法是设计软件密集型系统的逻辑基础，因为它阐明了包含许多阶段的设计流程，这些阶段依次降低高级设计，直到生产出完全指定的硬件系统。EN系统的开发人员需要独立于非功能约束来描述其设计的全局行为，使来自物理世界的重要领域知识和约束显化，并以分阶段的方式将这些属性合并到开发过程中。随着EN系统进入主流，研究实验室之外的软件工程师承担起构建此类系统的挑战，对可靠的软件设计方法和工具的需求也在增长。这个项目所采用的方法可以极大地简化这类重要系统的软件设计，从而加速采用。项目经理：Anita J. La SalleDate: 2007年6月6日

ABSTRACTDirectorate for Computer and Information Science and Engineering (CISE)Division Computer and Network Systems (CNS)Science of Design (SoD) ProgramProposal Number: 0725354 P/I: Todd Millstein PI Department: Computer Science Institution: University of California - Los AngelesAward: $ 800,000Title: "SoD: An Electronic Design Automation Approach to Embedded Networked Software"This project adapts design approaches from the Electronic Design Automation (EDA) domain to improve the reliability and flexibility of software-intensive systems. In particular, the project develops methodologies, languages, and tools for designing embedded networked (EN) systems software. This project (based in UCLA with a sub-award to USC) is motivated by the EDA top-down design methodologies employed for hardware; the project develops languages and tools that adapt the EDA approach to the design and implementation of software systems. EN systems (which consist of a distributed collection of computing resources embedded in the physical world) are becoming increasingly important in both scientific and social applications (for example, earthquake prediction, contaminant tracking in ground water, soil erosion detection, traffic monitoring, etc.). The EDA design methodology is a logical foundation for designing software intensive systems because it articulates a design flow that contains a number of stages, which successively lower a high-level design until a fully specified hardware system is produced. Developers of EN systems need to describe the global behavior of their designs independent of the nonfunctional constraints, to make important domain knowledge and constraints from the physical world explicit, and to incorporate these properties into the development process in a staged manner. As EN systems move into the mainstream and software engineers outside of research laboratories take on the challenge of building of such systems, the need for sound software design methodologies and tools grows. The approach pursued with this project can greatly simplify the design of software for this important class of systems and thereby accelerate adoption.Program Manager: Anita J. La SalleDate: June 6, 2007