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.