- 1
- 2
- 3
- 4
- 5
基于时间自动机的物联网服务建模和验证
资料介绍
物联网服务的建模和验证是当前物联网服务提供中的一个重要问题.文中将物联网服务的行为建模为其与相关环境实体的交互,并引入环境实体以刻画物理世界各种物体的属性和行为,从而将物联网服务能力建模为它能够导致的环境实体发生的期望变化.文中以时间自动机为建模工具,分别为将要监测和要控制的物理环境实体以及不同种类的物联网服务独立建模,以表现它们的独立性和自主性.这些时间自动机形成一个网络,刻画完整的物联网服务的通信并发过程,物联网服务的实施过程表现为时间自动机网络上的状态变迁通路.最后,文中提出一组物联网服务要满足的性质,并利用模型检测工具UPPAAL验证物联网服务的正确性.
部分文件列表
| 文件名 | 大小 |
| 基于时间自动机的物联网服务建模和验证.pdf | 1M |
最新上传
- 打赏
- 30日榜单
-
xlhtracy 打赏10.00元 2天前
-
xlhtracy 打赏10.00元 2天前
-
21ic小能手 打赏5.00元 2天前
-
21ic小能手 打赏5.00元 2天前
-
xlhtracy 打赏5.00元 3天前
-
czmhcy 打赏1.00元 3天前
资料：bitboy
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏20.00元 3天前
资料：STM32控制小米电机
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：liqiang9090
-
21ic下载 打赏260.00元 3天前
用户：kk1957135547
-
21ic下载 打赏110.00元 3天前
用户：铁蛋锅
-
21ic下载 打赏130.00元 3天前
用户：xzxbybd
-
21ic下载 打赏70.00元 3天前
用户：jh03551
-
21ic下载 打赏50.00元 3天前
用户：sun2152
-
21ic下载 打赏40.00元 3天前
用户：WK520077778
-
21ic下载 打赏40.00元 3天前
用户：xuzhen1
-
21ic下载 打赏40.00元 3天前
用户：w178191520
-
21ic下载 打赏40.00元 3天前
用户：w993263495
-
21ic下载 打赏30.00元 3天前
用户：w1966891335
-
21ic下载 打赏20.00元 3天前
用户：不觉明了
-
21ic下载 打赏10.00元 3天前
用户：cooldog123pp
-
21ic下载 打赏5.00元 3天前
用户：liming238
-
21ic下载 打赏10.00元 3天前
用户：ax918
-
21ic下载 打赏5.00元 3天前
用户：farsy
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：stm32f4 经典例程
-
sraay 打赏1.00元 3天前
-
21ic小能手 打赏5.00元 3天前
资料：零功耗通信白皮书
-
21ic小能手 打赏5.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：liqiang9090
全部评论(0)