中文摘要：

目前，无线传感器网络（WSN）日益受到学术界与工业界的共同关注。为了使无线传感器网络应用系统长期、自治地正常运行，如何保证软件系统行为的正确性、增强系统的可信性是必须解决的首要问题。受全球气候变暖影响，我国森林火灾已呈现多发态势,对生态环境和人民群众生命财产安全造成严重破坏。因此，本项目以森林火灾监测为应用背景，按照无线传感器网络应用系统的开发流程，重点研究了无线传感器网络应用系统运行时间验证方法、安全路由和定位技术、故障诊断和测量数据验证技术。在理论研究基础上，项目组结合我校在浙江省天目山国家级自然保护区建立的大规模野外实验室系统（"绿野千传"），对理论成果进行检验，形成了完整的系统验证方案。该系统已连续部署3年多时间，为森林生态和森林碳汇研究提供了大量的实验数据，国际传感器网络领域权威、哈佛大学教授Matt Welsh称该系统为"近年最具代表性的传感器网络之一"。项目组累计发表学术论文19篇，其中被SCI收录5篇（含录用1篇），EI收录11篇；参编专著2部，授权国家发明专利1项，申请国家发明专利2项；获得省部级科技奖励2项；培养博士生2名，硕士生5名，项目组成员晋升副教授2名。