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

在安全关键嵌入式系统中，具有不同关键性的功能通常在共享硬件平台上得到支持，以实现尺寸、重量和功率（SWaP）的减小。 例如，在汽车系统中，高度关键的车辆控制功能和不太关键的驾驶员警报功能可能托管在同一硬件平台上。 虽然这种平台集成对于更有效地利用平台资源可能是必不可少的，但必须注意隔离不太关键的组件的故障，以便不影响更关键的组件。本项目旨在开发新的工具、技术和方法，以获得混合关键性系统设计，确保这种隔离，特别是在使用多核处理器的平台上。本项目中探讨的论文是，确保混合关键性系统的正确性和资源效率，需要开发对这些系统建模的全新视角，以及不同的资源分配和调度方法。 具体目标包括设计用于表示混合关键度系统的新模型、量化设计此类系统的技术有效性的新指标，以及在支持混合关键度系统的集成架构上执行资源分配和调度的新方法。 这些新的模型，指标和方法为开发新的工具和方法提供了信息，这些工具和方法用于导出混合关键度系统设计，这些设计既可以通过构造来实现，又可以以资源有效的方式来实现。 与航空电子和汽车行业合作伙伴的持续合作使这些成果能够推动混合临界系统的研究，以满足国家工业需求。 预计该项目还将产生新的开放源码软件和工具，新的课程内容，并通过参与研究中心的演示计划（针对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.