电子信息产业发展基金([2006]549)
- 作品数：3 被引量：8H指数：1
- 相关作者：彭磊曾家智毕亚雷吴磊袁海更多>>
- 相关机构：电子科技大学中国科学院更多>>
- 发文基金：电子信息产业发展基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 无线传感器网络的协议再工程与方法研究被引量：1
- 2008年
- 基于协议工程和软件再工程的相关概念,提出一种针对无线传感器网络协议定制行为的规范化工作流程,命名为协议再工程。阐明了协议再工程产生的背景、定义、生命周期和工作流程;同时提出一种将统一建模语言和着色Petri网的U-CPN相集成的方法,用于协议再工程中的形式化描述模型的建立与验证,并对U-CPN和统一建模语言模型的等价性作出了基于网射的证明。最后,通过一个Zigbee相关的实例表明,在U-CPN方法基础上使用协议再工程指导协议修改,在可控性和描述力上具有优势,尤其加强了协议再工程中的形式化分析能力,可以很好地保证协议的修改质量。
- 彭磊袁海曾家智
- 关键词：统一建模语言着色PETRI网无线传感器网络
- 基于着色解释Petri网的网络协议建模及协同仿真方法被引量：7
- 2009年
- 为解决协议工程中协议形式化验证和仿真断裂的问题,结合着色Petri网和解释Petri网,构造出一种可建模复杂离散事件系统的着色解释Petri网。借助观察者模式,依据着色解释Petri网的特点,提出了一种具有通用性的与协议仿真工具协同工作的方法。作为对该方法的示例,采用着色解释Petri网对避免冲突的多路访问协议进行建模。在保证与OPNET仿真模型一致的基础上,通过着色解释Petri网与OPNET的协同仿真,改良了避免冲突的多路访问的功率控制算法。基于着色解释Petri网的协同仿真,第一次紧密连接了Petri网和通用协议仿真工具,对协议工程将起到重要作用。
- 彭磊吴磊毕亚雷曾家智
- 关键词：离散事件系统
- 一种基于CIPN的网络协议建模方法
- 2008年
- 基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作,结合CPN和IPN,提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析,突出了协议的离散事件系统特性。给出了CIPN的定义,并讨论了CIPN的运行机制,证明了CIPN事件可观测性的充要条件。通过一个MACA协议作为示例,完成了从网络协议的一般CPN模型到CIPN模型的等价性转换,并利用CIPN的事件可观测性定理对MACA协议进行了事件观测性分析。
- 彭磊毕亚雷曾家智
- 关键词：网络协议离散事件系统
