PPoSS: Planning: THINGULARITY- Taming the Heterogeneity of IoT Across the System Stack

“物联网”（IoT）描述了这样一种想法，即我们环境中的普通物体（例如建筑物、街道、汽车、冰箱、包裹、衣服、食物，甚至宠物）都配备有能够执行数据收集、分析、通信和自主操作的小型电子设备。 然而，编程实际上需要新的设计原则，新的软件架构和新的安全机制，以便统一和简化物联网的开发。 大量不同的嵌入式设备、计算机、网络和存储介质必须通过它们所支持的软件协同工作。 不幸的是，现有的软件系统需要类似的复杂和异构的技术融合，这使得物联网软件开发非常困难且容易出错。 该规划项目将寻求新的软件抽象、工具链、硬件专业化、编程和部署支持、验证和安全进步以及程序可移植性基础设施的技术支持集成，这些集成将共同驯服当今阻碍物联网创新的异构性、复杂性和规模。通过简化物联网的软件工程和部署，该项目将扩大对创新的参与，并促进开发新的应用程序，通过数字基础设施扩大人类对物理世界的感知和控制。 就像互联网搜索使人们更容易“记住”信息，从本质上增强了人类的记忆力一样，物联网可能具有更大的潜力，通过增强人们对日常生活中遇到的一切的感知和控制来彻底改变社会。 为了促进社会的下一个“数字飞跃”，该项目将开发研究原型，系统设计工件，教育和推广活动，并建立新的多学科合作，指导和通知研究。 为了确保结果对跨学科的开发人员和研究人员立即有用，该项目还将使用来自多个科学领域（例如农业，天文学和物理学）的“真实世界”物联网测试平台和应用程序进行端到端验证，评估和演示研究潜力和影响。最后，它将通过使其所有的数字产品--其设计技术和软件--作为开源免费提供来加速这一影响。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

The "Internet of Things" (IoT) describes the idea that the ordinary objects in our environment (e.g. buildings, streets, cars, refrigerators, packages, clothing, food, even pets) are equipped with small electronics capable of performing data collection, analysis, communication, and autonomous operation. However programming literally everything requires new design principles, new software architectures, and new security mechanisms that make it possible to unify and simplify the development of IoT. The vast array of different embedded devices, computers, networks, and storage media must be made to work together by the software they support. Unfortunately, existing software systems require a similarly complex and heterogeneous amalgamation of technologies, making IoT software development for them very difficult and error prone. This planning project will pursue a technology-enabled integration of new software abstractions, tool chains, hardware specialization, programming and deployment support, verification and security advances, and program portability infrastructure that together tame this heterogeneity, complexity, and scale that today is impeding IoT innovation.By simplifying software engineering and deployment for IoT, this project will broaden participation in innovation and enable development of new applications that extend human perception and control of the physical world through digital infrastructure. In the same way that Internet search has made it easier for people to "remember" information, essentially enhancing human memory, IoT has perhaps greater potential to revolutionize society by enhancing human perception and control over everything people encounter in their day-to-day lives. To facilitate this next "digital quantum leap" for society, this project will develop research prototypes, system design artifacts, and educational and outreach activities, and establish new multidisciplinary collaborations that guide and inform the research. To ensure that the results are immediately useful to developers and researchers across disciplines, the project will also use "real-world" IoT testbeds and applications from a number of scientific domains (e.g. agriculture, astronomy, and physics) for end-to-end validation, evaluation, and demonstration of the research potential and impact. Finally, it will accelerate this impact by making all of its digital artifacts -- its design technologies and its software -- freely available as open source.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.