[发明专利]对时间敏感网络的调度及流量整形机制进行形式化分析方法有效
| 申请号： | 202010080117.0 | 申请日： | 2020-02-04 |
| 公开（公告）号： | CN111614573B | 公开（公告）日： | 2022-05-06 |
| 发明（设计）人： | 赵涌鑫;吕锦;蒲戈光;刘虹 | 申请（专利权）人： | 华东师范大学;上海工业控制安全创新科技有限公司 |
| 主分类号： | H04L47/22 | 分类号： | H04L47/22;H04L41/14 |
| 代理公司： | 上海德禾翰通律师事务所 31319 | 代理人： | 陈艳娟 |
| 地址： | 200241 *** | 国省代码： | 上海;31 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种对时间敏感网络的调度及流量整形机制进行形式化分析的方法，包括：确定TSN调度及流量整形机制的组成部分；根据确定的各组成部分，抽象出简单的调度及流量整形模型；根据抽象模型，确定模型的精化方案；对精化模型进行形式化分析以及时间性能分析。本发明中，通过对TSN的调度和流量整形机制进行形式化建模，不仅可以通过推理验证来保证最终的协议标准是否满足时间敏感性的需求，确保协议标准的正确性和可靠性；而且，对抽象模型的改进代价较低，对于协议标准的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来比较不同调度机制的异同点及优缺点。 | ||
| 搜索关键词： | 时间 敏感 网络 调度 流量 整形 机制 进行 形式化 分析 方法 | ||
【主权项】：
暂无信息
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于华东师范大学;上海工业控制安全创新科技有限公司，未经华东师范大学;上海工业控制安全创新科技有限公司许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/202010080117.0/，转载请声明来源钻瓜专利网。
- 上一篇：多自由度电磁机器
- 下一篇：车辆分配支持装置、介质和控制方法
