基于模型和规约的无线传感器网络应用系统验证方法

目前，无线传感器网络（WSN）已成为学术界与工业界共同关注的研究热点。为了使无线传感器网络应用系统长期、自治地正常运行，如何保证软件系统行为的正确性、增强系统的可信性是必须解决的首要问题。受全球气候变暖影响，我国森林火灾已呈现多发态势，重特大森林火灾的威胁常年存在。因此，本项目将以森林火灾监测为应用背景，按照无线传感器网络应用系统的开发流程，研究建立面向多平台的系统验证框架，构造形式验证模型，提出形式化与非形式化相结合、从单元级到系统级的验证方案，研究基于断言检查的运行时间验证方法。在理论研究基础上，本项目将建立基于无线传感器网络的森林火灾监测原型系统，在浙江省天目山国家级自然保护区进行应用示范。项目研究成果将为无线传感器网络应用系统从设计到部署之后的整个流程提供正确性保障，增强应用系统的可信性，推动无线传感器网络在我国森林火灾监测领域的实际应用，具有重大应用价值。