期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于时间自动机的物联网服务建模和验证

原文传递
导出
摘要 近年来,在信息技术和互联网技术的支持下,物联网的应用愈加广泛,无论是电子商务还是通讯行业,其均能够为人们提供方便快捷的服务以满足其生产、生活的各类要求。为了进一步了解物联网服务的原理,本文通过引入时间自动机的概念,利用其对物联网的原子服务和组合服务进行建模,并对模型的验证方法做出全面分析,以期为提高物联网服务质量和效率提供有价值的参考意见。
作者 周骏华 陈友荣
机构地区 杭州中威电子股份有限公司 浙江树人大学
出处 《网络安全技术与应用》 2015年第6期91-91,93,共2页 Network Security Technology & Application
关键词 时间自动机 物联网 服务模型 服务验证
分类号 TP391.44 [自动化与计算机技术—计算机应用技术] TN929.5 [自动化与计算机技术—计算机科学与技术]
  • 相关文献

参考文献3

二级参考文献18

  • 1方敏,张雅顺,李辉.混合系统的形式验证方法[J].系统仿真学报,2006,18(10):2921-2924. 被引量：16
  • 2Lee E A. Cyber physical systems : design challenges [ C]//Proceedings of 11th IEEE International Symposium on Ob-jectOriented Real-Time Distributed Computing (ISORC ),May 5-7 , 2008,Orlando, F L. Washington, D C ; IEEEXplore,2008:363-369. 被引量：1
  • 3Rajkumar R, Insup Lee, Lui Sha, et al. Cyber -physicalsystems : the next computing revolution [C]// Proceedings of47th Design Automation Conference (DAC), June 13-18,2010,Anaheim, C A. New York:ACM, 2010:731-736. 被引量：1
  • 4Lee E A. CPS foundations [ C]//Proceedings of 47th DesignAutomation Conference(DAC),June 13-18,2010, Ana-heim, C A. New York:ACM, 2010:737-742. 被引量：1
  • 5Broy M, Chakraborty S, Ramesh S,et al. Cross-layer anal-ysis, testing and verification of automotive control software[C]//Proceddings of the Ninth ACM International Confer-ence on Embedded Software (EMSOFT), Oct 9-14,2011,Taipei. New York:ACM,2011 :263-272. 被引量：1
  • 6Belta C. Formal methods for dynamical systems [C]//Pro-ceedings of 15th ACM International Conference on HybridSystems:Computation and Control, Beijing. New York:ACM,2012:3-4. 被引量：1
  • 7Byeongdo K, Young-Jik K, Lee R Y. A design and testtechnique for embedded software [C]//Proceedings of ThirdACIS International Confemce on Software Engineering Re-search ,Management and Applications, Aug 11-13, 2005.Washington, D C:IEEE Xplore, 2005: 160-165. 被引量：1
  • 8Derler P, Lee E A, Vincentelli A S. Modeling cyber-physi-cal systems [J]. Proceedings of the IEEE, 2012, 100(1):13-28. 被引量：1
  • 9Broy M, Kruger I H, Pretschner A, et al. Engineering au-tomotive software [J]. Proceedings of the IEEE, 2007, 95(2):356-373. 被引量：1
  • 10Broy M. Automotive software and systems engineering [C]//Proceedings of Third ACM and IEEE International Confer-ence on Formal Methods and Models for Co-Design, July11-14, 2005. Washington, D C:IEEE Xplore, 2005: 143-149. 被引量：1

共引文献8

网络安全技术与应用
2015年 第6期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部