[发明专利]列控系统通信协议规范化开发的方法及系统

摘要

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

主权项

一种列控系统通信协议规范化设计的方法，其特征在于，包括以下步骤：S1：根据列控系统的协议需求，制定列控系统协议的案例集合；S2：绘制所述案例集合中的每个案例的顺序序列图；S3：以所述顺序序列图为出发点，建立模型输入输出原语集，划分协议系统模块与进程状态，设计并建立形式化协议模型；S4：对步骤S3中建立的所述形式化协议模型进行语义和语法验证，若通过验证，则执行步骤S5，否则，返回S3重新建立或修改所述形式化协议模型；S5：对通过验证后的所述形式化协议模型进行仿真，并根据仿真结果检查协议模型中是否存在不符合所述顺序序列图中的顺序，若存在，返回步骤S3重新建立或修改所述形式化协议模型，否则，执行步骤S6；S6：对仿真后的所述形式化协议模型进行形式化验证，检查协议的属性、符号覆盖率及所有行为树的行为路径，若通过验证，则执行步骤S7，否则，返回步骤S3重新建立或修改所述形式化协议模型；S7：形成模型库并生成协议模型分析报告。