- 1
- 2
- 3
- 4
- 5
基于时空I_O混成自动机的物联网服务验证
资料介绍
物联网服务的建模和验证是物联网研究中的重要问题。文中对混成自动机进行了扩展，提出了具有位置驱动特点的时空I/O混成自动机。文中提出了基于时空I/O混成自动机的物联网服务建模与验证框架。在框架中，首先对物联网服务进行了描述，并使用时空I/O混成自动机对物联网服务进行建模。这些时空I/O混成自动机形成一个网络，刻画完整的物联网服务的通信并行过程。文中采用的形式化验证方法为微分动态逻辑(Differential Dynamic Logic, DL)，其操作模型为HP(Hybrid Program)。利用DL可以将所建模型转换为对应的HP。结合得到的HP对验证的物联网服务性质进行规约，最后使用定理证明器KeYmaera验证物联网服务的正确性。
部分文件列表
| 文件名 | 大小 |
| 基于时空I_O混成自动机的物联网服务验证.pdf | 1M |
最新上传
- 打赏
- 30日榜单
-
21ic小能手 打赏15.00元 16小时前
-
21ic小能手 打赏15.00元 16小时前
-
21ic小能手 打赏5.00元 16小时前
-
21ic小能手 打赏10.00元 3天前
-
21ic小能手 打赏5.00元 3天前
-
21ic下载 打赏310.00元 3天前
用户：zhengdai
-
21ic下载 打赏310.00元 3天前
用户：小猫做电路
-
21ic下载 打赏310.00元 3天前
用户：gsy幸运
-
21ic下载 打赏210.00元 3天前
用户：kk1957135547
-
21ic下载 打赏210.00元 3天前
用户：w178191520
-
21ic下载 打赏210.00元 3天前
用户：liqiang9090
-
21ic下载 打赏100.00元 3天前
用户：jh03551
-
21ic下载 打赏110.00元 3天前
用户：1111111ffgg
-
21ic下载 打赏30.00元 3天前
用户：sun2152
-
21ic下载 打赏25.00元 3天前
用户：玉落彼岸
-
21ic下载 打赏20.00元 3天前
用户：xuzhen1
-
21ic下载 打赏15.00元 3天前
用户：WK520077778
-
21ic下载 打赏15.00元 3天前
用户：x15580286248
-
21ic下载 打赏25.00元 3天前
用户：天融之境
-
21ic下载 打赏5.00元 3天前
用户：qminiup
-
21ic下载 打赏5.00元 3天前
用户：xiaomage1991
-
21ic下载 打赏5.00元 3天前
用户：Nara
-
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
全部评论(0)