CPS: Medium: Embedded Fault Detection for Low-Cost, Safety-Critical Systems

CPS：中：用于低成本、安全关键系统的嵌入式故障检测

• 批准号: 0931931
• 负责人: Gary Balas
• 金额: $ 150万
• 依托单位: University of Minnesota-Twin Cities
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-10-01 至 2014-09-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0931931&HistoricalAwards=false
• 关键词: CPS; Medium; Embedded; Fault; Detection

The objective of this research is to bring high levels of system reliability and integrity to application domains that cannot afford the cost, power, weight, and size associated with physical redundancy. The approach is to develop complementary monitoring algorithms and novel computing architectures that enable the detection of faults. In particular, there is a significant opportunity to reduce the reliance on physical redundancy by combining model-based and data-driven monitoring techniques. Implementing this approach to fault detection would be difficult with existing software and computing architectures. This motivates the development of a general purpose monitoring framework through monitoring-aware compilers coupled with enhancements to multi-core architectures.The intellectual merit of the project is twofold. First, it has the potential to lead to a novel fault detection approach that blends complementary monitoring algorithms. Second, advances in multi-core processors are leveraged to enable implementation of these fault detection approaches. This addresses key themes in cyber-physical systems by investigating the fundamental issue of fault detection for physical systems and by developing a generic processor architecture for monitoring.With respect to broader impact, project offers the potential for positive influences on industrial practice and education. If successful, the design ideas from this project can be incorporated into low-cost multi-core architectures suitable for embedded systems. The potentially transformative performance improvement offered by this framework could also impact current research in run-time verification and on-line monitoring. The research is to be incorporated into the course "Design, Build, Simulate, Test and Fly Small Uninhabited Aerial Vehicles" for senior undergraduate and first-year graduate students.

这项研究的目的是带来高水平的系统可靠性和完整性的应用领域，不能负担的成本，功率，重量和大小与物理冗余。 该方法是开发互补的监测算法和新的计算架构，使故障的检测。 特别是，有一个重要的机会，以减少对物理冗余的依赖，结合基于模型和数据驱动的监测技术。 用现有的软件和计算架构实现这种故障检测方法将是困难的。 这促使开发一个通用的监测框架，通过监测意识的编译器加上增强多核架构。 首先，它有可能导致一种新的故障检测方法，融合互补的监测算法。 其次，利用多核处理器的进步来实现这些故障检测方法。 该项目通过调查物理系统故障检测的基本问题和开发用于监测的通用处理器架构来解决信息物理系统中的关键主题。就更广泛的影响而言，该项目提供了对工业实践和教育产生积极影响的潜力。 如果成功的话，这个项目的设计思想可以被整合到适合嵌入式系统的低成本多核架构中。 该框架提供的潜在的变革性性能改进也可能影响当前的运行时验证和在线监控研究。 该研究将纳入高年级本科生和一年级研究生的课程“设计，建造，模拟，测试和飞行小型无人驾驶飞行器”。