CSR: Small: Collaborative Research: Autonomous Failure Detection and Recovery in Networked Embedded Systems

CSR：小型：协作研究：网络嵌入式系统中的自主故障检测和恢复

• 批准号: 1117438
• 负责人: Tian He
• 金额: $ 7.5万
• 依托单位: University of Minnesota-Twin Cities
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2011
• 资助国家: 美国
• 起止时间: 2011-09-01 至 2014-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1117438&HistoricalAwards=false
• 关键词: CSR; Small; Collaborative; Research; Autonomous

Developers of networked embedded systems often find it difficult to diagnose bugs. A key observation is that in such systems, it can be beneficial to exploit domain knowledge about events in the physical world to detect failures. For example, in a sensor network deployment, knowing that the received signal strength of a radio transmission will normally decrease over distance, the application developer can enforce runtime checks to detect faulty nodes based on their relative distances to the source and the orderings of their received signal strength.Based on this intuition, this project addresses the challenge of developing correct, resilient, and reliable networked embedded systems by (i) proposing, developing, and evaluating a methodology of using physical events to detect software bugs, (ii) developing software libraries and APIs to facilitate easy access to physical event constraints by application developers, and (iii) evaluating the effectiveness of the software libraries using real-world applications. The completed framework could significantly reduce the debugging and maintenance costs for complicated networked embedded systems, and improve their reliability. Beyond such direct social and economic benefits, the broader impacts of this work include: (i) improving curriculum with hands-on debugging sessions; (ii) raising interest in technology among high school seniors through a Pre-Collegiate Research Scholars Program; (iii) supporting talented female and under-represented minority PhD students to successfully accomplish their doctoral studies; (iv) disseminating research results through high-quality publications, high-profile tutorials, and open-source sites.

网络嵌入式系统的开发人员常常发现很难诊断错误。一个关键的观察是，在这样的系统中，利用有关物理世界中事件的域知识以检测失败可能是有益的。 For example, in a sensor network deployment, knowing that the received signal strength of a radio transmission will normally decrease over distance, the application developer can enforce runtime checks to detect faulty nodes based on their relative distances to the source and the orderings of their received signal strength.Based on this intuition, this project addresses the challenge of developing correct, resilient, and reliable networked embedded systems by (i) proposing, developing, and evaluating a methodology of使用物理事件来检测软件错误，（ii）开发软件库和API，以促进应用程序开发人员轻松访问物理事件约束，以及（iii）使用现实世界应用程序评估软件库的有效性。完成的框架可以大大降低复杂的网络嵌入式系统的调试和维护成本，并提高其可靠性。 除了这种直接的社会和经济利益之外，这项工作的广泛影响包括：（i）通过动手调试会议改善课程； （ii）通过大学前研究学者计划提高高中生对技术的兴趣； （iii）支持有才华的女性和代表性不足的少数族裔博士生，以成功完成博士学位； （iv）通过高质量出版物，备受瞩目的教程和开源网站来传播研究结果。