CAREER: Software Adaptation and Synthesis Techniques for Internet of Things Systems

职业：物联网系统的软件适配和综合技术

• 批准号: 1750155
• 负责人: Octav Chipara
• 金额: $ 49.93万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2018
• 资助国家: 美国
• 起止时间: 2018-07-01 至 2023-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=1750155&HistoricalAwards=false
• 关键词: CAREER; Software; Adaptation; Synthesis; Techniques

Wearable Internet-of-Things (IoT) devices, such as smart watches, smart glasses, and cloud-enabled hearing aids promise to improve our everyday lives. However, developing such systems is challenging. System developers must account for the differences in users and hardware platforms, and anticipate how a system will respond to the changing operating conditions. For example, a hearing aid may use its onboard processor to augment speech in relatively quiet surroundings but rely on more powerful cloud computing resources to enhance speech as users encounters more noisy environments. Today, developers lack effective programming languages and tools to help them create and improve such IoT systems.This project investigates how adaptive IoT systems may be developed using policy-driven software adaptation and synthesis. Central to our approach is to separate the functionality of a system (encapsulated in software components) from its run-time adaptation (specified as a policy). Developers will be provided with a language to write policies that control when components are executed, their concurrency, and dynamically selects which alternate component implementation should be used. The policy language will be combined with data-driven techniques that integrate simulation, program analysis, and machine learning techniques to configure the parameters of a policy as well as synthesize new policies.The research undertaken as part of this proposal will provide a solid foundation for building adaptive IoT systems. The primary research activities will help reduce the development time and improve the robustness of IoT systems, bringing this technology closer to fruition. The primary educational activities include incorporating new topics on IoT systems into the Operating Systems curriculum and topics on software adaptation and synthesis into the Mobile Computing curriculum. These efforts will create a pipeline of undergraduate and graduate students that are broadly interested in systems research. The publications, educational materials, software artifacts, and results obtained as part of this project will be made publically available at http://cs.uiowa.edu/~ochipara/career for five years following the completion of the project.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.

可穿戴物联网（IoT）设备，如智能手表，智能眼镜和支持云的助听器，有望改善我们的日常生活。然而，开发这样的系统是具有挑战性的。系统开发人员必须考虑用户和硬件平台的差异，并预测系统将如何响应不断变化的操作条件。例如，助听器可以使用其板载处理器在相对安静的环境中增强语音，但当用户遇到更嘈杂的环境时，则依赖于更强大的云计算资源来增强语音。如今，开发人员缺乏有效的编程语言和工具来帮助他们创建和改进此类物联网系统。本项目研究如何使用策略驱动的软件适配和合成来开发自适应物联网系统。 我们的方法的核心是将系统的功能（封装在软件组件中）与其运行时适应（指定为策略）分离。 开发人员将被提供一种语言来编写策略，这些策略控制组件何时执行，它们的并发性，并动态选择应该使用哪个替代组件实现。该策略语言将与数据驱动技术相结合，该技术集成了模拟，程序分析和机器学习技术，以配置策略参数并合成新策略。作为该提案的一部分，开展的研究将为构建自适应物联网系统奠定坚实的基础。主要的研究活动将有助于缩短开发时间，提高物联网系统的健壮性，使这项技术更接近于实现。 主要的教育活动包括将物联网系统的新主题纳入操作系统课程，并将软件适应和综合的主题纳入移动的计算课程。这些努力将创造一个管道的本科生和研究生，广泛感兴趣的系统研究。作为该项目一部分获得的出版物、教育材料、软件工件和结果将在项目完成后的五年内在http://cs.uiowa.edu/~ochipara/career上免费提供。该奖项反映了NSF的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

项目成果

Recorp: Receiver-oriented Policies for Industrial Wireless Networks

Recorp：面向接收器的工业无线网络策略

• DOI: 10.1145/3460618
• 发表时间: 2021
• 期刊: ACM Transactions on Sensor Networks
• 影响因子: 4.1
• 作者: Brummet, Ryan;Hossain, Md Kowsar;Chipara, Octav;Herman, Ted;Stewart, David E.
• 通讯作者: Stewart, David E.

WARP: On-the-fly Program Synthesis for Agile, Real-time, and Reliable Wireless Networks

• DOI: 10.1145/3412382.3458270
• 发表时间: 2021-05
• 期刊: Proceedings of the 20th International Conference on Information Processing in Sensor Networks (co-located with CPS-IoT Week 2021)
• 作者: Ryan Brummet;Md. Kowsar Hossain;Octav Chipara;T. Herman;S. Goddard

From Schedules to Programs — Reimagining Networking Infrastructure for Future Cyber-Physical Systems

• DOI: 10.1145/3491371.3491387
• 发表时间: 2021-12
• 期刊: Proceedings of the 8th International Conference on Networking, Systems and Security
• 作者: Md. Kowsar Hossain;Ryan Brummet;O. Chipara;T. Herman;S. Goddard

Audio-Based Cough Detection in Clinic Waiting Rooms

• DOI: 10.1109/ichi54592.2022.00037
• 发表时间: 2022-06
• 期刊: 2022 IEEE 10th International Conference on Healthcare Informatics (ICHI)
• 作者: Yumna Anwar;S. Mullan;O. Chipara;Alberto Maria Segre;P. Polgreen

Workload Shaping Energy Optimizations with Predictable Performance for Mobile Sensing

工作负载整形能源优化和可预测的移动传感性能

• DOI: 10.1109/iotdi.2018.00026
• 发表时间: 2018
• 期刊: 2018 IEEE/ACM Third International Conference on Internet-of-Things Design and Implementation (IoTDI
• 作者: Lai, Farley;Radi, Marjan;Chipara, Octav;Griswold, William G.
• 通讯作者: Griswold, William G.