安全苛求系统的扩展UML类图模型的故障树生成方法

    公开(公告)号:CN104679510B

    公开(公告)日:2018-04-20

    申请号:CN201510067946.4

    申请日:2015-02-09

    Abstract: 本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括:构造安全苛求系统的UML类图模型,UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系,使用了构造型来扩展模型元素语义;将UML类图模型保存为设定格式的文件,按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析,提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息,基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去,实现了系统设计模型与系统安全模型之间的自动转换,可以有效地克服安全苛求系统的设计型故障。

    安全苛求系统的扩展UML类图模型的故障树生成方法

    公开(公告)号:CN104679510A

    公开(公告)日:2015-06-03

    申请号:CN201510067946.4

    申请日:2015-02-09

    Abstract: 本发明实施例提供了一种安全苛求系统的扩展UML类图模型的故障树生成方法。该方法包括:构造安全苛求系统的UML类图模型,UML类图模型中的各个类包含属性和操作,各个类之间存在一定的关系,使用了构造型来扩展模型元素语义;将UML类图模型保存为设定格式的文件,按照设定的信息提取算法对UML类图模型对应的设定格式的文件进行解析,提取UML类图模型的UML类图模型中的各个类和各个类对应的属性和操作信息,基于设定的故障树生成算法生成所述UML类图模型对应的故障树。本发明实施例成功地将安全分析有关信息嵌入到安全苛求系统的设计模型中去,实现了系统设计模型与系统安全模型之间的自动转换,可以有效地克服安全苛求系统的设计型故障。

    列车运行控制系统
    3.
    发明授权

    公开(公告)号:CN105101094B

    公开(公告)日:2018-10-12

    申请号:CN201510595758.9

    申请日:2015-09-17

    Abstract: 本发明实施例提供了一种列车运行控制系统。该系统包括:列车自动控制系统生成、下达和调整列车运行计划;车载控制器通过列车自主定位系统和轨旁应答器的校正实现高精度列车自主定位;轨旁控制器接收车载控制器发送的操作轨旁设备的命令,并按照命令要求控制相应轨旁设备动作并锁闭到相应的位置;数据通信子系统通过冗余骨干网络与各地面设备进行数据通信,通过无线通信天线实现轨旁控制器信息和车载控制器信息的无线发送和接收。本发明实施例减少了CI和地面ATP设备,增加了轨旁通信单元设备,并通过相邻列车之间以及列车与轨旁控制器之间直接通信的方式进行相互之间的资源协调,从而降低了系统成本并提高了列车追踪效率。

    一种列车自动驾驶控车效果监测系统

    公开(公告)号:CN104787091B

    公开(公告)日:2016-08-03

    申请号:CN201510208638.9

    申请日:2015-04-28

    Abstract: 本发明提供一种列车自动驾驶控车效果监测系统,包括列车自动驾驶控制单元、车辆执行单元和效果监测单元;其中:所述自动驾驶控制单元根据采集的列车状态信息和存储的基准数据输出控制命令;所述车辆执行单元接收和执行所述控制命令输出控制命令反馈信息;所述效果监测单元通过第一监测信息通道和第二监测信息通道同步接收上述信息;所述效果监测单元通过比对自身参数、所述第一监测信息通道的信息或者所述第二监测信息通道的信息中,得出列车的效果监测水平。本发明通过实时监测列车自动驾驶控制单元与车辆执行单元的相关信息,可对控车进行综合分析和判断。

    列车运行控制系统
    5.
    发明公开

    公开(公告)号:CN105101094A

    公开(公告)日:2015-11-25

    申请号:CN201510595758.9

    申请日:2015-09-17

    CPC classification number: H04W4/022 H04W4/027 H04W4/046 H04W8/22 H04W28/0226

    Abstract: 本发明实施例提供了一种列车运行控制系统。该系统包括:列车自动控制系统生成、下达和调整列车运行计划;车载控制器通过列车自主定位系统和轨旁应答器的校正实现高精度列车自主定位;轨旁控制器接收车载控制器发送的操作轨旁设备的命令,并按照命令要求控制相应轨旁设备动作并锁闭到相应的位置;数据通信子系统通过冗余骨干网络与各地面设备进行数据通信,通过无线通信天线实现轨旁控制器信息和车载控制器信息的无线发送和接收。本发明实施例减少了CI和地面ATP设备,增加了WCU设备,并通过相邻列车之间以及列车与WCU之间直接通信的方式进行相互之间的资源协调,从而降低了系统成本并提高了列车追踪效率。

    一种列车自动驾驶控车效果监测系统

    公开(公告)号:CN104787091A

    公开(公告)日:2015-07-22

    申请号:CN201510208638.9

    申请日:2015-04-28

    Abstract: 本发明提供一种列车自动驾驶控车效果监测系统,包括列车自动驾驶控制单元、车辆执行单元和效果监测单元;其中:所述自动驾驶控制单元根据采集的列车状态信息和存储的基准数据输出控制命令;所述车辆执行单元接收和执行所述控制命令输出控制命令反馈信息;所述效果监测单元通过第一监测信息通道和第二监测信息通道同步接收上述信息;所述效果监测单元通过比对自身参数、所述第一监测信息通道的信息或者所述第二监测信息通道的信息中,得出列车的效果监测水平。本发明通过实时监测列车自动驾驶控制单元与车辆执行单元的相关信息,可对控车进行综合分析和判断。

Patent Agency Ranking