CAREER: A System for Resilient, Mission-Critical Embedded Computation

职业：弹性、关键任务嵌入式计算系统

• 批准号: 1149675
• 负责人: Gabriel Parmer
• 金额: $ 40万
• 依托单位: George Washington University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2012
• 资助国家: 美国
• 起止时间: 2012-02-01 至 2018-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1149675&HistoricalAwards=false
• 关键词: CAREER; System; Resilient; Mission; Critical

This project starts with the assumption that software and hardware faults cannot be entirely prevented, and seeks to discover new mechanisms by which a computing system can recover from faults in its components and resume predictable operation in a timely manner. The focus is on embedded computing systems, such as those that control our transportation and power systems. One novel aspect of this work is that even low-level aspects of the operating system are assumed to be potentially faulty, and designed to recover upon fault. A "Superglue" component connection language and runtime support system provides a unified framework for fault detection, isolation, and recovery. The research includes investigations of mechanisms to track the state required to reconstruct a given part of a system if it should fail, and the policies to reconstruct this state in time that the impact of the recovery process on the physical world can be tolerated.Success of this research will potentially benefit large segments of society. The physical infrastructure upon which many aspects of our life depend is increasingly reliant on software for control. The complexity of the software in these embedded systems, which interact with the physical world, is increasing with the complexity of the tasks performed and features required. With this mounting complexity the probability of faults increases, while our increasing dependency on these systems makes the consequences of failure more severe. Faults in computing systems may manifest as brief interruptions of service -- for example, the flickering of control panels -- or as massive system failures, in the worst case leading to loss of life. Therefore, the resilience and robustness of these computing systems is of critical importance.The PI also will continue and expand his efforts in connecting this research with graduate and undergraduate education, including courses on robotics, and outreach to the Washington DC public schools.

该项目从软件和硬件故障无法完全预防的假设开始，并寻求发现新的机制，通过该机制，计算系统可以从其组件的故障中恢复，并及时恢复可预测的操作。 重点是嵌入式计算系统，例如控制我们的交通和电力系统的系统。 这项工作的一个新颖之处在于，即使是操作系统的低级方面也被假设为潜在的故障，并被设计为在故障时进行恢复。 Superglue组件连接语言和运行时支持系统为故障检测、隔离和恢复提供了统一的框架。 该研究包括调查的机制，以跟踪所需的状态，以重建一个系统的一个给定的部分，如果它应该失败，并及时重建这种状态的政策，恢复过程中的影响对物理世界可以容忍。这项研究的成功将可能造福社会的大部分。我们生活的许多方面所依赖的物理基础设施越来越依赖于软件进行控制。 这些嵌入式系统中的软件与物理世界交互，其复杂性随着所执行任务的复杂性和所需功能的增加而增加。 随着复杂性的增加，故障的可能性也在增加，而我们对这些系统的依赖性越来越大，故障的后果也越来越严重。 计算系统中的故障可能表现为服务的短暂中断-例如，控制面板的闪烁-或者表现为大规模系统故障，在最坏的情况下导致生命损失。因此，这些计算系统的弹性和鲁棒性至关重要。PI还将继续并扩大他的努力，将这项研究与研究生和本科教育联系起来，包括机器人课程，并推广到华盛顿特区公立学校。