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

在安全关键型嵌入式系统中，不同关键程度的功能通常在共享硬件平台上得到支持，以实现尺寸、重量和功耗(交换)的减少。例如，在汽车系统中，高度关键的车辆控制功能和不太关键的驾驶员警报功能可能托管在相同的硬件平台上。虽然这样的平台集成对于更有效地利用平台资源可能是必不可少的，但必须注意隔离不太关键的组件的故障，以使更关键的组件不受影响。该项目旨在开发新的工具、技术和方法来获得混合关键系统设计，以确保这种隔离，特别是在使用多核处理器的平台上。该项目中探索的论文是，确保混合关键系统的正确性和资源效率需要在这些系统的建模以及不同的资源分配和调度方法上开发全新的视角。具体目标包括设计用于表示混合临界系统的新模型、用于量化设计此类系统的技术的有效性的新度量、以及用于在支持混合临界系统的集成体系结构上执行资源分配和调度的新方法。这些新的模型、指标和方法为开发新的工具和方法提供了信息，这些新的工具和方法用于派生混合临界系统设计，这些设计通过构建是正确的，并且可以以资源高效的方式实现。与航空电子和汽车行业合作伙伴的持续合作使这些成果能够推动混合临界系统的研究，以满足国家的工业需求。该项目还预计将通过参加北卡罗来纳大学的演示计划(针对K-12学生、大学生和学校教师)以及调查人员在国内和国际论坛上的讲座和研讨会来制作新的开源软件和工具、新的课程内容和公共宣传。

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.