摘要
在物联网、区域管理和应急救援等领域,对大规模设备协同的需求越来越高.针对大规模设备协同中协同规模大和时序约束严格这两个特点,定义了包含协同任务和协同子任务的大规模设备协同两级任务模型,在此模型基础上利用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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第9期1589-1596,共8页
Journal of Computer Research and Development
基金
国家科技支撑计划基金项目(2006BAK12B11)
软件开发环境国家重点实验室探索性自主研究课题(SKLSDE-2010ZX-06)
关键词
大规模设备协同
协同任务模型
协同机制
时序约束
PI-演算
large-scale device collaboration
collaboration task model
collaboration mechanism
timing constraint~ Pi-calculus