SoD: An Electronic Design Automation Approach to Embedded Networked Software

计算机与信息科学与工程局计算机与网络系统司设计科学计划建议编号：0725354 P/I：托德米尔斯坦 PI部门：计算机科学机构：加州-洛杉矶大学奖：$800，000题目："SoD：嵌入式网络软件的电子设计自动化方法"该项目采用电子设计自动化（EDA）领域的设计方法，以提高软件密集型系统的可靠性和灵活性。特别是，该项目开发的方法，语言和工具，用于设计嵌入式网络（EN）系统软件。该项目（总部设在加州大学洛杉矶分校，南加州大学的一个子奖项）的动机是EDA自上而下的设计方法用于硬件;该项目开发的语言和工具，适应EDA方法的设计和实现的软件系统。EN系统（由嵌入在物理世界中的计算资源的分布式集合组成）在科学和社会应用（例如，地震预测，地下水中的污染物跟踪，土壤侵蚀检测，交通监控等）中变得越来越重要。EDA设计方法论是设计软件密集型系统的逻辑基础，因为它阐明了包含多个阶段的设计流程，这些阶段依次降低高级设计，直到产生完全指定的硬件系统。EN系统的开发人员需要描述其设计的全局行为，独立于非功能性约束，使重要的领域知识和物理世界的约束明确，并将这些属性以分阶段的方式纳入开发过程。随着EN系统进入主流，研究实验室以外的软件工程师承担了构建此类系统的挑战，对可靠的软件设计方法和工具的需求也在增长。该项目所采用的方法可以极大地简化这类重要系统的软件设计，从而加快采用速度。项目经理：Anita J. La Salle日期：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