- 1
- 2
- 3
- 4
- 5
面向资源的物联网系统形式化建模与验证
资料介绍
物联网系统的实施涉及到感知、传输和应用三层结构,部署之前的测试和验证过程需要比传统软件系统更多的测试和检验成本,同时其质量问题也包含更多属性的权衡.为了在保障质量的前提下,尽量减少物联网系统部署之前的测试和检验成本,提出一种面向资源的物联网系统形式化建模与验证方法.按照应用场景的要求,在对服务进行分类的基础上,提出物联网服务的按需提供框架;基于面向资源的思想,提出面向资源的物联网服务模型;针对特定应用场景,使用进程代数的方法CSP(通信顺序进程)对物联网系统进行建模,并利用PAT模型检测工具,分别对无死锁性、可达性等五种性质的满足性进行了相关验证.实验中对这些性质满足性的验证过程,为物联网服务部署前的测试和验证提供有效支持.
部分文件列表
| 文件名 | 大小 |
| 面向资源的物联网系统形式化建模与验证.pdf | 1M |
最新上传
- 打赏
- 30日榜单
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：2KW超声波电源设计
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：八卦PCB图
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：扫码枪仿真和读取范例
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21下载积分 打赏10.00元 3天前
用户：玉落彼岸
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏260.00元 3天前
用户：kk1957135547
-
21ic下载 打赏210.00元 3天前
用户：w178191520
-
21ic下载 打赏230.00元 3天前
用户：liqiang9090
-
21ic下载 打赏120.00元 3天前
用户：1111111ffgg
-
21ic下载 打赏25.00元 3天前
用户：sun2152
-
21ic下载 打赏30.00元 3天前
用户：WK520077778
-
21ic下载 打赏25.00元 3天前
用户：xzxbybd
-
21ic下载 打赏25.00元 3天前
用户：玉落彼岸
-
21ic下载 打赏15.00元 3天前
用户：xuzhen1
-
21ic下载 打赏20.00元 3天前
用户：yulei2633
-
21ic下载 打赏15.00元 3天前
用户：宸晨
-
21ic下载 打赏10.00元 3天前
用户：suguslly
-
21ic下载 打赏5.00元 3天前
用户：大大财迷
-
21ic下载 打赏5.00元 3天前
用户：丙丁先生
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
我来看看怎 打赏5.00元 3天前
用户：xzxbybd
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏270.00元 3天前
用户：liqiang9090
-
21ic下载 打赏210.00元 3天前
用户：w178191520
-
21ic下载 打赏210.00元 3天前
用户：kk1957135547
-
21ic下载 打赏110.00元 3天前
用户：w1966891335
全部评论(0)