CSR: Medium: Multicore Real Time Virtual Partitions
CSR: Medium: Multicore Real Time Virtual Partitions
批准号:
1302563
负责人:
Lui Sha
金额:
$104.95万
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2013
资助国家:
美国
项目状态:
已结题
起止时间:
2013-09-01 至 2017-06-30
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Multicore computer chips pose new challenges for hard real-time systems, because of the complex temporal coupling between processing cores' shared last level cache, shared memory driver bandwidth, and shared I/O bandwidth. The project addresses this challenge by 1) integrating resource partition mechanisms and their implementation, 2) optimizing resource allocation algorithms, and 3) developing schedulability analysis technology to create real time virtual partitions (RTVPs) on each core. The goal is for each RTVP to be able to be analyzed as if it were a standalone single core chip, independent of the workloads in other cores and partitions. In a multicore chip, a task's worst case execution time (WCET) depends on the partition's allocated memory driver bandwidth, the last level cache size, and I/O bandwidth. To optimize the resources allocated to a RTVP, one needs to know if the tasks in the RTVP are schedulable with a given resource allocation. To perform schedulability analysis, one needs to know tasks' WCETs. To determine tasks' WCETs, one needs to know the resources allocated to the RTVP. The approach taken by this project to break such circular dependency is to first find an initial pessimistic but feasible solution, then apply an interactive optimization method to find a near optimal solution. Our nation has a large body of certified real time safety and mission critical software developed for single core chips, using certification procedures developed for single core chips. Now those chips are becoming obsolete, and newer chips are being designed with slower clock rates but multiple cores. Without a technology like RTVP, the change of workload in one core could adversely impact the schedulability of tasks in other cores, triggering the recertification of applications in other cores. The time and costs of such recertification is economically unsustainable. This problem is especially critical for the aircraft industry. To help ensure the usability of this project's research outcomes, the project team has collaborative contacts with Freescale Semiconductor whose multicore chips are widely used in avionics, Lockheed Martin who develops multicore chip based avionics for the US Department of Defense, and with Rockwell Collins who cooperates with Boeing and the FAA on the development and certification of multicore chip based civilian avionics, as well as the FAA. Key elements of the research are to be incorporated into the educational program of the host institution.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: CPS: Medium: Physics-Model-Based Neural Networks Redesign for CPS Learning and Control
-
批准号:2311085
-
项目类别:Standard Grant
-
资助金额:$47.0万
-
财政年份:2023
-
负责人:Lui Sha
-
依托单位:
CPS: Medium: Collaborative Research: Virtual Sully: Autopilot with Multilevel Adaptation for Handling Large Uncertainties
-
批准号:1932529
-
项目类别:Standard Grant
-
资助金额:$90.0万
-
财政年份:2019
-
负责人:Lui Sha
-
依托单位:
I-Corps: Computational Pathophysiology-Centric Medical Guidance Systems
-
批准号:1931218
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2019
-
负责人:Lui Sha
-
依托单位:
CSR: Small: Collaborative Research: Real-Time Computing Infrastructure for Integrated CPU-GPU SoC Platforms
-
批准号:1815891
-
项目类别:Standard Grant
-
资助金额:$22.0万
-
财政年份:2018
-
负责人:Lui Sha
-
依托单位:
CPS:TTP Option:Synergy: Collaborative Research: An Executable Distributed Medical Best Practice Guidance (EMBG) System for End-to-End Emergency Care from Rural to Regional Center
-
批准号:1545002
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2015
-
负责人:Lui Sha
-
依托单位:
CPS: Synergy: Integrated Emergency Cyber Physical Human Systems
-
批准号:1329886
-
项目类别:Standard Grant
-
资助金额:$94.79万
-
财政年份:2013
-
负责人:Lui Sha
-
依托单位:
CSR-EHCS(CPS),TM: Architecture for the Safe Composition of Complex Medical Systems
-
批准号:0834709
-
项目类别:Standard Grant
-
资助金额:$95.0万
-
财政年份:2008
-
负责人:Lui Sha
-
依托单位:
CSR EHS: Formal Model Based Health and Medical System Composition
-
批准号:0720482
-
项目类别:Continuing Grant
-
资助金额:$75.0万
-
财政年份:2007
-
负责人:Lui Sha
-
依托单位:
SGER: Stability of Real Time Software Systems
-
批准号:0649885
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Lui Sha
-
依托单位:
Collaborative Research: Systems of Networked Embedded Devices
-
批准号:0549038
-
项目类别:Standard Grant
-
资助金额:$7.5万
-
财政年份:2005
-
负责人:Lui Sha
-
依托单位:
Flexible and Survivable Embedded Systems
-
批准号:0209202
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2002
-
负责人:Lui Sha
-
依托单位:
SGER: Integrating Actor Model with Real-Time Elastic Control Theory
-
批准号:0137090
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2001
-
负责人:Lui Sha
-
依托单位:
海外基金