CSR: Small: The Deterministic Memory Approach for Predictable and High Performance Cyber Physical Systems

高性能嵌入式多核平台对于网络物理系统(CP)--尤其是在汽车和航空领域--通过整合降低成本、尺寸、重量和能耗正变得越来越重要。然而，多核平台的时间可预测性差是安全关键型CP的主要障碍。这个项目将通过提出一种新的内存抽象来解决时间可预测性问题，该抽象称为确定性内存，可以实现软件和硬件之间的有效跨层协作。该项目将利用抽象和体系结构扩展，开发资源管理技术和分析方法，以在多核系统中实现可预测和高效的实时计算。该项目将演示拟议的确定性内存抽象如何实现软件和硬件设计的创新。该项目将开发新的时序分析方法，将纳入新的内存概念，这有可能显著缩小多核实时系统理论与实践之间的差距。该项目将通过在不过度提供资源的情况下提高系统的可预测性和确定性，来推进安全关键的CPS领域，例如汽车和航空。研究有望使具有不同关键程度的多个任务能够有效地合并，从而削减成本，并降低系统的大小、重量和功率要求。此外，通过提供更强的隔离和硬件支持，该研究还有可能帮助降低航空业的认证成本。考虑到汽车行业的市场规模和航空行业高昂的认证成本，这项研究承诺的预期改进可能会节省数十亿美元。

High-performance embedded multicore platforms are becoming increasingly important for cyber-physical systems (CPS) - especially in automotive and aviation domains - to reduce cost, size, weight, and energy consumption through consolidation. However, poor time predictability of multicore platforms is a major hurdle for safety-critical CPS. This project will address the time predictability problem by proposing a new memory abstraction, called Deterministic Memory, that enables effective cross-layer collaborations between software and hardware. Leveraging abstraction and architecture extensions, resource management techniques and analysis methodologies will be developed to realize predictable and efficient real-time computing in multicore systems.The project will demonstrate how the proposed Deterministic Memory abstraction enables innovations in software and hardware designs. The project will develop new timing analysis methodologies that will incorporate the new memory concepts, which have the potential to significantly reduce the gap between theory and practice in multicore real-time systems. The project will advance safety-critical CPS domains, such as automotive and aviation, by improving predictability and determinism of the systems without over-provisioning of resources.The research is expected to enable efficient consolidation of multiple tasks with different criticality, and thereby to cut the cost and reduce the size, weight, and power requirements of the system. Moreover, the research has the potential to help reduce certification cost of aviation industry by providing stronger isolation with hardware support. Considering the market size of automotive industry and the high certification cost in aviation industry, the expected improvements promised by the research represent potentially billions of dollars in savings.