Collaborative Research: CSR---EHS: Improving Sensor Network Software Reliability through Language, Tool, and OS Co-Design

合作研究：CSR---EHS：通过语言、工具和操作系统协同设计提高传感器网络软件可靠性

• 批准号: 0615367
• 负责人: John Regehr
• 金额: $ 21万
• 依托单位: University of Utah
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2006
• 资助国家: 美国
• 起止时间: 2006-09-15 至 2009-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0615367&HistoricalAwards=false
• 关键词: Collaborative; Research; CSR; EHS; Improving

Wireless sensor networks enable fine-grained, real-time information collection from the real world. Sensor net software must be reliable because it is long-lived, large scale, and deeply embedded. This research project addresses the challenge of improving the reliability of component-based wireless sensor network software through the parallel co-design of an operating system, its language, and supporting program analysis tools. The project focuses on TinyOS and seeks to solve difficult component composition problems that even expert developers encounter. The long-term vision is to make creating robust applications largely from existing components feasible for non-expert developers. The research is based on three complementary approaches. First, the PIs are developing tool support for giving developers advice about how to meet time constraints. Timing problems are difficult to deal with in TinyOS because they cut across component boundaries in non-intuitive ways. Second, the PIs are adding support for component interface contracts to TinyOS. Contracts verify that the "rules" for using a component are respected, pinpointing errors when developers misunderstand or misuse an interface, avoiding difficult debugging sessions. Finally, based on their experiences with the tradeoffs between static and dynamic timing and contract checking, the PIs are revisiting the basic abstractions and structure of TinyOS, redesigning them to be more easily checkable, and therefore more reliable. The intent is to improve reliability by rendering many classes of bugs impossible by design, rather than relying on heroic analysis and testing techniques

无线传感器网络可从现实世界中获得细粒度的实时信息收集。 传感器网软件必须是可靠的，因为它是长寿，大规模且深层嵌入的。 该研究项目解决了通过操作系统，语言和支持程序分析工具的并行共同设计提高基于组件的无线传感器网络软件的可靠性的挑战。 该项目的重点是Tinyos，并试图解决甚至专家开发人员遇到的困难组成组成问题。 长期的愿景是使创建强大的应用程序在很大程度上是从非专家开发人员可行的现有组件中。 该研究基于三种互补方法。首先，PI正在开发工具支持，以向开发人员提供有关如何满足时间限制的建议。 计时问题很难在Tinyos中处理，因为它们以非直觉的方式跨越组件边界。 其次，PI向TinyOS增加了对组件接口合同的支持。 合同证明使用组件的“规则”是尊重的，当开发人员误解或误用界面时，请指出错误，从而避免难以调试会话。 最后，基于他们在静态和动态时机和合同检查之间取舍的经验，PI正在重新审视Tinyos的基本抽象和结构，重新设计它们以更容易地检查，因此更可靠。 目的是通过设计不可能的许多类别的错误来提高可靠性，而不是依靠英雄分析和测试技术