为基于火车站的重要计算机设备产生逻辑控制单元的方法和设备

摘要

一种根据其与逻辑单元一起操作的控制程序来为其基于火车站的重要计算机设备产生逻辑控制单元的方法，该基于火车站的重要计算机设备即就是其包括有下述至少一个重要计算机的火车站系统控制单元，该重要计算机将状态切换控制发送到所谓的调度元件并且接收来自所述调度元件的状态反馈和/或诊断信号，根据由调度元件列表的站位图以及一状态表所定义的周围条件，通过一程序而自动产生了所述逻辑单元，所述逻辑单元是其具有组件的电路网络，这些组件根据布尔逻辑功能以及其遵照站位图及状态表的适当结构而进行操作，或者所述逻辑控制单元是这样的一程序，该程序包括由布尔逻辑功能所组成的算法，这些算法象布尔逻辑电路的网络一样进行操作。根据本发明，提供了用于对自动产生的逻辑单元的正确性进行检查的一步骤，该检查步骤包括以下步骤：根据相同站位图以及相同状态表，并行生成了两个逻辑控制单元，每个单元均是由彼此尽可能不同的两个产生程序之一所产生的；对逻辑电路的网络或者两个不同产生程序所提供的网络模拟逻辑程序进行比较以检查结构差异。

主权项

1、一种为基于火车站的重要计算机设备产生逻辑控制单元的方法，该基于火车站的重要计算机设备即就是包括有至少一个重要计算机的火车站系统控制单元，该计算机根据与逻辑控制单元一起操作的控制程序，将状态切换控制发送到所谓的调度元件并且接收来自所述调度元件的状态反馈和/或诊断信号，该调度元件即就是用于执行与特定列车流通有关的操作的设备，其中，所述逻辑控制单元是具有组件的电路网络，这些组件根据布尔逻辑功能进行操作，或者所述逻辑控制单元是包括算法的程序，该算法由布尔逻辑功能组成，这些算法象布尔逻辑电路网络一样进行操作，根据由包括有调度元件列表的站位图以及一状态表所定义的周围条件，通过由计算机所执行的产生程序，以电路网络图或者模拟该网络的逻辑程序的形式，自动产生了所述逻辑控制单元，所述状态表是数据库，该数据库是不同调度元件根据安全铁路交通管理要求而所公认的状态假定规则或者状态切换规则，其特征在于该方法包括用于对自动产生的所述逻辑控制单元的正确性进行检查的步骤，该检查步骤包括以下步骤：根据相同站位图以及相同状态表，并行生成了两个逻辑控制单元，每个逻辑控制单元均是由彼此尽可能不同的两个产生程序之一所产生的；对由两个不同产生程序所提供的逻辑电路网络图或者网络模拟逻辑程序之间进行比较以检查这两者之间的差异。