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

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