CSR: Small: Collaborative Research: Tool Support for Producing High Assurance and Reliable Software for Wireless Sensor Actor Networks

CSR：小型：协作研究：为无线传感器参与者网络生产高保证和可靠软件的工具支持

• 批准号: 0914913
• 负责人: Sandeep Kulkarni
• 金额: $ 24.76万
• 依托单位: Michigan State University
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-09-01 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0914913&HistoricalAwards=false
• 关键词: CSR; Small; Collaborative; Research; Tool

Wireless sensor networks (WSNs) have been mainly used for data collection purposes, and have not been employed in the context of any consistency- or safety-critical applications. As such software development for WSNs has been done mostly on a best-effort basis. However, as WSNs get more integrated with actuation capabilities, the resulting wireless sensor actor networks (WSANs) require more assurance and survivability guarantees. The goal of this project is to design and implement the tool-support necessary for achieving assurance and reliability of WSANs software.The project will produce a transformation tool that allows programs for WSANs to be written in high-level models traditionally used to describe abstract distributed programs and automatically transforms these abstract programs, while preserving their correctness and reliability properties, into programs deployed in WSANs. The project will also develop a synthesis tool that manipulates the given abstract distributed programs for the automated addition of desired level of fault-tolerance. Finally, the project will design a framework that guards against the corruption of the auxiliary state introduced at the concrete system to ensure that the deployed program is verifiably reliable.This project will simplify the development of high assurance WSANs software, and has the potential to pave the way to high assurance cyber-physical systems development. The project will integrate research and education through coursework development, building and dissemination of systems software, and outreach to the wider community.

无线传感器网络（WSNs）主要用于数据收集的目的，并没有在任何一致性或安全关键的应用程序的上下文中使用。因此，无线传感器网络的软件开发主要是在尽力而为的基础上完成的。然而，随着无线传感器网络越来越多地集成驱动能力，由此产生的无线传感器演员网络（WSAN）需要更多的保证和生存性保证。该项目的目标是设计和实现WSAN软件的保证和可靠性所需的工具支持。该项目将产生一个转换工具，该工具允许WSAN程序以传统上用于描述抽象分布式程序的高级模型编写，并自动将这些抽象程序转换为部署在WSAN中的程序，同时保持其正确性和可靠性。该项目还将开发一个综合工具，操作给定的抽象分布式程序，自动添加所需的容错水平。最后，该项目将设计一个框架，防止在具体系统中引入的辅助状态的腐败，以确保部署的程序是可验证的reliable.This项目将简化高保证WSAN软件的开发，并有可能铺平道路，以高保证网络物理系统的开发。该项目将通过课程开发、系统软件的建设和传播以及向更广泛的社区推广，将研究和教育结合起来。