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

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

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.