[00274617]一种控制器局域网帧传输验证方法
交易价格：
面议
所属行业：
通信
类型：
发明专利
技术成熟度：
正在研发
专利所属地：中国
专利号：CN201310215420.7
交易方式：
技术转让
技术转让
技术入股
联系人：
南京大学
进入空间
所在地：江苏南京市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
本发明给出一种控制器局域网帧传输的验证方法，该方法首先将控制器局域网帧传输过程抽象成一个有穷状态机模型，在此模型基础上加上非负实数时钟约束条件建立时间自动机模型，并通过在可达性和死锁性质上的模型检验，保证了上述模型的正确性；再根据所建的时间自动机模型，设定控制器局域网在帧传输时的系统参数，对其分别进行模拟，获得影响帧传输性能的系统参数；最后根据影响帧传输性能的系统参数，对控制器局域网帧传输过程进行模型检验，将结果反馈给用户。本发明综合运用模拟和模型检验技术，使得对控制器局域网帧传输的验证更全面，提高了控制器局域网帧传输验证效率，有助于改进控制器局域网帧传输方案。
本发明给出一种控制器局域网帧传输的验证方法，该方法首先将控制器局域网帧传输过程抽象成一个有穷状态机模型，在此模型基础上加上非负实数时钟约束条件建立时间自动机模型，并通过在可达性和死锁性质上的模型检验，保证了上述模型的正确性；再根据所建的时间自动机模型，设定控制器局域网在帧传输时的系统参数，对其分别进行模拟，获得影响帧传输性能的系统参数；最后根据影响帧传输性能的系统参数，对控制器局域网帧传输过程进行模型检验，将结果反馈给用户。本发明综合运用模拟和模型检验技术，使得对控制器局域网帧传输的验证更全面，提高了控制器局域网帧传输验证效率，有助于改进控制器局域网帧传输方案。
