列控系统通信协议规范化开发的方法及系统

发明专利有效专利

申请号：
CN201010539849.8
IPC分类号：G06F17/50
申请日期：
2010-11-09
申请人：
北京交通大学

基础信息

权利要求

说明书

PDF全文

法律信息

引证文献

著录项信息

专利名称	列控系统通信协议规范化开发的方法及系统
申请号	CN201010539849.8	申请日期	2010-11-09
法律状态	授权	申报国家	中国
公开/公告日	2011-04-06	公开/公告号	CN102004826A
优先权	暂无	优先权号	暂无
主分类号	G06F17/50 ? IPC结构图谱： G 物理 G0 仪器 G06 计算；推算；计数 G06F 电数字数据处理（基于特定计算模型的计算机系统入G06N） G06F17/00 特别适用于特定功能的数字计算设备或数据处理设备或数据处理方法〔6〕 G06F17/50 计算机辅助设计（静态存储的测试电路的设计入G11C 29/54）〔6，8〕	IPC分类号	G;0;6;F;1;7;/;5;0查看分类表>
申请人	北京交通大学	申请人地址	北京市海淀区上园村3号变更专利地址、主体等相关变化，请及时变更，防止失效
权利人	北京交通大学	当前权利人	北京交通大学
发明人	赵波波;唐涛;郜春海
代理机构	北京路浩知识产权代理有限公司	代理人	王莹

摘要

本发明公开了一种列控系统通信协议规范化设计的方法，包括：根据列控系统的协议需求，制定列控系统协议的案例集合；绘制所述案例集合中的每个案例的顺序序列图；建立形式化协议模型；对建立的协议模型依次进行语义和语法验证、仿真和形式化验证，若在验证或仿真阶段出现问题，返回到建立协议模型的步骤进行重建或修改；最后形成模型库并生成协议模型分析报告。本发明还公开了一种列控系统通信协议规范化设计的系统。本发明通过按列控系统的协议需求，对系统协议进行建模，并对该模型进行验证，使得在协议设计过程中避免了二义性，及早地发现协议中的错误。

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有引用任何外部专利数据！

序号	公开(公告)号	公开(公告)日	申请日	专利名称	申请人
该专利没有被任何外部专利所引用！

我浏览过的专利

专利服务由北京酷爱智慧知识产权代理公司提供