计算机科学 ›› 2019, Vol. 46 ›› Issue (1): 148-154.doi: 10.11896/j.issn.1002-137X.2019.01.023
刘正浩1, 张广泉1,2
LIU Zheng-hao1, ZHANG Guang-quan1,2
摘要: 随着物联网的深入发展和智能传感器的出现,传统软件逐渐暴露出自身性能的不足。为满足设备自治的需求和利用边缘网络的计算资源,分析了物联网软件的特征,提出了物联网软件的分布式知识框架及其具体实现方法。通过识别物联网软件的环境逻辑并定义环境逻辑的演化规则,使环境逻辑可以嵌入底层无线节点。依靠智能传感器监控环境变化、触发软件逻辑,实现软件的正确执行。最后依据现实场景的运行情况及相关指标的分析,来说明所提方法的适用性。
中图分类号:
[1]GERSHENFELD N,COHEN D.Internet 0:Interdevice Internetworking-end-to-end Modulation for Embedded Networks[J].IEEE Circuits and Devices Magazine,2006,22(5):48-55.<br /> [2]WANG J P,CAO Y,SHI Y Z.Analysis of IOT Software Industrial Chain[J].China Soft Science,2011(8):27-32.(in Chinese)<br /> 王建平,曹洋,史一哲.物联网软件产业链研究[J].中国软科学,2011(8):27-32.<br /> [3]GUBBI J,BUYYA R,MARUSIC S,et al.Internet of Things (IoT):A Vision,Architectural Elements,and Future Directions[J].Future Generation Computer Systems,2013,29(7):1645-1660.<br /> [4]刘云浩.物联网导论[M].北京:科学出版社,2010.<br /> FITZGERALD J,GAMBLE C,LARSEN P G,et al.Cyber-Physical Systems Design:Formal Foundations, Methods and Integrated Tool Chains//Proceedings of the Third FME Workshop on Formal Methods in Software Engineering.IEEE,2015:40-46.<br /> LIU C,HUANG R R,ZHANG W,et al.Analyzing Software Requirements for Cyber Physical Systems.Chinese Journal of Computers,2016,39(11):2344-2354.(in Chinese)<br /> 刘春,黄冉冉,张伟,等.信息物理融合系统的软件需求分析.计算机学报,2016,39(11):2344-2354.<br /> ATZORI L,IERA A,MORABITO G,et al.The Social Internet of Things (SIoT)-When Social Networks Meet the Internet of Things:Concept,Architecture and Network Characterization.Computer Networks,2012,56(16):3594-3608.<br /> NITTI M,GIRAU R,ATZORI L.Trustworthiness Management in the Social Internet of Things.IEEE Transactions on Knowledge and Data Engineering,2014,26(5):1253-1266.<br /> [9]WANG R Z,SHI T X,JIAO W P.Collaborative Sensing Mechanism for Intelligent Sensors Based on Tuple Space[J].Journal of Software,2015,26(4):790-801.(in Chinese)<br /> 王睿智,史庭训,焦文品.一种基于元组空间的智能传感器协同感知机制[J].软件学报,2015,26(4):790-801.<br /> [10]CHEN H M,CUI L.Design and Model Checking of Service Oriented Software Architecture for Internet of Things:A Survey [J].Chinese Journal of Computers,2016,39(5):853-871.(in Chinese)<br /> 陈海明,崔莉.面向服务的物联网软件体系结构设计与模型检测[J].计算机学报,2016,39(5):853-871.<br /> [11]XIE K B,CHEN H M,CUI L.PMDA:A Physical Model Driven Software Architecture for Internet of Things[J].Computer Research and Development,2013,50(6):1185-1197.(in Chinese)<br /> 谢开斌,陈海明,崔莉.PMDA:一种物理模型驱动的物联网软件体系结构[J].计算机研究与发展,2013,50(6):1185-1197.<br /> [12]FORTINO G,GUERRIERI A,RUSSO W.Agent-oriented Smart Objects Development[C]//International Conference on Computer Supported Cooperative Work in Design.IEEE,2012:907-912.<br /> [13]DUNKELS A.The uIP Embedded TCP/IP Stack[EB/OL].[2006-06-01].http:www.sics.se.<br /> [14]ZAMBONELLI F.Key Abstractions for IoT-Oriented Software Engineering[J].IEEE Software,2017,34(1):38-45.<br /> [15]TAIVALSAARI A,MIKKONEN T.A Roadmap to the Programmable World:Software Challenges in the IoT Era[J].IEEE Software,2017,34(1):72-80.<br /> [16]GELERNTER D.Generative Communication in Linda[J].ACM Computing Surveys,1985,7(1):80-112.<br /> [17]BENCHI A,LAUNAY P,GUIDEC F.A P2P tuple space implementation for disconnected MANETs[J].Peer-to-Peer Networking and Applications,2015,8(1):87-102.<br /> [18]LI Q S,WANG L,CHU H,et al.Agent-Based Software Adaptive Dynamic Evolution Mechanism[J].Journal of Software,2015,26(4):760-777.(in Chinese)<br /> 李青山,王璐,褚华,等.一种基于智能体技术的软件自适应动态演化机制[J].软件学报,2015,26(4):760-777.<br /> [19]ANSOLA P G,GARCIA A,MORENAS J D L.IoT Visibility Software Architecture to Provide Smart Workforce Allocation[M]//Service Orientation in Holonic and Multi-Agent Manufacturing.Springer International Publishing,2016:223-231. |
[1] | 尚志军 曾鹏 于海斌. 无线传感器网络节点定位问题 计算机科学, 2004, 31(10): 35-38. |
|