CSR --- EHS: The Design and Self-Organization of Component-based Systems for Dependable and Predictable Embedded Computing Environments

CSR --- EHS：基于组件的系统的设计和自组织，用于可靠和可预测的嵌入式计算环境

• 批准号: 0720464
• 负责人: Richard West
• 金额: --
• 依托单位: Trustees of Boston University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2007
• 资助国家: 美国
• 起止时间: 2007-09-01 至 2009-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0720464&HistoricalAwards=false
• 关键词: CSR; EHS; Design; Self; Organization

This research addresses several key deficiencies of existing systems used in real-time and embedded computing. These deficiencies include: (1) a rigid system structure, leading to inflexibility in the way system services are organized and isolated from each other, (2) a semantic gap between the needs of applications and the services offered by the system, and (3) a lack of support for managing time as a first-class resource. The research addresses these deficiencies by developing a component-based system for safe, predictable and efficient execution of application-specific services on a range of hardware platforms. In terms of safety the research seeks to ensure the dependability of a collection of software components, so that system integrity is not compromised, and the extent to which errant or untrustworthy code may impact the resource usage of other components is limited.The research is developing a system that is flexible in its placement of isolation boundaries around component services. The uses of hardware isolation features (e.g., paging, segmentation, virtualization technologies) on processors such as the x86 and ARM are investigated. Trade-offs in the communication overheads between components are studied, along with mechanisms and policies that dynamically adjust the isolation granularity of component services (hence inter-component communication costs) to ensure predictable service delays. This work is expected to form the basis for ongoing research into the design of systems that ensure a high degree of software dependability, including fault isolation at a minimum, while guaranteeing their timely execution. It is expected this will lay foundations for implementing future systems in a wide range of embedded computing domains, particularly those that encompass cyber-physical systems.

这项研究解决了实时和嵌入式计算中使用的现有系统的几个关键缺陷。这些缺陷包括：（1）僵化的系统结构，导致系统服务的组织方式不灵活且彼此隔离；（2）应用程序的需求与系统提供的服务之间存在语义差距；（3）缺乏对将时间作为一流资源进行管理的支持。 该研究通过开发基于组件的系统来解决这些缺陷，以便在一系列硬件平台上安全、可预测和高效地执行特定于应用程序的服务。在安全性方面，该研究旨在确保软件组件集合的可靠性，从而不损害系统完整性，并且限制错误或不可信代码可能影响其他组件的资源使用的程度。该研究正在开发一种可以灵活地围绕组件服务放置隔离边界的系统。 研究了 x86 和 ARM 等处理器上硬件隔离功能（例如分页、分段、虚拟化技术）的使用。研究了组件之间通信开销的权衡，以及动态调整组件服务的隔离粒度（因此组件间通信成本）以确保可预测的服务延迟的机制和策略。这项工作预计将为正在进行的系统设计研究奠定基础，确保高度的软件可靠性，包括至少故障隔离，同时保证其及时执行。预计这将为在广泛的嵌入式计算领域（特别是那些包含网络物理系统的领域）实施未来系统奠定基础。