CSR: Medium: Resource-Efficient Implementation of Mixed-Criticality Systems

CSR：中：混合关键系统的资源高效实施

• 批准号: 1409175
• 负责人: Sanjoy Baruah
• 金额: $ 113.37万
• 依托单位: University of North Carolina at Chapel Hill
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2014
• 资助国家: 美国
• 起止时间: 2014-10-01 至 2019-03-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1409175&HistoricalAwards=false
• 关键词: CSR; Medium; Resource; Efficient; Implementation

In safety-critical embedded systems, functionalities with different criticalities are often supported upon shared hardware platforms, to enable size, weight, and power (SWaP) reductions. For example, in an automotive system, highly critical vehicle-control functions and less critical driver-alert functions might be hosted on the same hardware platform. While such platform integration may be essential to make more efficient use of platform resources, care must be taken to isolate failures of less-critical components so that more-critical components are not affected. This project is directed at developing new tools, techniques, and methodologies for deriving mixed-criticality system designs that ensure such isolation, particularly on platforms that utilize multicore processors.The thesis explored in this project is that ensuring both correctness and resource-efficiency in mixed-criticality systems requires the development of fundamentally new perspectives on the modeling of these systems, and different approaches to resource allocation and scheduling. Specific goals include devising new models for representing mixed-criticality systems, new metrics for quantifying the effectiveness of techniques for designing such systems, and new methods for performing resource allocation and scheduling upon integrated architectures that support mixed-criticality systems. These new models, metrics, and methods inform the development of new tools and methodologies for deriving mixed-criticality system designs that are both correct by construction and implementable in a resource-efficient manner. Continuing collaborations with partners in the avionics and automotive industries enable these results to push research on mixed-criticality systems forward to address national industrial needs. This project is also expected to produce new open-source software and tools, new course content, and public outreach through participation in UNC's demo program (which is aimed at K-12 students, college students, and school teachers) and lectures and seminars by the investigators at national and international forums.

在安全至关重要的嵌入式系统中，通常在共享硬件平台上支持具有不同关键的功能，以实现尺寸，重量和功率（交换）降低。 例如，在汽车系统中，可能会在同一硬件平台上托管高度关键的车辆控制功能和较不关键的驱动程序功能。 尽管这种平台集成对于更有效地利用平台资源可能是必不可少的，但必须注意隔离较低关键组件的故障，以免受到更关键的组件的影响。该项目旨在开发新工具，技术和方法，用于得出确保这种隔离的混合临界系统设计，尤其是在利用多核心处理器的平台上。该项目中探讨的论文是确保在混合批评性系统中确保对这些系统和不同方法的基本观点以及各种方法和不同方法的新观点，以及资源和不同的方法和不同的方法和不同的方法。 具体目标包括设计用于表示混合批判性系统的新模型，用于量化设计系统技术有效性的新指标以及对支持混合临界系统的集成体系结构进行资源分配和调度的新方法。 这些新模型，指标和方法为开发新工具和方法的开发提供了用于得出混合批判性系统设计的新工具和方法，这些设计既正确构建，又可以以资源有效的方式实施。 与航空电子和汽车行业的合作伙伴继续合作，使这些结果能够推动对混合批判性系统的研究，以满足国家工业需求。 预计该项目还将通过参与UNC的演示计划（针对K-12学生，大学生和学校教师）以及国家和国际论坛的调查人员的讲座和研讨会来生产新的开源软件和工具，新课程内容以及公众宣传。