UML模型形式化B方法转换的实现

UML是软件开发的标准语言,已经广泛运用于各种领域的软件设计建模之中。但是UML的半形式化表达方式缺乏准确的语义,使其无法在软件设计过程中针对需求的一致性进行分析,因此需要使用一种形式化方法对UML模型进行描述。以高速列车控制系统为例,基于B方法对用例图模型与顺序图模型进行形式化转换,对两种模型中各组成部分从语义角度分别进行了描述,从而完整地刻画了UML模型所描述的系统需求。     

铁路信号安全通信协议中的MAC改进算法

改进铁路信号安全通信协议II(RSSP-II)中的ER层消息验证码(MAC)算法,将高级加密标准作为MAC的核心算法,使用密文分组链接方式对报文加解密,并将其运用到CTCS-3列控系统临时限速服务器测试平台的RSSP-II仿真测试中。结果表明,改进算法能够克服原算法存在的弱密钥、半弱密钥等安全隐患,具有更强的安全性与实时性。