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

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

• 批准号: 1911460
• 负责人: Sanjoy Baruah
• 金额: $ 42.97万
• 依托单位: Washington University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2017
• 资助国家: 美国
• 起止时间: 2017-10-31 至 2021-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1911460&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.

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

项目成果

Realizing the Promise of Artificial Intelligence for Unmanned Aircraft Systems through Behavior Bounded Assurance

通过行为有限保证实现人工智能对无人机系统的承诺

• DOI: 10.1109/dasc43569.2019.9081649
• 发表时间: 2019
• 期刊: 2019 IEEE/AIAA 38th Digital Avionics Systems Conference (DASC
• 作者: Sarathy, Prakash;Baruah, Sanjoy;Cook, Stephen;Wolf, Marilyn
• 通讯作者: Wolf, Marilyn

Algorithms for implementing elastic tasks on multiprocessor platforms: a comparative evaluation

在多处理器平台上实现弹性任务的算法：比较评估

• DOI: 10.1007/s11241-020-09358-9
• 发表时间: 2021
• 期刊: Real-Time Systems
• 影响因子: 1.3
• 作者: Orr, James;Baruah, Sanjoy
• 通讯作者: Baruah, Sanjoy

Feasibility Analysis of Conditional DAG Tasks

条件DAG任务的可行性分析

• DOI: 10.4230/lipics.ecrts.2021.12
• 发表时间: 2021
• 期刊: Proceedings of the EuroMicro Conference on Real-Time Systems (ECRTS 2021
• 作者: Baruah, Baruah;Marchetti-Spaccamela, Alberto
• 通讯作者: Marchetti-Spaccamela, Alberto

Implementing Synchronous Reactive Components upon Multiprocessor Platforms

在多处理器平台上实现同步反应组件

• DOI: 10.1016/j.sysarc.2021.102027
• 发表时间: 2021
• 期刊: Journal of systems architecture
• 影响因子: 4.5
• 作者: Baruah, Sanjoy

A Generalized Parallel Task Model for Recurrent Real-time Processes

• DOI: 10.1145/3322809
• 发表时间: 2012-12
• 期刊: 2012 IEEE 33rd Real-Time Systems Symposium
• 作者: Sanjoy Baruah;V. Bonifaci;A. Marchetti-Spaccamela;L. Stougie;Andreas Wiese