大规模设备协同机制研究  

A Large-scale Device Collaboration Mechanism

作　　者：荣晓慧[1] 陈峰[1] 邓攀[1] 马世龙[1] 

机构地区：[1]软件开发环境国家重点实验室(北京航空航天大学),北京100191

出　　处：《计算机研究与发展》2011年第9期1589-1596,共8页Journal of Computer Research and Development

基　　金：国家科技支撑计划基金项目(2006BAK12B11);软件开发环境国家重点实验室探索性自主研究课题(SKLSDE-2010ZX-06)

摘　　要：在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点,定义了包含协同任务和协同子任务的大规模设备协同两级任务模型,在此模型基础上利用Pi-演算给出了大规模设备协同中两级任务协同机制的描述,并从理论上证明了该机制的正确性.并实现了大规模设备协同原型系统,通过在原型系统上进行模拟实验,验证了该协同机制能够满足设备协同中的大规模性和严格的时序约束.In the field of ＂Internet of things＂, area management and emergency rescue, the requirement of large-scale device collaboration is growing. Aiming at the large-scale and strict timing constraint of the large-scale device collaboration systems, in this paper, a two-level task model for large-scale device collaboration is presented. The task model is made up of collaboration task and device task called collaboration subtask. Based on this task model, a large-scale device collaboration mechanism described with Pi-calculus is given, which consists of task-level collaboration mechanism and subtask-level collaboration mechanism. In the task-level collaboration mechanism, aiming at the exclusivity of device resources, resource reservation is adopted to avoid the device access conflict among collaboration tasks. The subtask-level collaboration mechanism ensures the timing constraints among collaboration tasks and collaboration subtasks. It includes three parts, collaboration mechanism between task and subtask, collaboration mechanism among subtasks and collaboration mechanism based on time. Then the large-scale device collaboration mechanism＇s accuracy is proven theoretically. Finally, a large-scale device collaboration prototype system is designed and implemented. The results of simulation experiments on the prototype system show that the large-scale device collaboration mechanism can satisfy the performance requirements of large-scale and strict timing constraint in the large-scale device collaboration.

关 键 词：大规模设备协同 协同任务模型 协同机制 时序约束 PI-演算 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]