积分商城

最新搜索： SX1278 绝缘电阻表 pcie ADP32 STLink V2固件 软件下载
您现在的位置是：首页 > 技术资料 > 面向资源的物联网系统形式化建模与验证
推荐星级：
  • 1
  • 2
  • 3
  • 4
  • 5

面向资源的物联网系统形式化建模与验证

更新时间：2019-12-11 14:20:19 大小：1M 上传用户：xiaohei1810查看TA发布的资源 标签：物联网 下载积分：1分 评价赚积分 （如何评价?） 打赏 收藏 评论(0) 举报

资料介绍

物联网系统的实施涉及到感知、传输和应用三层结构,部署之前的测试和验证过程需要比传统软件系统更多的测试和检验成本,同时其质量问题也包含更多属性的权衡.为了在保障质量的前提下,尽量减少物联网系统部署之前的测试和检验成本,提出一种面向资源的物联网系统形式化建模与验证方法.按照应用场景的要求,在对服务进行分类的基础上,提出物联网服务的按需提供框架;基于面向资源的思想,提出面向资源的物联网服务模型;针对特定应用场景,使用进程代数的方法CSP(通信顺序进程)对物联网系统进行建模,并利用PAT模型检测工具,分别对无死锁性、可达性等五种性质的满足性进行了相关验证.实验中对这些性质满足性的验证过程,为物联网服务部署前的测试和验证提供有效支持.

部分文件列表

文件名 大小
面向资源的物联网系统形式化建模与验证.pdf 1M

【关注B站账户领20积分】

相关下载

全部评论(0)

暂无评论
评论赚积分>>

上传资源 上传优质资源有赏金

热门标签

更多>>

最新上传

  • 打赏
  • 30日榜单

  • 21ic下载 打赏310.00元   3天前

    用户：zhengdai

  • 21ic下载 打赏310.00元   3天前

    用户：liqiang9090

  • 21ic下载 打赏330.00元   3天前

    用户：jh0355

  • 21ic下载 打赏210.00元   3天前

    用户：小猫做电路

  • 21ic下载 打赏240.00元   3天前

    用户：jh03551

  • 21ic下载 打赏210.00元   3天前

    用户：gsy幸运

  • 21ic下载 打赏70.00元   3天前

    用户：w178191520

  • 21ic下载 打赏60.00元   3天前

    用户：sun2152

  • 21ic下载 打赏80.00元   3天前

    用户：江岚

  • 21ic下载 打赏60.00元   3天前

    用户：xuzhen1

  • 21ic下载 打赏20.00元   3天前

    用户：kk1957135547

  • 21ic下载 打赏40.00元   3天前

    用户：潇潇江南

  • 21ic下载 打赏20.00元   3天前

    用户：w993263495

  • 21ic下载 打赏20.00元   3天前

    用户：w1966891335

  • 21ic下载 打赏70.00元   3天前

    用户：有理想666

  • 21ic下载 打赏35.00元   3天前

    用户：xzxbybd

  • 21ic下载 打赏15.00元   3天前

    用户：x15580286248

  • 21ic下载 打赏25.00元   3天前

    用户：铁蛋锅

  • 21ic下载 打赏35.00元   3天前

    用户：mulanhk

热门下载

资料专题

推荐下载

本站上的所有资源均为源于网上收集或者由用户自行上传，仅供学习和研究使用，无任何商业目的，版权归原作如有侵权，请 来信指出，本站将立即改正。

ICP许可证号：京ICP证070360号     21IC电子网 2000- 版权所有

京ICP备11013301号

京公网安备 11010802024343号