【摘 要】
:
无线传感器网络(wireless sensor networks,WSNs)由于其价格低廉、部署容易、可扩展性强等优点,在环境监测、军事、航空等领域的应用越来越广泛,WSNs路由协议及其实现的正确
论文部分内容阅读
无线传感器网络(wireless sensor networks,WSNs)由于其价格低廉、部署容易、可扩展性强等优点,在环境监测、军事、航空等领域的应用越来越广泛,WSNs路由协议及其实现的正确性也越来越受到人们的重视。一直以来人们主要关注WSNs路由协议的设计、建模与验证,并取得了大量的研究成果。但是,WSNs路由协议实现分析的相关工作却比较少。路由协议设计并实现后需要烧入传感器节点中,即使协议设计没有问题,但由于协议实现代码的不可靠性,并不能保证传感器节点之间的通信按照协议规范进行,因此对WSNs路由协议的实现进行分析是十分必要的。WSNs节点一般都是基于特定传感器的,协议的实现一般为嵌入式程序,而要对节点嵌入式程序进行动态分析比较困难,因此提出用静态分析方法对WSNs路由协议实现进行研究。首先,介绍了WSNs路由协议及其实现特点;然后,提出了WSNs路由协议实现的静态分析框架,又利用该方案分析了企业实际应用的WM2RP路由协议实现代码。具体来说,本文的主要贡献有:(1)分析并归纳了WSNs路由协议及其实现代码的特征,调研比较现有的程序静态分析方法和工具。(2)提出了WSNs路由协议实现的静态分析框架,该框架可以分析通用协议实现代码中的内存错误,也能检查协议实现是否满足协议规范,同时还能分析协议实现代码中的量纲问题。开发了基于KLEE的量纲分析工具,并实现了部分功能。(3)通过对企业实际的WM2RP协议文档及协议实现代码的分析,抽取了WM2RP协议的规范信息,并利用提出的框架对该协议实现进行了分析。分析结果对于WM2RP路由协议的开发者,有很好的参考意义。
其他文献
研究生大多处于人生转轨的关键时期,客观上要求这一群体在制定或修正职业生涯规划时,应当更加谨慎地把握好职业生涯规划的基本要素,即认知要素、策略要素和方法要素。提出了实施
[目的/意义]大数据时代对智库情报分析中情报收集环节带来巨大的挑战。为了提升智库情报收集环节的质量,本研究尝试对智库情报收集环节质量的影响因素进行深入分析。[方法/过
<正>乡镇中小学学生流失现象表现目前,农村初中学生辍学率均在10%以上,有的学校高达20%。笔者所任教的学校地处陕西省榆林子洲县电市镇,属于贫困县中的贫困乡镇。近年来,学生
经济全球化是当今经济发展的趋势,随着中国加入世界贸易组织(WTO)和改革开放的不断深化,全球化将对中国经济产生越来越深远的影响。为了在经济全球化背景下提高国家竞争力,20
埃文基语和俄语在构词法上共性和差异并存,二者均用后缀法、复合法、词干屈折法等构词法,但埃文基语没有前缀构词法。俄语和埃文基语三种相同的构词方法既有相同之处,又有不
随着基金业的规模不断壮大,基金行业发展不断提速,基金受到越来越多的关注。基金成为人们进行投资的一种方式。同时也有一些学者研究基金的绩效,研究基金选股能力和择时能力
技术人员是公司发展的源泉,是公司技术的核心,是公司技术革新、开发产品的关键所在。要提高企业竞争力,必须依靠技术人员的聪明才智和积极肯干的热情。为了改变HB公司技术人
随着手机技术的日益发展.智能手机不仅成为人们日常生活中必不可少的通讯工具,也逐渐发展成能够代替计算机处理很多日常应用的学习,娱乐工具。在智能手机给人们带来众多便利
目的探讨妊娠期高血压疾病(HDIP)孕妇合并高尿酸血症的妊娠结局及血清尿酸监测的临床价值。方法选取妊娠36~42周HDIP孕妇90例作为研究组,按照血尿酸水平分为高尿酸血症组(n=6
随着金融市场的发展,许多传统金融理论无法解释的现象陆续出现。为了解释这些金融异象,国外学者将心理学与金融学相结合产生行为金融学,行为金融学很快得到了发展。投资者心