Abstraction, Reuse, and Retargetability in Embedded System Design

该项目(名为Chinook)旨在为嵌入式系统的开发、设计、实现和验证开发适当的抽象，以增强可重定向能力并缩短设计周期。这些抽象将提供杠杆，以自动综合嵌入式软件中最劳动密集型和最容易出错的元素，这些元素会导致绝大多数错误并阻碍设计空间的探索。该项目是垂直集成的，即支持高级规范、仿真、通信综合、操作系统定制和优化以及调试和验证的一系列工具和方法。具体活动包括：(1)为控制为主的系统开发组合方法，(2)通信和同步代码综合，包括缓冲和协议专门化，以及(3)嵌入式系统设计的调试、验证和可视化工具。

This project (named Chinook) seeks to develop appropriate abstractions for embedded system development, design, implementation, and validation that will enhance retargetability and shorten the design cycle. The abstractions will be provide leverage in automatically synthesizing the most labor intensive and error-prone elements of embedded software that lead to the great majority of errors and hamper design space exploration. The project is vertically integrated, that is, a range of tools and methods to support high-level specification, simulation, communication synthesis, operating system customization and optimization, and debugging and verification. Specific activities include: (1) development of a composition methodology for control-dominated systems, (2) communication and synchronization code synthesis including buffering and protocol specialization, and (3) debugging, verification, and visualization tools for embedded system design.