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

摘要

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

主权项

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