对时间敏感网络的调度及流量整形机制进行形式化分析方法
授权
摘要
本发明公开了一种对时间敏感网络的调度及流量整形机制进行形式化分析的方法，包括：确定TSN调度及流量整形机制的组成部分；根据确定的各组成部分，抽象出简单的调度及流量整形模型；根据抽象模型，确定模型的精化方案；对精化模型进行形式化分析以及时间性能分析。本发明中，通过对TSN的调度和流量整形机制进行形式化建模，不仅可以通过推理验证来保证最终的协议标准是否满足时间敏感性的需求，确保协议标准的正确性和可靠性；而且，对抽象模型的改进代价较低，对于协议标准的开发和后续扩展能够提供一定的帮助，能够节省开发时间和成本；并且提供了可量化的指标来比较不同调度机制的异同点及优缺点。
基本信息
专利标题 ：
对时间敏感网络的调度及流量整形机制进行形式化分析方法
专利标题（英）：
暂无
公开（公告）号 ：
CN111614573A
申请号 ：
CN202010080117.0
公开（公告）日 ：
2020-09-01
申请日 ：
2020-02-04
授权号 ：
CN111614573B
授权日 ：
2022-05-06
发明人 ：
赵涌鑫吕锦蒲戈光刘虹
申请人 ：
华东师范大学;上海工业控制安全创新科技有限公司
申请人地址 ：
上海市闵行区东川路500号
代理机构 ：
上海德禾翰通律师事务所
代理人 ：
陈艳娟
优先权 ：
CN202010080117.0
主分类号 ：
H04L12/815
IPC分类号 ：
H04L12/815 H04L12/24
法律状态
2022-05-06 ：
授权
2020-09-25 ：
实质审查的生效
IPC(主分类) : H04L 12/815
申请日 : 20200204
申请日 : 20200204
2020-09-01 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
