專利名稱：用于檢驗用來命令裝備特別是站場裝備的鐵路邏輯軟件引擎的設備和方法
技術(shù)領域：
本發(fā)明涉及一種用于檢驗邏輯軟件引擎的設備，該邏輯軟件引擎用于命令裝備，特別是站場裝備，該裝備至少包括具有至少一個中央處理單元和至少一個存儲器、用于加載和執(zhí)行程序的計算機邏輯引擎，用于命令裝備，特別是站場裝備，為了其執(zhí)行，被加載或可加載到所述存儲器內(nèi)，該裝備包括多個操作單元，即所謂路旁器具，用于致動和/或檢測和/或測量和/或發(fā)信，設置該單元以接收命令信號并發(fā)送關(guān)于操作條件(operating condition)的控制信號，而且，根據(jù)其裝備的操作協(xié)議，該邏輯軟件引擎讀取操作單元給出的用于致動和/或檢測和/或測量和/或發(fā)信的控制信號，并且，它對所述操作單元的命令信號進行處理。
背景技術(shù)：
在鐵路領域，利用基于布爾算法的命令邏輯引擎，產(chǎn)生站場裝備的命令?？刂坪兔钚盘柵c布爾邏輯處理的狀態(tài)變量單義相關(guān)，該布爾邏輯提供作為所述布爾變量修改的輸出命令信號。根據(jù)所設置的操作單元的特性，每個所述變量可以具有各種狀態(tài)條件，并且操作單元的表示狀態(tài)控制和狀態(tài)轉(zhuǎn)換命令的相關(guān)變量可以在預定范圍內(nèi)變化，就表示控制信號的變量來說，每個所述值表示操作單元的操作條件，而就命令信號來說，所述值表示從預定操作條件到不同預定操作條件的轉(zhuǎn)換命令，或者表示用于保持該操作條件的命令。
傳統(tǒng)上以中繼網(wǎng)的方式實現(xiàn)命令與控制邏輯程序，特別是鐵路裝備的命令與控制邏輯程序。當前，隨著計算機可靠性和穩(wěn)定性越來越高，并且越來越舒服、靈活，命令功能開始從中繼硬件結(jié)構(gòu)朝著利用布爾算法構(gòu)成的命令與控制邏輯程序模擬傳統(tǒng)中繼網(wǎng)行為的軟件命令系統(tǒng)轉(zhuǎn)移。
由于鐵路裝備的復雜性，特別是考慮到鐵路領域安全操作標準非常高，因此用于控制和命令裝備的邏輯甚至更復雜。
為了將由中繼網(wǎng)構(gòu)成的控制與命令硬件邏輯轉(zhuǎn)換為控制與命令布爾引擎形式的程序，從傳統(tǒng)中繼硬件網(wǎng)布局開始，或者從以狀態(tài)變量和狀態(tài)轉(zhuǎn)換變量列表的形式編碼的裝備的操作條件的表即所謂條件表開始，開發(fā)了硬件/軟件智能系統(tǒng)，以自動處理控制與命令布爾程序。
當前，對裝備直接進行驗證，即測試。但首先這是一個嚴重缺點，因為，應用控制及命令邏輯的操作裝備是實際中需要的。這樣產(chǎn)生了嚴重問題，因為由于除了諸如敷設線路的實際結(jié)構(gòu)安裝時間以及操作單元的硬件安裝時間外，還需要執(zhí)行其命令邏輯的長驗證階段，所以最后安裝鐵路裝備持續(xù)很長時間。
為了至少部分地解決該問題，提供了用于驗證命令軟件邏輯的軟件程序，即，用于控制及命令站場裝備的布爾引擎，從關(guān)于系統(tǒng)結(jié)構(gòu)及其工作模式的同一個基本信息開始，利用控制及命令邏輯引擎的至少兩個生成程序，該布爾引擎分別、并行處理同一個命令與控制邏輯引擎。因此，產(chǎn)生兩個命令與控制邏輯引擎，并對它們進行比較，而根據(jù)產(chǎn)生這兩個邏輯引擎的程序的相異性判據(jù)進行驗證，如果根據(jù)兩個生成程序的所述相異性，功能相同，則認為其正確。
從裝備操作的安全性觀點來看，這種驗證或認證模式不完全滿足要求，因總要對已經(jīng)獲得的控制及命令邏輯程序進行裝備上的直接深層驗證。利用產(chǎn)生命令與控制邏輯程序的軟件的相異性判據(jù)的認證或驗證模式缺少與該裝備的接口。
因此，即使對于軟件認證和驗證，這種缺陷也影響制造該操作條件下的裝備的時間以及開發(fā)并建立控制及命令邏輯以及裝備本身的時間。如果不僅考慮到新裝備的安裝，而且考慮到現(xiàn)有裝備的調(diào)整，則這種情況更嚴重。在這種情況下，在現(xiàn)場進行認證和驗證影響在各個方向(anyway)來往的鐵路車輛，而且鐵路車輛繼續(xù)駛?cè)胍呀?jīng)存在的鐵路線。因此，由于對正使用的裝備進行處理的困難以及考慮到除了短期中斷之外不能中斷的交通安全，所以時間更短，而且工作條件更危險。

發(fā)明內(nèi)容
因此，本發(fā)明的目的是提供一種設備，可按如下所述克服當前存在的上述缺陷。
利用上述的設備，本發(fā)明可以實現(xiàn)上述目的，其中根據(jù)本發(fā)明，在計算機存儲器內(nèi)，加載或者可以加載裝備的軟件模擬程序，而且計算機本身可以執(zhí)行該裝備的軟件模擬程序，必須利用控制及命令邏輯程序來控制和命令該模擬程序，而且該模擬程序精確再現(xiàn)裝備結(jié)構(gòu)和設置在所述裝備內(nèi)的操作單元的操作模式。
模擬裝備結(jié)構(gòu)和與其關(guān)聯(lián)的操作單元，例如，通過布爾算法在模擬程序中表示用于檢測是否存在火車的跟蹤電路、道岔致動器、發(fā)信致動器以及其它不同單元，單義地定義與所述算法關(guān)聯(lián)的變量，以表示各操作單元的幾種狀態(tài)或者操作條件的控制信號以及用于轉(zhuǎn)換或保持所述各操作單元的狀態(tài)或操作條件的命令信號。
在第一實施例中，按照與幾個操作單元單義關(guān)聯(lián)的變量列表的形式，顯示在控制及命令邏輯程序檢查下的裝備行為的圖像。在這種情況下，該程序顯示或者可以顯示報告文件，其上列出了幾個操作單元和有關(guān)狀態(tài)或命令變量。
有利的是，即使對于異常的裝備操作單元，利用該模擬程序，用戶也可以設置裝備的啟動操作條件和/或設置情況，以驗證裝備對這些條件的反應。
根據(jù)優(yōu)選實施例，每個裝備操作單元的和/或每個相關(guān)的結(jié)構(gòu)元素可以與操作單元和/或裝備結(jié)構(gòu)元素的虛擬圖像單義地關(guān)聯(lián)，該虛擬圖像是利用加載的、可以加載的和/或者可由根據(jù)本發(fā)明的設備的計算機執(zhí)行的圖形程序產(chǎn)生。該虛擬圖像與用于產(chǎn)生操作單元或者裝備結(jié)構(gòu)元素的邏輯程序單義相關(guān)，用于產(chǎn)生每個操作單元的虛擬圖像的圖形程序產(chǎn)生操作單元的各種圖形外觀條件，它們中的每個分別與和操作單元本身的操作條件有關(guān)的變量和/或者用于轉(zhuǎn)換或者保持操作單元的操作狀態(tài)的命令變量的預定值單義相關(guān)。
根據(jù)本發(fā)明的又一個方面，該控制及命令邏輯程序的操作還可并行或者擇一地按照等效命令硬件邏輯的行為的形式來表現(xiàn)，該等效命令硬件邏輯由中繼網(wǎng)構(gòu)成，提供各中繼的操作模擬程序和中繼網(wǎng)的操作模擬程序以及用于表示與用于模擬各中繼的每個程序單義關(guān)聯(lián)的并與用于圖形顯示中繼網(wǎng)的程序單義關(guān)聯(lián)的各中繼的圖形程序。
此外，在這種情況下，與操作單元的情況相同，利用布爾型邏輯程序模擬每個中繼，利用狀態(tài)變量或者命令變量表示中繼的和/或轉(zhuǎn)換命令的單個狀態(tài)條件，而圖形程序使各中繼圖形外觀與所述狀態(tài)或命令變量所取值單義關(guān)聯(lián)。
利用上述內(nèi)容，根據(jù)實際裝備的真實可靠軟件模型，利用根據(jù)本發(fā)明的設備可以執(zhí)行該系統(tǒng)的控制及命令邏輯程序的驗證和認證，與當前使用的認證和驗證系統(tǒng)相比，明顯具有優(yōu)點。
可以在兩個級別上顯示裝備的功能行為，可按報告文件的形式顯示由程序產(chǎn)生的操作單元的模擬邏輯程序所處理的狀態(tài)變量的值，并且可利用操作單元的操作條件的圖形表示形式來詳細檢查裝備的操作單元，因此其操作模式既是解析的方式又是實際操作條件的直觀方式。
在另外的例子中，可按傳統(tǒng)中繼網(wǎng)方式顯示命令與控制邏輯引擎，可以根據(jù)設置有附加可視檢驗裝置的傳統(tǒng)硬件邏輯來檢驗該引擎操作。然而，還是在這種情況下，可以實際顯示與該操作條件有關(guān)的各中繼的外觀修改，而且可以按類似于對操作單元所述的解析方式顯示狀態(tài)變量和命令變量。應該注意，通過使用傳統(tǒng)中繼網(wǎng)方式的布爾命令與控制邏輯的圖形表示，可以可視地檢驗所述邏輯的內(nèi)部操作，因此更容易識別邏輯本身的錯誤，而不僅是基于發(fā)送到操作單元的錯誤命令來識別。因此，不僅可以顯示控制及命令邏輯引擎的輸出變量和輸入變量的情況，而且可以顯示對所述變量在從輸入到輸出的處理期間進行修改的情況。
此外，通過提供用于設置裝備的特定操作條件或者異常情況的接口，可以參考不同的操作環(huán)境來檢驗裝備的反應。在開始執(zhí)行控制及命令邏輯引擎的循環(huán)時，通過對各種操作單元施加特定狀態(tài)條件，可以人工進行這種設置，通過進行適當編排，還可以提供其中一個或者多個操作單元在異常方式下不工作或者工作的條件。
容易注意到，對于本發(fā)明，可以編程或者配置虛擬操作單元的圖像和/或者狀態(tài)和命令變量列表，對應于該裝備的所要求的或者正確的操作條件或者狀態(tài)條件，連同預定的操作狀況。在這種情況下，通過提供這種名義圖像和虛擬操作單元的狀態(tài)變量和命令變量的這種名義值，不僅可以直接可視地驗證適當?shù)牟僮?，而且可以進行自動驗證，將所要求的并且先前安排的名義圖像和狀態(tài)及命令變量的表或名義列表與在控制及命令邏輯操作時利用鐵路裝備虛擬模型有效處理的圖像和狀態(tài)及命令變量進行比較，如果不相同，則發(fā)送錯誤消息。在自動認證期間，可以利用圖形的方式和解析的方式顯示被設定為錯誤條件的操作單元以及有關(guān)狀態(tài)變量或命令變量/各變量。
這種模式還可以擴展到中繼網(wǎng)的模擬表示，指出未在正確條件下轉(zhuǎn)換的中繼或者各中繼以及有關(guān)狀態(tài)變量或轉(zhuǎn)換命令變量。
作為另一個開發(fā)例子，還可以提供自動裝置，當在由中繼網(wǎng)虛擬模型構(gòu)成的相應命令邏輯電路中的虛擬操作單元或中繼中存在狀態(tài)或命令錯誤時，用戶對手動修改的狀態(tài)變量和命令變量做可能校正，據(jù)此，該自動裝置校正控制與命令邏輯程序。
在這種情況下，對狀態(tài)變量或命令變量的報告文件執(zhí)行字母數(shù)字類型的修改干預，或者對那些對應于所述操作單元的或者所述中繼的狀態(tài)的操作單元或者中繼的外觀進行圖像類型的修改干預，這些修改由校正程序來解釋，該校正程序用于分析為校正錯誤值而手動設置的狀態(tài)變量值或者命令變量值，用于分析控制與命令邏輯程序，以及當出現(xiàn)控制與命令邏輯程序先前產(chǎn)生錯誤的操作條件時，用于修改代碼，以在正確狀態(tài)條件下轉(zhuǎn)換操作單元或者中繼。
還可以存儲虛擬站場裝備的各區(qū)域，以及控制與命令邏輯程序的相關(guān)部分，其具有在各種站場裝備內(nèi)常見的典型裝備結(jié)構(gòu)，在具有同樣站場區(qū)域的新站場裝備內(nèi)加載并重用布爾模擬程序和圖形顯示程序以及控制與命令邏輯程序的各部分。
根據(jù)用來產(chǎn)生控制及命令邏輯程序的程序的相異性，根據(jù)本發(fā)明的設備的硬件/軟件結(jié)構(gòu)甚至可以擴展到對驗證與認證系統(tǒng)例如所謂布爾算法檢驗器進行驗證和認證。
可以提供幾種可能性。這些可能性中的第一種可能性是提供附加程序，該附加程序用于產(chǎn)生該設備驗證的控制與命令邏輯程序?qū)ο?，在驗證期間，其根據(jù)與用于產(chǎn)生控制與命令邏輯程序的代碼不同的代碼運行?？梢詫z驗器產(chǎn)生的控制與命令邏輯程序與驗證期間的控制與命令邏輯程序進行比較，以報告這兩個控制與命令邏輯程序相同性。除此之外，或者作為一種替換，通過上述的設備對檢驗器產(chǎn)生的控制與命令邏輯程序進行認證或驗證，然后，可以將該結(jié)果與第一個控制與命令邏輯程序的驗證或者認證期間獲得的結(jié)果進行比較。在這種情況下，從數(shù)字的觀點出發(fā)和從圖形的觀點出發(fā)，將操作單元的各狀態(tài)及命令變量與虛擬中繼網(wǎng)的各中繼進行比較驗證。例如，裝備狀態(tài)條件的圖像重疊可認為是利用兩個控制與命令邏輯程序得到的。通過重疊裝備狀態(tài)條件圖像，可以利用圖形方法使可能的差別醒目，或者使用戶的眼睛可以直接看到該可能的差別。
擇一地或者相繼地執(zhí)行上述兩種模式，還可以修改這兩種不同比較模式的先后順序。
通過首先對兩個控制及命令邏輯程序獲得的有關(guān)裝備條件進行比較，例如，可以更好地識別程序中這樣的部分，在其中可能限制比較操作，并因此限制對其進行可能校正操作或者調(diào)試檢查(錯誤檢測)。
除了控制邏輯程序外，根據(jù)相異性，甚至還可以對用于模擬單個操作單元和裝備結(jié)構(gòu)的邏輯程序以及用于模擬各中繼或者中繼網(wǎng)的邏輯程序進行認證，并且這種基于生成程序相異性的認證動作也可擴展到利用圖形表示操作單元或各中繼的程序。
在又一個實施例中，布爾檢驗器由并行設備構(gòu)成，通過模擬該裝備本身，來驗證鐵路裝備的控制與命令邏輯程序，該檢驗器包括檢驗程序或者測試程序以及根據(jù)相異性判據(jù)開發(fā)的鐵路裝備的各模擬程序，即，利用其它生成程序或?qū)懗绦蜷_發(fā)的鐵路裝備的各模擬程序，而且，該檢驗器進行根據(jù)本發(fā)明的設備的同樣認證，這是第一檢驗設備，根據(jù)同樣的控制與命令邏輯程序，將兩個并行測試的結(jié)果進行比較，然后，根據(jù)該比較信息，或者根據(jù)是否相等或者是否具有相異性的測試結(jié)果，產(chǎn)生錯誤消息。
在根據(jù)本發(fā)明的設備中，包括設計程序，即用于產(chǎn)生布爾代碼的程序；以及用于利用圖形表示路旁器具的程序。
盡管本發(fā)明的設備基于傳統(tǒng)的或者基本上基于傳統(tǒng)的處理系統(tǒng)，但是應該注意，它實際上是專門設備，該設備基本構(gòu)成實際裝備結(jié)構(gòu)的虛擬模擬器，因此，它具有優(yōu)點和技術(shù)效果。
根據(jù)命令邏輯也是軟件的事實，選擇軟件裝置，因此，采用軟件裝置的實現(xiàn)方法是最佳解決方案。
還應該注意，根據(jù)本發(fā)明的設備可以設置適當網(wǎng)絡接口，而且它還可以作為鐵路裝備的非重要節(jié)點，利用該特性，可以容易地修改命令與控制邏輯程序，而且實際上可以克服同樣的問題，例如，對于利用相應操作單元刪除線路或者添加線路的鐵路站場裝備的結(jié)構(gòu)修改的情況。
此外，作為與鐵路裝備相連和接合的節(jié)點網(wǎng)絡，根據(jù)本發(fā)明的設備可以具有實際鐵路裝備的校正操作的監(jiān)管或者診斷功能，因為，通過對該設備提供控制和命令邏輯的實際裝備的同樣輸入變量，容易將實際裝備設定的狀態(tài)條件與所模擬裝備設定的狀態(tài)條件進行比較。可以按照類似如上所述根據(jù)相異性判據(jù)的附加驗證或者認證，對利用兩個控制與命令程序獲得的裝備條件進行比較的方式，進行這種比較。
利用根據(jù)本發(fā)明的設備，由于它是作為站場裝備的控制與命令系統(tǒng)的一部分的節(jié)點，所以在緊急事件中，可以模擬各種可能性，以干預或者命令裝備，從而在可能的選擇中對該裝備本身實現(xiàn)提供最佳解決方案的選擇。
有利的是，根據(jù)本發(fā)明的設備包括執(zhí)行模擬功能的程序，其用戶接口具有微軟公司的Windows程序所使用的的用戶接口的類型，因此，包括操作窗口，具有功能按鈕、快捷選擇菜單和所述接口的其他典型功能，顯然，除了使用鼠標和其他點擊裝置來選擇和輸入命令，也可用鍵盤輸入數(shù)值數(shù)字、字母數(shù)字數(shù)據(jù)和/或者數(shù)字或字母數(shù)字命令，例如建立或者修改操作單元和/或各中繼或裝備結(jié)構(gòu)其它部分的圖形圖像。通過在計算機和程序與用戶之間建立公知的廣泛使用的接口，使用人員可以非常簡單容易地進行這些動作。
根據(jù)本發(fā)明的設備的其它特征和改進是所附權(quán)利要求的主題。


根據(jù)下面利用附圖所示的非限定性的例子對某些實施例所做的詳細說明，本發(fā)明的特征以及由其獲得的優(yōu)點將更加明顯，附圖包括圖1示出根據(jù)本發(fā)明的計算機或個人計算機形式的設備以及可能的遠程連接的示意圖。
圖2示出利用根據(jù)本發(fā)明的設備進行的功能測試的流程圖。
圖3示出根據(jù)本發(fā)明的設備的內(nèi)部功能的示意圖。
圖4示出在測試鐵路系統(tǒng)的命令與控制邏輯程序的功能期間，特別是由該設備模擬的站場或站場區(qū)域的系統(tǒng)圖布局的顯示窗口的例子。
圖5示出利用根據(jù)本發(fā)明的設備進行驗證的開始窗口的兩個詳細工具條和工具。
圖6示出在完成模擬與加載測試程序時所顯示窗口的例子，而且其中對于dev_pl器具打開了控制窗口。
圖7示出用于添加和修改對系統(tǒng)操作單元、特別是路旁器具的模擬程序的選擇的窗口例子。
圖8示出圖7的窗口定義的每個操作單元或設備模擬器的接口說明的窗口例子。
圖9示出與由用于描述它的布爾模擬器構(gòu)成的虛擬模型有關(guān)用于實現(xiàn)操作單元或設備的行為的說明功能的窗口的例子。
圖10示出的表，用于描述可由真值表或上面的表中的變量設定的各值。
圖11和圖12示出下拉式菜單，利用根據(jù)圖10的操作單元或路旁器具的行為的說明窗口可以激活該下拉式菜單，以執(zhí)行所述行為的特殊規(guī)定功能。
圖13示出用于選擇圖形集合的窗口的例子。
圖14和15示出附加窗口，用于執(zhí)行用來修改或者添加圖形集合的功能，利用根據(jù)圖13的選擇圖形集合的窗口上的按鈕可以訪問該附加窗口。
圖16示出用于執(zhí)行圖形對象的狀態(tài)與顏色說明的窗口例子。
圖17示出用于選擇并加載“條件表”的窗口。
圖18示出“條件表”文件的結(jié)構(gòu)表。
圖19示出“條件表”文件的例子。
圖20示出“模擬命令”窗口的例子。
圖21示出用于管理可利用圖20的窗口內(nèi)的快捷按鈕或菜單命令存取的模擬命令的窗口的例子。
圖22示出用于選擇可利用快捷按鈕或菜單命令在圖20的窗口內(nèi)存取的變量值的窗口的例子。
圖23示出用于顯示控制與命令程序的布爾方程的窗口。
圖24示出在測試步驟期間用于顯示構(gòu)成控制與命令程序的布爾方程組的布爾方程的等效電路的窗口。
圖25示出用于顯示所模擬器具的電路的窗口的例子。
附件A1、A2、A3、A4示出根據(jù)用于進行自動測試的工具進行測試的例子而且包括所述測試的報告文件。
具體實施例方式
參考圖1，根據(jù)本發(fā)明的設備包括一個或者多個系統(tǒng)的功能模擬器，該系統(tǒng)由站場器械構(gòu)成，站場器械具有重要計算機，用于測試利用一組布爾方程實現(xiàn)的命令與控制應用邏輯程序。構(gòu)造該設備，用于在所有操作條件下利用重要計算機模擬站場器械。
在用于命令和控制鐵路裝備的傳統(tǒng)系統(tǒng)中，用于操作該系統(tǒng)的應用邏輯是中繼網(wǎng)形式的。最近，隨著計算機的引入，并且越來越可靠和穩(wěn)定，開始利用計算機執(zhí)行的命令與控制邏輯程序代替裝備的應用邏輯。該程序包括一組布爾方程，它循環(huán)讀取多個操作單元的狀態(tài)條件，操作單元即所謂路旁器具，例如，用于在預定線路關(guān)閉(linelocking)時檢測是否存在火車的跟蹤電路、信號設備、道岔等，并且，根據(jù)以狀態(tài)變量的形式編碼的所述條件，布爾方程計算或者定義構(gòu)成用于轉(zhuǎn)換或者保持操作單元的操作狀態(tài)的新的輸出狀態(tài)變量，以調(diào)節(jié)輸入變量表示的條件。
該組布爾方程必須以對應于預定操作模式的方式，計算路旁器具的狀態(tài)條件，以裝備的功能行為表即所謂條件表的形式編碼該預定操作模式。根據(jù)本發(fā)明的設備必須模擬鐵路裝備的功能行為，該鐵路裝備是重要計算機鐵路器械。利用這種模擬可以驗證以布爾方程組形式表示的控制與命令邏輯程序，如同對真實裝備本身進行驗證。在裝備處于正確操作條件下時，以及在一個或者多個路旁器具存在異常時，進行這種驗證。
如圖2所示的根據(jù)本發(fā)明的設備包括計算機，該計算機存儲測試與模擬程序，而且具有到數(shù)據(jù)和/或命令輸入裝置、顯示裝置的接口、到遠程器械的連接裝置，遠程器械如帶有重要計算機的站場器械、用于執(zhí)行輔助過程的遠程計算機等。該模擬程序包括幾個例程，而且特別包括用于執(zhí)行構(gòu)成程序本身的布爾方程的例程；用于配置布爾方程組的輸入或者初始化變量的例程，即，設置裝備的操作背景的例程；用于顯示裝備的和其中包括的操作單元的圖形圖像的例程，而且該例程提供對每個操作狀態(tài)不同的操作單元圖像，該操作單元或路旁器具可以計算該操作狀態(tài)，而且其圖形圖像單義地與路旁器具的所述狀態(tài)或所述操作條件相聯(lián)系；以及用于完成和簡化測試動作的其它輔助例程。
通過產(chǎn)生站場裝備的虛擬模型進行裝備的模擬，其中裝備的操作和/或結(jié)構(gòu)元素被單義地標識，并且其功能行為由布爾方程復原。
利用在裝備示意圖中用于描述和/或顯示各配置的所述結(jié)構(gòu)單元或操作單元的關(guān)聯(lián)，定義系統(tǒng)的物理結(jié)構(gòu)，并定義哪些操作單元必須一起工作。
下面將更清楚地說明，操作單元即路旁器具利用下述的變量來描述，輸出狀態(tài)變量，也稱作控制，用于描述該單元或路旁器具的操作條件，以及用于保持和/或修改輸入狀態(tài)的變量，指出操作單元是否必須改變狀態(tài)并且轉(zhuǎn)換到哪個狀態(tài)。
為了產(chǎn)生鐵路裝備的虛擬模型，根據(jù)本發(fā)明的設備不僅以由布爾方程構(gòu)成的邏輯程序形式模擬路旁器具的功能行為，而且提供路旁器具的圖形表示。這種圖形表示包括路旁器具的幾個預定圖形外觀選擇，它們分別與其操作狀態(tài)單義對應，而且與通過路旁器具的模擬邏輯程序的狀態(tài)變量設定的預定值之一關(guān)聯(lián)，或者與路旁器具的模擬邏輯程序提供的兩個或者更多個狀態(tài)變量的預定值組合關(guān)聯(lián)。顯然，路旁器具的圖形外觀是路旁器具外觀的示意再現(xiàn)，對應于每個器具的幾個操作條件的幾個外觀互相不同，以便在各種操作條件下，盡可能多地再現(xiàn)路旁器具的外觀的真實修改。
有利的是，根據(jù)本發(fā)明的設備還包括工具，用于修改和/或產(chǎn)生在各種操作條件下的路旁器具和/或用于表示所述器具的圖形外觀的模擬邏輯程序。可以將這些程序作為類屬程序存儲和調(diào)用，通過在該裝備的圖形表示中定義單義標識名和與其它路旁器具或該裝備的其它結(jié)構(gòu)元素的單義關(guān)系或功能關(guān)聯(lián)，以及在其放置的空間內(nèi)的相應配置關(guān)系，各類屬程序被當作預定裝備圖內(nèi)的確定的和唯一的角色。
顯然，從圖1可以看出，作為與所述單元連接的網(wǎng)絡的非重要節(jié)點，該裝備還可以與用于產(chǎn)生控制與命令邏輯程序的單元和/或與真實重要計算機站場設備和真實鐵路裝備直接組合的方式工作。
因此，參考圖3，該設備基本上是基于個人計算機的工作站。有利的是，優(yōu)選的運行環(huán)境是Windows NT環(huán)境，在該環(huán)境下，建立特定的設備模擬軟件。所述選擇的運行環(huán)境是其優(yōu)點，因為Windows NT環(huán)境及其基本功能是廣泛知曉的。因此，構(gòu)造該運行環(huán)境，顯示幾個包括站場或裝備示意圖的工作窗口，而用戶對模擬設備本身的配置和/或控制元素進行處理。利用一個監(jiān)視器，優(yōu)選利用兩個監(jiān)視器，用戶可以直接看到所選擇的功能或設置動作，因為主模擬邏輯程序與圖形管理程序之間互相交互。
利用在Windows環(huán)境下已經(jīng)提供的桌面擴充功能，可以控制輔助顯示。
該設備的軟件被編制成典型的Windows應用程序，因此，它使用該操作環(huán)境的典型工具。在此，不考慮所有可能性的以及Windows窗口結(jié)構(gòu)的特定范圍(sphere)，因為這基本上是普遍知道的知識。
利用根據(jù)本發(fā)明的設備，為了執(zhí)行利用模擬的檢驗，需要進行幾個包括下面的步驟的啟動活動產(chǎn)生用于檢驗裝置的圖形描述文件；檢驗所述圖形文件；產(chǎn)生布爾方程，該布爾方程的組是控制與命令邏輯程序的核心；可能產(chǎn)生變換表；可能產(chǎn)生編碼條件表；
可能產(chǎn)生稱作批命令的文本文件。
命令邏輯程序的檢驗活動使用通常公知的檢驗裝置。
利用鐵路裝備模擬的檢驗程序包括下面的數(shù)據(jù)具有布爾方程的文件，用于描述要檢驗的站場或區(qū)域；要模擬的站場或各站場或區(qū)域或各區(qū)域的圖形文件；可能有含有變換表的文件；可能有含有條件表的文件；以及可能有含有批文件的文本文件。
由于提供測試結(jié)果，用戶可以使用和/或存儲輸出報告文件。在進行測試期間，通過顯示字母數(shù)字消息或者狀態(tài)變量值以及利用裝備本身的圖形表示，可以實時控制而且可以滯后控制鐵路裝備的動態(tài)操作。
啟動工作對話可以包括建立新項目，或者加載已經(jīng)啟動的項目。如果它是新項目，則必須選擇一個或者多個站場或裝備區(qū)域用于該模擬。
在加載和/或建立項目數(shù)據(jù)后，需要提供設備配置。利用鐵路裝備模擬進行測試所執(zhí)行的活動是設置系統(tǒng)循環(huán)時間；定義每種路旁器具的后綴，定義路旁器具的模擬器，可能增加的要控制的區(qū)域，器具模擬器與變量的關(guān)聯(lián)；定義繪圖對象可設定的顏色和狀態(tài)，對繪圖對象賦予狀態(tài)和顏色。
如上所述，還有在站場或裝備區(qū)域的圖形畫面上直接操作、以定義器具狀態(tài)和對象顏色的命令。
通過選擇窗口或者要插入窗口的對象，可以激活控制窗口，和/或如果命令條未激活，則激活該命令條。顯然，可以進行測試，并保存該項目的當前狀態(tài)。為此，隨著模擬情況的發(fā)展，可進行方便的保存，為了不覆蓋舊配置，總是以不同的名字進行保存。可以重新加載每種配置，以啟動新的模擬步驟。在模擬期間，對應于該裝備的不同操作或配置背景的實例或不同的命令，可以執(zhí)行配置批文件。
利用命令和遠程連接模塊，特別是利用網(wǎng)絡協(xié)議，而且優(yōu)選利用TCP/IP協(xié)議，通過遠程工作站完全可以管理該設備。
通過保存項目，用戶可以隨時結(jié)束利用模擬的檢驗過程，而不會丟失已經(jīng)執(zhí)行的工作。項目是指在測試過程之前產(chǎn)生的所有文件和在進行配置期間以及進行其模擬步驟期間產(chǎn)生的所有文件。
圖4示出進行測試期間，在監(jiān)視器上出現(xiàn)的內(nèi)容的屏幕例子。
啟動系統(tǒng)時出現(xiàn)的第一個屏幕與圖5所示的屏幕基本相同。打開窗口，其中上部10可以管理應用程序，而窗口11是用于模擬的命令條。通過使其上部區(qū)域醒目并將它拖到對用戶有用的位置，可以移動該第二窗口。
在主命令行11O的正下方(文件、視圖等)，顯示快捷按鈕條，以迅速激活某些命令。
將分節(jié)說明關(guān)于命令本身的按鈕的意義。
此外，設置幫助命令或按鈕，它用于激活幫助菜單，利用該幫助菜單，可以進入或者查閱指南文件。該指南可以是交互型的或者是在線的，與Windows環(huán)境類似。與該環(huán)境類似，一旦激活該命令，就出現(xiàn)該指南的窗口，可以從該窗口上選擇顯示、打印選項等。
命令條110上的File命令可以啟動新項目或打開已有項目、保存當前項目以及保存當前項目并退出應用程序。利用列出所有命令選項的典型下拉式菜單，可以存取File命令的命令選項，而且可以從其中選擇所需要的命令。
通過在任何一種快捷激活按鈕上建立例程，可以個性化和變換一些或者所有命令。
快捷按鈕210可以啟動新項目，以定義整個模擬背景，即，定義要檢查的站場、要求激活的控制窗口、要顯示的變量、顯示模式，例如，窗口外觀、顏色、間隔顏色(intermitting colour)、采用數(shù)字波形的顯示器或其它類型的顯示器。
如果項目已經(jīng)被加載到該設備上，則要求用戶利用具有命令按鈕的通信窗口保存或者刪除該項目，該命令按鈕用于執(zhí)行上述幾個選項。
為了保存加載的項目，可以使用“file”菜單的相應命令，或者使用在410示出的保存快捷按鈕。
在加載時，程序控制裝備的、該裝備區(qū)域的以及路旁器具的配置文件和圖形繪圖文件的語法和語義。此外，要識別模擬器模塊，即，識別操作單元即路旁器具的模擬程序以及路旁器具或操作單元狀態(tài)的圖形顯示模式，例如，該畫面的圖形對象的顏色。當所述文件包括不可修正的錯誤時，該設備不加載具有錯誤的文件。在所顯示窗口的概要框里，對每個裝備、站場或裝備區(qū)域列出各錯誤。
當操作員發(fā)送確認時，結(jié)束該終止功能，而且加載結(jié)果是打開如圖6所示的兩個窗口10和30。除了主窗口10外，通常甚至還顯示控制窗口30和裝備或站場或加載區(qū)域的圖形布局。
加載項目可以顯示下面的數(shù)據(jù)裝備或站場或區(qū)域的名稱；在各方程內(nèi)包含的描述裝備或站場或區(qū)域的變量的數(shù)量；Pterm的數(shù)量，即，在布爾方程獲得的裝備的或者站場的或者區(qū)域的乘積項；變量覆蓋，即，通過模擬進程處理的變量的百分比；以及Pterm覆蓋，即，通過模擬進程處理的百分比。
快捷按鈕510提供項目的關(guān)閉功能。從窗口10的命令條110可訪問的項目管理(Project Management)菜單中可以使用兩個命令，即，Add Station/Area和Cancel Station/Area命令。對于這些命令，在快捷按鈕條上的610和710指出與它們關(guān)聯(lián)的快捷命令按鈕。
利用Add Station/Area命令或者相應的快捷按鈕610，可以對已經(jīng)加載到存儲器內(nèi)的項目添加新站場或者新區(qū)域。
顯示對話窗口，以規(guī)定站場/區(qū)域。用戶可以規(guī)定屬于該站場或該區(qū)域的文件名，用戶必須在對話窗口的區(qū)域內(nèi)鍵入該文件名。用戶還可以使用可由搜索按鈕訪問的搜索裝置，而不是鍵入該文件名。在這種情況下，一個窗口被打開，其上顯示了保存的站場或區(qū)域。這意味著，用戶可以從該列表中選擇并加載所需要的站場或區(qū)域。還可以選擇含有該站場或區(qū)域的圖形畫面的諸如CAD或GTGIF文件類型的圖形文件的格式。
利用“l(fā)ayout”按鈕，用戶可以規(guī)定含有站場或區(qū)域圖形畫面的特定文件。根據(jù)文件格式，打開對話窗口，以規(guī)定相應的站場或區(qū)域。在預定字段內(nèi)，用戶可以指出例如CAD格式的繪圖文件名。利用輔助CAD文件字段可以規(guī)定還含有與CAD圖自然結(jié)合在一起的圖形符號的文件。在選擇結(jié)束時，該程序加載站場或場區(qū)(zone)配置文件和站場或場區(qū)繪圖文件。在加載期間，根據(jù)語法和語義控制各文件。如果各文件具有不可修正的錯誤，則該系統(tǒng)不加載含有錯誤的文件。該程序?qū)㈠e誤列在概要框中。如果在配置定義文件中發(fā)生嚴重錯誤，則不將該站場或區(qū)域存儲到存儲器中。如果加載過程正常結(jié)束，則將站場或區(qū)域存儲到存儲器中，而且在屏幕上顯示圖形畫面。
利用Cancel Station or Area命令，或者利用相應快捷按鈕710，可以執(zhí)行從項目中刪除站場或區(qū)域的動作。
命令條110提供附加的“configure”命令，該命令提供了在菜單上的幾個選項之間進行選擇的可能性。第一個選項是循環(huán)時間確定命令。即使對于該命令，也提供了在圖5和圖6中的810示出的快捷按鈕。
用于控制和命令鐵路裝備特別是重要控制站場器械的邏輯程序讀取路旁器具提供的控制信號，然后，根據(jù)循環(huán)操作發(fā)送命令信號。通常，在約500ms內(nèi)執(zhí)行整個傳輸與處理讀循環(huán)。在每個循環(huán)，均重新計算形成控制與命令邏輯程序的布爾方程。在根據(jù)本發(fā)明的設備的程序中，用戶可以設置對應于實數(shù)的任何循環(huán)時間。為此，利用快捷按鈕810或菜單命令，可以打開設置循環(huán)時間的窗口，在該窗口上，可以規(guī)定循環(huán)時間。
“Configuration-Modification suffixes”命令可以確定后綴。它是重要動作，因為，在系統(tǒng)配置文件中，即在方程文件中，后綴確定了布爾變量的行為和語義。在處理系統(tǒng)定義文件期間，錯誤后綴定義可能導致不可修正的錯誤，而且該錯誤可能使相應站場或區(qū)域或路旁器具即操作單元的管理不可用。后綴必須與包括在系統(tǒng)定義文件中的同樣定義相一致，系統(tǒng)定義文件即據(jù)此編程系統(tǒng)EPROM存儲器的數(shù)據(jù)文件。借助對話窗口進行后綴設置。
可以使用用于修改后綴的方框規(guī)定后綴名稱。該名稱可以包括塊字母。“Type”下拉式菜單包括可用和可以選擇的所有可能類型。
后綴意義是input在系統(tǒng)配置文件中，只可以在布爾方程的右側(cè)(乘積項元)使用“input”型變量。因此，在布爾方程的左側(cè)出現(xiàn)“input”型變量時，該程序指出在系統(tǒng)定義文件加載期間存在錯誤。
output在布爾方程的左側(cè)只使用一次“output”型變量。當布爾方程的右側(cè)出現(xiàn)“input”型變量，或者在其左側(cè)不止一次出現(xiàn)“input”型變量時，該程序指出在系統(tǒng)配置文件加載期間存在錯誤。
current cycle在布爾方程的兩側(cè)均可以使用“current cycle”型變量。在同一個循環(huán)中相繼計算的各布爾方程，在布爾方程的左側(cè)只可以出現(xiàn)一次該變量，而在其右側(cè)可以出現(xiàn)所希望的次數(shù)。如果使用“current cycle”型變量時不遵守上述準則(norm)，則該程序指出存在錯誤。
“subsequent cycle”可以布爾方程的兩側(cè)出現(xiàn)“subsequent cycle”型變量。任何時候這些變量可置于方程的右側(cè)(項)。如果在一個方程的左側(cè)(結(jié)果)出現(xiàn)這種變量，則不再可能在同一個處理循環(huán)中執(zhí)行的、但相繼計算的各方程的右側(cè)使用它。
shared input“shared input”變量類型與“input”類型類似，唯一不同是，在每個計算循環(huán)之后，利用適當?shù)钠渌鼌^(qū)域或其它器具的“共享輸出”，該程序更新這些輸入值。
shared output“shared output”型與“output”型類似，唯一不同是，在每個計算循環(huán)之后，該程序利用這些輸出來更新其它區(qū)域或其它器具的適當“共享輸入”。
timed“timed”類型與“current cycle”類型類似。差別是，與“timed”型相關(guān)聯(lián)的變量，如果方程計算其為真，而且對該變量規(guī)定的延遲時間已過，則該變量為真，從而在啟動方程為真時開始計數(shù)。如果與定時器相關(guān)聯(lián)的變量在前面計算為真，而與其相關(guān)聯(lián)的方程現(xiàn)在計算為假，則不用任何延遲，定時變量的值立即成為假。用于計算“timed”型變量的方程必須前置延遲定義，正如在涉及用于設置系統(tǒng)循環(huán)時間的命令之前指出的那樣。如果規(guī)定了非“timed”型方程的延遲，或者如果計算“timed”型的方程沒有前置延遲說明，則該程序指出錯誤。
blinking Output FLS這種變量與“output”型等效。計算“blinkingOutput FLS”型變量的值的方程必須前置用于計算被定義為“output”的變量的值的方程。如果方程不滿足該條件，則程序指出錯誤。
命令條包括被稱為“Cofigure-Add equipment simulator”的附加命令。類似其他命令，也可以利用附圖中的910指出的快捷按鈕激活該命令。利用該命令，可以定義物理器具或操作單元模擬器。定義物理與邏輯器具模擬器包括利用3個步驟定義模型定義新模擬器的名稱；接口說明；設計行為；圖7示出激活窗口的例子。利用該窗口可以選擇模擬器名稱?？梢栽诖翱诘倪m當方框內(nèi)鍵入該名稱。利用Add按鈕可以將規(guī)定的名稱附加到現(xiàn)有模擬器列表中，并且，與此同時，它打開用于定義接口的對話窗口和新模擬器的真值表的窗口。如果已經(jīng)存在具有同樣規(guī)定名稱的模擬器，則該程序拒絕該動作，并且它打開具有告警文本的對話窗口，以通知用戶。通過Modify按鈕，用戶可以修改已有模擬器。利用修改功能可以修改模擬器名稱和內(nèi)容。該程序允許同時對一個以上的模擬器進行修改。
為了從模擬器列表中刪去模擬器，可以使用Cancel按鈕，這樣可以刪除其名稱在選擇對話框上為高亮度的模擬器。
關(guān)于構(gòu)成用于定義每個模擬器的所述第二步驟的模擬器接口，這包括表單集(form set)以及相應別名、類型和功能。為了規(guī)定接口，顯示如圖8所示的用于定義接口的對話窗口。
利用設置在所述對話窗口上的“Modify”命令按鈕，用戶可以規(guī)定表單。在模擬器變量關(guān)聯(lián)期間，該表單用于識別變量的正確名稱(rightname)。根據(jù)該表單本身的語法，表單可以按任意順序包括參量或常量。表單定義是必須的步驟。別名是表單的短名稱，用于在模擬器的真值表中標示該表單。要在接口定義對話窗口上的別名框內(nèi)定義別名，而且必須規(guī)定該名稱。
表單類型大致描述了在模擬中由該表單表示的變量規(guī)則。利用“type”選項框，可以選擇使用的類型。
變量類型有Parameter參量類型的變量，表示外部模擬器接口。如果這些變量被定義為“input”，則利用這些變量，重要計算機站場裝備的方程控制該模擬器。如果變量被定義為“output”，則意味著，它們用作控制與命令邏輯程序的方程輸入變量，以確定并更新系統(tǒng)狀態(tài)。
Control這種變量用于控制模擬器的行為。這些變量與各按鈕關(guān)聯(lián)，向用戶提供接口，使得在模擬期間可以修改模擬器的行為，或者模擬可能的故障情況。control變量可以具有input或input/output屬性。不是禁用output屬性，但是對于control變量，它沒有意義。使具有“input”屬性的變量與通過點擊鼠標被按下、而利用另一次點擊被釋放的按鈕關(guān)聯(lián)。如果對該變量設置input/output屬性，則模擬器和用戶均可以設置按鈕狀態(tài)。例如，用戶點擊按鈕以激活它，而模擬器可以在某個動作循環(huán)之后釋放它。與“control”類型關(guān)聯(lián)的表單可以僅包括常量。
Local State“局部”類型變量用于存儲模擬器的內(nèi)部狀態(tài)。也就是說，這種變量不僅可以定義組合行為，而且可以定義順序行為。這些變量從模擬器的外部是不可見的。這些變量可以僅具有input/output屬性。與局部類型變量關(guān)聯(lián)的表單可以僅包括常量。
利用“input/output”選項框，可以選擇輸入和輸出屬性。
在規(guī)定了表單別名、類型以及“input/output”屬性后，利用“add”按鈕命令，用戶可以將這些信息添加到接口上。對別名所做的說明和對表單所做的說明均是必要的，而且它們必須是單義的。
利用在對話窗口列表上的選擇動作，而且利用“modify”功能按鈕，可以修改指定的諸如表單、別名、類型以及“輸入/輸出”的屬性組。同樣，可以刪除指定的屬性。
模擬器定義的第三步驟包括功能行為設計。為此，具有真值表的窗口提供該程序(參考圖9的右側(cè))。在用戶確定要添加新的器具模擬器時，該窗口自動打開。該真值表被粗的垂直線分割為兩部分。真值表的左部表示模擬器的當前狀態(tài)，而右部是后續(xù)狀態(tài)。對該接口中定義的每個變量，該表包括一個列。具有“input”屬性的變量出現(xiàn)在左側(cè)，而具有“output”屬性的變量出現(xiàn)在右側(cè)。具有“輸入/輸出”屬性的變量出現(xiàn)在兩側(cè)。該表的表頭包括變量別名。
利用這種表示，可以設計順序邏輯和組合邏輯，用于對模擬器行為建模。如果用戶設計順序邏輯(即，包括“input/output”屬性變量的邏輯)，則在左側(cè)出現(xiàn)馬爾科夫邏輯模型。圓圈表示邏輯狀態(tài)，而弧線是轉(zhuǎn)換。在弧線箭頭上定位，該程序顯示了用于啟動該轉(zhuǎn)換的可能的輸入狀態(tài)以及轉(zhuǎn)換期間設置的輸出狀態(tài)。圖9示出了該窗口結(jié)構(gòu)。
對于新模擬器，真值表的右側(cè)包括“+”字符，該字符表示未初始化狀態(tài)。通過利用鼠標點擊單元格，用戶可以覆蓋寫位于右側(cè)(輸出)的各單元格內(nèi)的數(shù)值。實際上，這意味著定義在滿足輸入條件(真值表的左側(cè))時的確定輸出狀態(tài)。圖10所示的表的累加值是指利用真值表的每個單個單元格計算的值。
“*”值是未初始化的單元格值，“X”值是指，如果對真值表右側(cè)上的單元格賦予所述值，則在相同行上，甚至左側(cè)上的所有方框均具有“X”值。這意味著，相應行標示的狀態(tài)不可用。實際上，這是在模擬期間不容許的或者不使用的組合。
“0”值是指，在驗證該循環(huán)的輸入條件時，下一個循環(huán)的輸出將成為“0”值。
同樣，利用“1”值，可以在后續(xù)循環(huán)中使輸出變成所述“1”值。
為了幫助用戶，該窗口還提供圖11和12所示的其它功能。
不僅可以利用菜單命令，而且可以利用快捷按鈕，進入功能，下面將做說明。
還可以利用圖9中的20指出的快捷按鈕，執(zhí)行Modify-Parameter命令。該命令關(guān)閉接口定義對話窗口。在關(guān)閉該對話窗口時，通過點擊所述按鈕或者利用命令，可以打開它。
利用鼠標作為選擇和激活工具，利用Modify-Copy命令或者圖9中的21指出的快捷按鈕可以選擇真值表的任何方格區(qū)域并使其高亮度?？梢詫⑦x擇的區(qū)域拷貝到注釋文件(note file)中。
利用Modify-Paste命令可以控制所選擇區(qū)域內(nèi)的注釋內(nèi)容。選擇區(qū)域的大小必須與注釋中存儲的區(qū)域的大小對應。
在該步驟還可以存取其它指令。例如，用戶可以修改顏色，從而在其上選擇、修改字型或任務布局字模。
利用器具模擬器與變量的關(guān)聯(lián)功能可以使在該系統(tǒng)內(nèi)定義的模擬器與適當變量組關(guān)聯(lián)。通過Device Configuration-Definition命令，或者利用圖5和6中的1010指出的快捷按鈕，激活這種功能。為了在模擬器的類型和與其關(guān)聯(lián)的邏輯變量之間建立連接，用戶必須規(guī)定模擬器要應用的站場/區(qū)域或者器具、模擬器的類型以及路旁器具的標記或者要模擬的命令的標記。為了幫助用戶，可以利用對話窗口的選項框選擇這些信息。利用選項框可以加載已定義的區(qū)域的、站場的或者器具的名稱；已定義的模擬器類型；以及如果存在加載的繪圖文件時，包括在各圖中的圖形對象的標記。即使該程序提示可能信息，用戶仍可以自由鍵入任何所想要的字符串。利用這種可能性，可以規(guī)定以后要實現(xiàn)的模擬器、涉及未加載的站場以及圖中沒有圖形表示的要模擬的對象。
在按下關(guān)閉命令之后進行的項目加載期間，變量與模擬器之間發(fā)生關(guān)聯(lián)。如果加載過程不能實現(xiàn)所要求的關(guān)聯(lián)，則該程序指出存在錯誤，并在加載器對話框內(nèi)顯示消息。這些關(guān)聯(lián)錯誤不能阻止可以利用有效關(guān)聯(lián)進行的模擬。標識字符串可以包括利用“’”字符分離的一個或者多個標記。該標識字符串必須與在所關(guān)聯(lián)的模擬器的接口上定義的表單對應。通過顯示適當錯誤消息，該程序防止多次定義描述符。
利用Configuration菜單上的Layout Configuration命令，或者利用圖5和6中的1110指出的快捷按鈕，確定繪圖對象的顏色和狀態(tài)。
利用在站場/區(qū)域配置文件內(nèi)定義的變量組，確定表示路旁器具、區(qū)域或站場的圖形對象的狀態(tài)和顏色。利用該組中每個變量的表單，描述該變量組。在執(zhí)行“對圖分配狀態(tài)和顏色”的步驟期間，利用這些表單來查找變量。如同器具模擬器的定義，可以分下面3個步驟確定圖畫對象的狀態(tài)和顏色包括在該圖內(nèi)的圖形對象的類型；接口的說明，對已經(jīng)在先前步驟(圖形對象的類型)期間添加或修改的每個元素都要說明；繪圖對象的狀態(tài)和顏色，對先前步驟的每個接口都要定義。
因此，第一個步驟是說明包括在該圖上的圖形對象類型。為此，通過激活Configuration-Configuration Layout命令，或者通過按下1110按鈕，該程序顯示圖13所示的對話窗口。
用戶可以在對話窗口的“Type”修改框內(nèi)鍵入新定義的圖形對象的名稱。通過添加和修改元素，進行用于定義接口和用于定義顏色的后續(xù)步驟。
在利用相應按鈕激活修改選項時，打開圖14和15分別示出的兩個新對話窗口，而且利用該窗口可以修改或者添加圖形對象。
在執(zhí)行用于定義對象的狀態(tài)和顏色的第二步驟期間，進行接口的說明。該接口是用于確定圖形對象的當前顏色狀態(tài)的變量組。利用圖15所示的對話框，可以定義該變量組。利用已經(jīng)討論過的同樣語法，用戶可以在提供的框內(nèi)規(guī)定名稱。與參照其它功能多次描述的內(nèi)容類似，該對話窗口具有各種按鈕，其中有Add按鈕。在這種情況下，該按鈕起動一個例程將規(guī)定的內(nèi)容添加到變量表單列表中。該程序根據(jù)文法控制該表單。此外，該程序刪除錯誤表單，并發(fā)送錯誤消息，該錯誤消息顯示在消息區(qū)上。該程序禁止使用該表單中未規(guī)定的后綴。
在規(guī)定了該接口后，需要定義繪圖對象的狀態(tài)和顏色。利用圖15所示表，用戶可以對該圖中的圖形對象指定狀態(tài)文本、輪廓或填充顏色。
可以將其尺寸調(diào)整到最大屏幕尺寸的窗口包括第一行(標題)的變量列表(表單)。如上所述，該表被分割為利用粗垂直線分離的兩部分。該表的左側(cè)包括狀態(tài)表，如果該狀態(tài)表比窗口大，可以利用下面的光標或者單獨滾動該狀態(tài)表，而右側(cè)部分包括彩色信號發(fā)信和有關(guān)文本。通過利用鼠標在單元格上進行點擊，用戶可以規(guī)定表單狀態(tài)，該程序顯示所選擇單元格值的概要框。狀態(tài)概要框的各項是“0”該項將變量表單設置為假。
“1”該項將變量表單設置為真。
“X”該項整個刪除含有被鼠標激活的單元格的行。
通過利用鼠標在狀態(tài)表的第一空行的單元格上進行點擊，可以在所定義的表中添加新行。在這種情況下，該程序顯示與上述相同的狀態(tài)表，但是利用選擇的“0”和“1”值初始化整個行。如果該行已經(jīng)初始化，則可以按如上所述對該行上的每個單元格設置所要求的值。
在該窗口的右側(cè)上顯示對該發(fā)信選擇的顏色。應該注意，每個框均是具有內(nèi)部顏色和輪廓或外框顏色的方形，這兩種顏色均可以改變。對于填寫到該表上的每個行，可以定義輪廓的顏色、填充顏色以及狀態(tài)指示文本。在定義了行后，該程序分配預定顏色和狀態(tài)，并在該表的最右側(cè)的兩行內(nèi)顯示顏色和狀態(tài)。預定的輪廓顏色是斷續(xù)的淺灰色，而填充色是斷續(xù)的深灰色，預定的狀態(tài)文本是“未定義狀態(tài)”。
通過在一行上的顏色定義方塊的粗邊緣上進行點擊，可以修改輪廓顏色。以同樣的方式，通過利用鼠標在顏色定義方塊的內(nèi)部方塊上進行點擊，可以修改填充色。為了修改顏色，可顯示對話框。利用鼠標，通過在希望閃爍的部分上利用鼠標右鍵進行點擊，甚至可以按照與上述同樣的方式修改閃爍屬性。通過重復該動作，結(jié)束閃爍。通過利用鼠標在位于該表的最右側(cè)的要修改的文本上進行點擊，還可以修改狀態(tài)文本。
根據(jù)本發(fā)明的設備的其它特征，該設備可以包括裝置，用于連接到用來連接工作站或其它遠程設備的網(wǎng)絡。可以根據(jù)各種協(xié)議實現(xiàn)該網(wǎng)絡。通常使用的網(wǎng)絡協(xié)議是TCP/IP協(xié)議，因為其應用普遍。遠程單元可以用于控制該設備，而且還可以用于加載和執(zhí)行先前已經(jīng)寫入的已存在的模擬命令文件。所述命令文件稱作“批文件”，作為例如存儲在軟盤、CD-ROM等上的文件，利用公知的適當讀接口，還可以將其直接加載到該設備上。
然而，在上述兩種情況下，批文件命令均需要翻譯成根據(jù)本發(fā)明的設備的應用程序可以執(zhí)行的語言。為此，提供被稱為變換表的翻譯表。以脫機方式寫該表，而且，在執(zhí)行批文件之前，或者在進行連接并執(zhí)行遠程工作站發(fā)出的命令之前，必須將該表加載到根據(jù)本發(fā)明的設備上。
利用條件表選擇命令，可以選擇指出路徑的條件表。打開如圖17所示的對話窗口。可以直接寫Condition File文件路徑，或者利用對話窗口上設置的“Search”按鈕，激活搜索功能。在找到Condition File文件時，通過選擇該文件，利用在該對話窗口上設置的功能按鈕，可以確認其加載。
有利的是，利用與Windows的.INI文件類似的結(jié)構(gòu)構(gòu)造ConditionFile文件。圖18示出這種結(jié)構(gòu)的基本內(nèi)容。
圖19包括Condition File文件的例子。為了使既構(gòu)成待測試的控制及命令邏輯程序又構(gòu)成路旁器具、站場和/或區(qū)域的邏輯模擬器的布爾方程組能夠理解該信息，該狀態(tài)表基本包括裝備的行為規(guī)則，該行為規(guī)則是在預定操作條件下用于計算路旁器具的幾個操作狀態(tài)的規(guī)則。
如上所述，利用該設備不僅可以檢驗通過布爾模擬器再現(xiàn)的站場或區(qū)域上的控制及命令邏輯程序的最終行為，而且可以檢驗方程組的內(nèi)部行為。這是利用根據(jù)用戶本身的數(shù)定義的各控制窗口實現(xiàn)的。用戶可以對每個單個控制窗口指定任何所需要的變量。該設備的程序保持每個變量的時序表(chronology)，使得用戶可利用控制窗口調(diào)用先前的狀態(tài)。用來定義控制窗口的工具是被稱為“Views”的工具。利用這種工具，可以打開包括各種選項的菜單。一個選項是Add ControlWindow命令。還可以利用圖5和6中的1210指出的快捷按鈕存取該命令。利用該命令可以打開新的控制窗口。對于每個新控制窗口，要求規(guī)定必須單義的名稱，而為了定義該名稱，打開新對話窗口。在附圖中示出了典型的控制窗口，并且由附圖標號30指出。打開的控制窗口具有工具條，該工具條用于設置要顯示的移入時序表的變量。與以前在其它情況中已經(jīng)描述的情況相同，可替換地，通過在下拉式菜單上進行選擇，或者利用快捷按鈕，總可以存取命令。
利用添加變量命令或者快捷按鈕130，可以選擇要控制的變量。利用搜索對話窗口，可以預選要顯示的變量。
搜索對話窗口提供各種按鈕，使得可以執(zhí)行諸如在控制窗口上取消選擇、添加選擇的變量、取消一個或者多個變量以及確認選擇的變量的功能。它還提供用于取消當前選擇處理的按鈕。
利用Cancel Variable命令，或者利用快捷按鈕230，可以從控制窗口上清除顯示的變量。即使在這種情況下，如同前述的命令，顯示對話窗口以執(zhí)行該命令，而且該窗口具有用于激活諸如Cancel、Cancelall、Close的特定功能的按鈕。
利用Display Wave/Numerical Form命令或者快捷按鈕330、430，可以選擇顯示在該控制窗口上的變量/各變量的波顯示模式或者數(shù)值顯示模式。
同樣，可以提供用于在用戶定義的各種可能的控制窗口中進行滾動或者瀏覽的命令或者快捷按鈕。
利用Cancel Control Window命令或者快捷按鈕1310可以取消控制窗口。在這種情況下，顯示對話窗口，其中列出所有打開的控制窗口，在其中可以選擇要消除的控制窗口或各控制窗口，可以利用“Cancel”按鈕進行取消。
另外的命令是命令條上的名為View Activation的模擬命令。利用該命令可以激活和關(guān)閉該命令條，也可以利用圖6中的1410指出的快捷按鈕激活和關(guān)閉該命令條。為了對模擬器發(fā)出命令，該程序顯示圖20所示的控制窗口。該控制窗口由命令工具條和消息區(qū)域構(gòu)成，用于顯示執(zhí)行模擬期間的命令和修改。如同其他命令，還可以使用快捷按鈕形式的快捷命令，下拉式菜單命令也可以用于這些命令。
利用Simulation Mode命令，用戶可以在下拉式菜單中選擇各種選項。在這些選項中，下面的選項重要單循環(huán)選項，也可以利用快捷按鈕40激活。利用該選項可以執(zhí)行單計算循環(huán)。執(zhí)行了單計算循環(huán)之后，根據(jù)新狀態(tài)，該程序自動更新消息窗口和/或包括站場或區(qū)域的設計/布局的窗口/各窗口。
連續(xù)循環(huán)選項，利用快捷按鈕41也可以訪問該選項。在這種情況下，該程序開始以連續(xù)方式逐個循環(huán)進行計算。在計算期間，自動更新消息窗口和/或包括站場的設計/布局的窗口/各窗口。
多循環(huán)選項。利用快捷按鈕42也可以激活該選項?？梢砸?guī)定要連續(xù)計算的循環(huán)的特定次數(shù)。利用對話窗口，可以規(guī)定循環(huán)次數(shù)，在對話框中可以指出所希望的循環(huán)次數(shù)。
利用Stop命令或者快捷按鈕43，可以隨時停止該計算。
最后，還存在批命令或快捷按鈕44，利用它們，可以加載和執(zhí)行批文件，該批文件包括已經(jīng)排列為預定順序的命令。該批文件的執(zhí)行與宏執(zhí)行類似。如上所述，批文件命令必須利用變換表來翻譯，并且必須具有預定結(jié)構(gòu)。利用諸如Write或者Word-pad等文本編輯器，可以編輯各批文件。
利用Image file Generation命令或者快捷按鈕45可以將當前模擬狀態(tài)存儲到稱作“快照(snapshot)”的文件上。利用用戶命令，以該程序所建議的包括日期和當前時間的名稱保存快照文件。
利用Reload Image file命令或者快捷按鈕46，通過調(diào)用先前存儲的快照文件，可以恢復特定模擬情況。顯然，為了選擇要調(diào)用的快照文件，該程序顯示對話窗口，在其中可以選擇所需要的快照文件并可以打開它。
利用restart命令或快捷按鈕47，可以重啟模擬。重啟之后，所有方程組變量和模擬器均被置位為值“0”，并復位循環(huán)計數(shù)器。為了再一次啟動模擬，需要執(zhí)行路旁器具模擬器正常狀態(tài)的復位序列。
User Commands命令打開下拉式菜單，使得可以訪問命令管理(Commands Management)與變量值定義(Variable Value Definition)功能。
還可以利用48指出的快捷按鈕調(diào)用命令管理。利用該工具，通過使用與該器具的模擬器配置期間定義的控制變量關(guān)聯(lián)的按鈕，可以修改每種器具(物理的和邏輯的)的模擬器行為。為了使用適當按鈕，該程序顯示圖21所示的對話窗口。該對話窗口的左側(cè)上的列表包括現(xiàn)有類型的模擬器。通過利用鼠標在所選擇的類型上進行點擊，用戶可以顯示對話窗口列表中的模擬器。模擬器由標示串的第一元素來標示，在前面有關(guān)模擬器變量的說明中指定了該標示串。通過利用鼠標在所要求的模擬器上進行點擊，并通過按下“control”功能鍵，可以喚醒各控制按鈕。
作為一種選擇，利用用戶命令菜單，可以選擇Variable ValueDefinition命令。此外，利用49指出的快捷按鈕，也可以激活該命令。利用該命令或者該工具，可以手動設置模擬中使用的變量。為了選擇變量，顯示如圖22所示的對話窗口。
該對話窗口與用于選擇要控制的變量的對話窗口非常類似。選擇過程也與“控制變量”的選擇過程類似。為了設置所要求的值或者適當值，可以使用位于該窗口的右下角的兩個選擇選項，并可以擇一地選擇“True/False”。
利用50指出的按鈕可以激活到遠程單元的遠程連接過程。
根據(jù)另外的特征并參考圖4，僅通過利用鼠標在該圖的圖形對象上進行點擊，可以修改站場的或者場區(qū)的或者裝備的布局上的圖形對象的狀態(tài)和顏色。
圖4提示的例子使用黑色圓圈圍繞的并位于所示布局的左側(cè)的信號05d。該程序顯示用于設置顏色和狀態(tài)的對話窗口。
在該窗口上設置了“l(fā)able”字段，含有相應TGIF或CAD繪圖文件提取的圖形對象的內(nèi)部標記。用戶不能修改它。該字段的內(nèi)容用于求解各表單的“0”參量分量。利用“輔助字符串(Auxiliary String)”修改框可以定義各表單的參量分量。每個參數(shù)必須用“’”字符分隔開。從1開始標號的參數(shù)被稱作包含在輔助字符串內(nèi)的元素。字符串的說明不是必須的。
此外，可以使用“別名(alias)”修改框來對指定的對象指定別名。當該程序在命令窗口中列出在模擬期間改變其狀態(tài)的對象時，利用別名代替從TGIF或CAD文件內(nèi)提取的標記。在該修改框中，可以輸入任何字符。別名的規(guī)定不是必須的。在不規(guī)定別名時，該程序在命令窗口上顯示原始標記。
“類型(Type)”列表含有先前定義的顏色和狀態(tài)表。用戶可以選擇這些中的一個。如果該對象已經(jīng)具有定義的顏色和狀態(tài)表，則該列表自動高亮度當前“類型”。
通過利用鼠標在確認按鈕上進行點擊，也可以對圖形對象的分配值進行設置。在后續(xù)的模擬循環(huán)之后，設置新顏色和狀態(tài)。如果利用特定標記和輔助字符串不能找到特定類型的表單，則該程序發(fā)送告警消息，并忽略該分配。
類似于已經(jīng)描述的其它功能，該對話窗口包括或者可以包括其它帶有Cancel按鈕的功能按鈕，由此可以取消分配，或者可以忽略分配。
關(guān)于另外的優(yōu)點特征，根據(jù)本發(fā)明的設備還可以包括在布爾模擬器工具和用于對裝備進行最終功能測試的工具的背景下進行不同的自動測試的功能。顯然，執(zhí)行該功能可以打開可選擇命令、選項或者可以選擇圖形或者控制對象的窗口，與前面描述的其他功能的內(nèi)容類似。
如果啟動由所述窗口構(gòu)成的圖形接口，則用于選擇區(qū)域的列表、站場裝備的器具類型同與測試中的站場有關(guān)的相應數(shù)據(jù)一起顯示。用戶可以選擇每個列表中的元素，即，區(qū)域以及器具的類型?，F(xiàn)在，該程序顯示與所選區(qū)域的所選器具類型的器具列表有關(guān)的值，以及所選器具類型可用的自動測試列表有關(guān)的值。
用戶可以從上述列表中選擇一個或者多個元素，即，可以選擇可分別對其進行一次或者多次自動測試的一個或者多個器具。在每個列表上，每個選擇對應于在相關(guān)列表中所選擇元素的顯示。通過分別對區(qū)域、器具類型、器具標記以及測試標記進行的正確選擇，利用“LaunchTest”按鈕，可以開始進行測試。在對話窗口內(nèi)要求用戶對測試執(zhí)行進行確認。如果該響應是肯定的，則在標示有文字“執(zhí)行測試”的文本框內(nèi)顯示當前測試的標記和作為測試對象的器具的標記，而在圖形接口的另一個列表上顯示報告消息。
在啟動了自動測試后，按鈕“Launch Test”標記變成“End Test”，這樣可以隨時停止該自動測試。停止該測試后，該按鈕標記再變回“Launch Test”狀態(tài)。還可以單獨執(zhí)行單個命令。附件A1至A4上的相應報告文件示出自動測試背景的例子。該測試被稱為“路線(進路)上的道岔”。在該測試過程中，首先，在相對于路線本身所預期的相對位置上鎖定所覆蓋的路線的道岔。然后，通過多次命令它，測試背景檢驗該路線不阻塞，直到所有道岔開放。應該注意，完成測試提供了一系列不屬于本發(fā)明的內(nèi)容而且為了簡潔起見未加引用。
參考圖1，根據(jù)本發(fā)明的設備可以結(jié)合另一個被稱為布爾驗證設備或檢驗器使用。
在這種情況下，它是硬件/軟件設備，即，計算機或者個人計算機，它甚至可以就是根據(jù)本發(fā)明的設備的計算機，其中加載用于對控制與命令邏輯程序進行檢驗的程序，即，布爾方程的檢驗器。檢驗程序可以是根據(jù)相異性原理(diversity principle)運行類型的。特別是，布爾檢驗器可以包括比較器，該比較器對根據(jù)本發(fā)明的設備的測試步驟中的命令與控制邏輯程序與不同于該測試步驟中的、利用生成裝置產(chǎn)生的另一個控制與命令邏輯程序進行比較。既可以將兩個控制與命令邏輯程序的布爾方程組進行比較，又可以將對這兩個程序進行模擬測試獲得的結(jié)果進行比較。
這樣，該程序甚至可以模擬操作單元，即，站場器具，則借助布爾檢驗器，可以對站場器具、區(qū)域或站場進行類似的相異性測試。
根據(jù)優(yōu)選類型的檢驗器，該檢驗器由獨立的程序構(gòu)成，該程序在根據(jù)本發(fā)明的設備的計算機上執(zhí)行，或在另外不同的計算機上執(zhí)行。該程序并行執(zhí)行布爾方程組的測試，該布爾方程組構(gòu)成了用于該檢驗的控制與命令邏輯程序。在這種情況下，通過根據(jù)上述的鐵路裝備模擬，用于控制和命令該鐵路裝備的同樣的邏輯程序用于通過兩個不相交的程序(disjoint program)的雙檢驗測試，并且，在兩個不相交的和并行的檢驗測試中，對在控制與命令邏輯程序控制下獲得的模擬裝備的行為進行比較，如果不相同，則生成錯誤文件或告警文件。
根據(jù)本發(fā)明的其它特征，對于構(gòu)成用于控制和命令鐵路裝備的邏輯程序的方程組中的每個布爾方程，可以顯示作為所顯示方程一部分的乘積項的列表以及對應于所顯示的方程的電路。圖23和24示出用于選擇方程的窗口和用于顯示對應于一個所述方程的電路的窗口。利用按鈕，或者利用鼠標，可以激活相應電路的選擇和打開操作。
根據(jù)本發(fā)明的又一個特征，該設備包括用于設計和產(chǎn)生器具的或者操作單元的布爾模擬器的程序，使得可以產(chǎn)生具有新行為的新器具。
器具可以包括基本部件，即，用于模擬基本功能的部件；以及復雜部件，即，在具有更精細結(jié)構(gòu)的器具模擬器的范圍內(nèi)運行的一組基本部件。
利用現(xiàn)有部件或器件(crate)的列表建立或者選擇基本部件。生成窗口的基本部件與圖9所述的基本相同。顯然，在圖9中，它是已經(jīng)產(chǎn)生的或者將近產(chǎn)生的部件。與已經(jīng)說明的內(nèi)容相同，產(chǎn)生狀態(tài)表，在其中定義輸入變量、輸出變量、控制變量以及注釋?？梢园凑諏φ嬷当硖峁┑姆绞较嗤姆绞竭x擇變量值，而且提供的功能也類似。圖9的左側(cè)示出的自動機(基本上與用于產(chǎn)生器具模擬器的自動機相同)是馬爾科夫自動機，其中利用根據(jù)對較長狀態(tài)(longer state)所做的描述計算的距離，由沿水平線繪制的圓環(huán)表示各狀態(tài)。利用圓環(huán)右側(cè)的變量給出狀態(tài)的描述，狀態(tài)由局部變量別名構(gòu)成，設定“假”條件的變量通過其上的橫線標記示出。與此相對，利用從初始狀態(tài)到終結(jié)狀態(tài)的弧線示出狀態(tài)轉(zhuǎn)換，而利用相應轉(zhuǎn)換弧線上的箭頭示出狀態(tài)轉(zhuǎn)換的方向。通過將鼠標光標移動到轉(zhuǎn)換弧線的箭頭上，自動顯示作為一個或者多個輸入、控制以及輸出變量組的轉(zhuǎn)換條件。根據(jù)已經(jīng)設置的配置選擇，以不同的方式給出圓環(huán)和弧線的顏色。
可以將按這樣的方式定義的單個基本部件組合在一起或者關(guān)聯(lián)在一起形成復雜部件，其中彼此之間通過接口變量(interfacing variable)或者輸入輸出內(nèi)部變量的指示將各基本部件接合在一起。
還可以顯示器具模擬器的結(jié)構(gòu)的方框圖，如圖25所示。
根據(jù)前面公開的內(nèi)容和由圖1得出的結(jié)果可以看出，還可以提供根據(jù)本發(fā)明的設備，作為在該系統(tǒng)內(nèi)始終存在的用于控制和命令作為其它非重要節(jié)點的裝備的設備，既可以按安全模式激活該裝備，以周期性地檢驗控制與命令邏輯程序，也可以作為后備單元，或者甚至作為這樣的設備，當通過刪除或者添加站場、區(qū)域或者路旁器具來修改系統(tǒng)時，用于修改和更新控制與命令邏輯程序。
關(guān)于根據(jù)本發(fā)明的設備，顯然，它可以應用于在結(jié)構(gòu)上與所描述的鐵路裝備類似的任何裝備，而且如站場裝備或裝備區(qū)域、操作單元以及路旁器具這樣的術(shù)語是類似術(shù)語。
權(quán)利要求
1.一種用于檢驗邏輯軟件引擎的設備，該邏輯軟件引擎用于控制和命令裝備，特別是鐵路裝備，特別是站場裝備，其至少包括具有至少一個中央處理單元和至少一個存儲器、用于加載和執(zhí)行程序的計算機邏輯引擎，用于命令裝備，特別是站場裝備，為了其執(zhí)行，被加載或可加載到所述存儲器內(nèi)，其中裝備包括多個被稱作路旁器具的操作單元，用于致動和/或檢測和/或測量和/或發(fā)信，提供這些單元用于接收命令信號并發(fā)送關(guān)于操作條件的控制信號，而且，根據(jù)該裝備本身的操作協(xié)議，該邏輯軟件引擎讀取操作單元給出的用于致動和/或檢測和/或測量和/或發(fā)信的控制信號，并且它處理所述操作單元的命令信號，其特征在于，在計算機存儲器內(nèi)，加載或者可以加載要由控制及命令邏輯程序來控制和命令的裝備軟件模擬程序，而且該計算機本身可執(zhí)行它，該模擬程序精確再現(xiàn)裝備結(jié)構(gòu)和設置在所述裝備內(nèi)的操作單元的操作模式。
2.根據(jù)權(quán)利要求1所述的設備，其特征在于，模擬裝備結(jié)構(gòu)和與其關(guān)聯(lián)的操作單元，例如用于檢測是否存在火車的跟蹤電路、道岔致動器、發(fā)信致動器和其他不同的單元，該模擬通過布爾算法被表示成模擬程序，單義定義與所述算法相關(guān)聯(lián)的變量，以表示幾個操作單元的各種狀態(tài)或者操作條件的控制信號以及用于轉(zhuǎn)換和/或保持所述幾個操作單元的狀態(tài)或操作條件的命令信號。
3.根據(jù)權(quán)利要求1或2所述的設備，其特征在于，提供裝置，用于顯示在控制及命令邏輯程序的控制下的裝備行為的圖像，作為與各種操作單元單義關(guān)聯(lián)的報告文件形式的變量列表，在其中列出各種操作單元和相關(guān)聯(lián)的狀態(tài)或命令變量。
4.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，該模擬程序包括裝置，用于設置裝備的啟動操作條件和/或甚至裝備的操作單元的異常設置情況，以檢驗該裝備對這些條件的反應。
5.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，操作單元的和/或裝備結(jié)構(gòu)元素的和/或該裝備的區(qū)域或各區(qū)域的和/或整個裝備的虛擬圖像與每個裝備操作單元和/或每個重要結(jié)構(gòu)元素和/或該裝備的至少一個或者多個區(qū)域和/或整個裝備單義關(guān)聯(lián)，其中圖像利用加載的或者可以加載的和/或者該設備的計算機可執(zhí)行的圖形程序產(chǎn)生，而且其中虛擬圖像與用于模擬操作單元或者裝備結(jié)構(gòu)元素或者該裝備的區(qū)域或各區(qū)域或者整個裝備的邏輯程序單義相關(guān)，用于產(chǎn)生每個操作單元的和/或每個區(qū)域的和/或該裝備的虛擬圖像的圖形程序要產(chǎn)生操作單元的、區(qū)域的或整個裝備的幾個圖形外觀條件，它們中的每個分別與和操作單元的或者區(qū)域的或者裝備的操作條件有關(guān)的變量的預定值單義相關(guān)，和/或者與用于轉(zhuǎn)換或者保持操作單元的或者該區(qū)域的或者該裝備的操作狀態(tài)的命令變量的預定值單義相關(guān)。
6.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，控制及命令邏輯程序的操作還并行地或者擇一地利用等效命令硬件邏輯的行為來表示，該等效命令硬件邏輯由中繼網(wǎng)構(gòu)成，提供用于模擬中繼操作的程序和用于模擬中繼網(wǎng)操作的程序以及用于表示與每個中繼模擬程序單義關(guān)聯(lián)的并與中繼網(wǎng)圖形表示程序單義關(guān)聯(lián)的各中繼的圖形程序。
7.根據(jù)權(quán)利要求6所述的設備，其特征在于，利用布爾型邏輯程序模擬每個中繼，利用狀態(tài)變量或者命令變量表示各中繼的和/或轉(zhuǎn)換命令的單個狀態(tài)條件，而圖形程序使幾個中繼圖形外觀與利用所述狀態(tài)變量或命令變量設定的值單義關(guān)聯(lián)。
8.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，它具有裝置，用于編排和配置對應于該裝備的所要求的或者正確的操作或狀態(tài)條件連同預定操作狀況的虛擬操作單元的圖像和/或狀態(tài)及命令變量列表，通過提供與自動檢驗裝置一起用于直接可視地檢驗校正操作的裝置，對先前編排的名義圖像和所要求的狀態(tài)及命令變量的名義表或名義列表與在控制及命令邏輯操作期間利用站場裝備虛擬模型實際處理的圖像和狀態(tài)及命令變量進行比較，如果不相同，則發(fā)送錯誤消息。
9.根據(jù)權(quán)利要求8所述的設備，其特征在于，其具有裝置，用于圖形地和/或解析地顯示已設定不正確條件的操作單元或各單元以及相應狀態(tài)或命令變量或者各變量。
10.根據(jù)權(quán)利要求8或9所述的設備，其特征在于，該自動檢驗裝置還分析中繼網(wǎng)的模擬表示裝置，指出哪個中繼或者哪些中繼在正確條件下未轉(zhuǎn)換以及相應的轉(zhuǎn)換狀態(tài)或命令變量。
11.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，它提供自動裝置，根據(jù)在利用裝備或網(wǎng)絡中繼虛擬模型構(gòu)造的相應命令邏輯電路中的虛擬操作單元或者中繼存在狀態(tài)或命令錯誤時用戶對手動修改的狀態(tài)或命令變量進行的可能校正，該自動裝置校正控制及命令邏輯程序。
12.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，利用修改裝置，既可以對狀態(tài)或命令變量的報告文件執(zhí)行字母數(shù)字型的修改干預，又可以對那些對應于所述操作單元的或者所述中繼的狀態(tài)的操作單元或者中繼的外觀執(zhí)行圖形類型的修改干預，而提供分析與解釋裝置，它用于分析手動設置的狀態(tài)變量值或者命令變量值，以校正錯誤值，用于分析控制及命令邏輯程序，并且在出現(xiàn)控制及命令邏輯程序先前產(chǎn)生錯誤的操作條件時，用于修改代碼以在正確狀態(tài)條件下轉(zhuǎn)換操作單元或者中繼。
13.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，它包括裝置，用于把用來產(chǎn)生或者發(fā)現(xiàn)虛擬站場裝備各區(qū)域的操作單元及裝備結(jié)構(gòu)元素和具有在幾個站場裝備內(nèi)再現(xiàn)的典型裝備結(jié)構(gòu)的控制及命令邏輯程序的相應部分相關(guān)聯(lián)，以便在具有同樣站場區(qū)域的新站場裝備內(nèi)加載并重用布爾模擬程序、圖形顯示程序以及控制及命令邏輯程序的各部分。
14.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，其具有裝置，根據(jù)用于產(chǎn)生控制及命令邏輯程序的程序的相異性，連接或者接合驗證與確認裝置，例如所謂布爾算法檢驗器。
15.根據(jù)權(quán)利要求14所述的設備，其特征在于，該布爾檢驗器包括附加程序，該附加程序用于產(chǎn)生在布爾檢驗器內(nèi)產(chǎn)生的或存儲的控制及命令邏輯程序，該附加的控制及命令邏輯程序通過與在通過裝備模擬的測試步驟期間的裝置不同的裝置來產(chǎn)生，以及裝置，用于將在布爾檢驗器內(nèi)產(chǎn)生的或者存儲的該附加的控制及命令邏輯程序與通過裝備模擬的測試步驟期間的控制及命令邏輯程序進行比較以通知這兩個控制及命令邏輯程序之間的相同性。
16.根據(jù)權(quán)利要求15所述的設備，其特征在于，該比較發(fā)生在布爾檢驗器內(nèi)產(chǎn)生的或者存儲的控制及命令邏輯程序的布爾方程組以及通過裝備模擬的測試步驟期間的控制及命令邏輯程序的布爾方程組。
17.根據(jù)權(quán)利要求15或16所述的設備，其特征在于，利用測試步驟期間的控制及命令邏輯程序的裝備模擬以及在布爾檢驗器裝置內(nèi)產(chǎn)生的或者存儲的附加控制及命令邏輯程序的裝備模擬，根據(jù)文本報告進行該比較，提供該布爾檢驗器裝置是為了既從數(shù)字的觀點又從圖形的觀點出發(fā)，對操作單元和虛擬中繼網(wǎng)的中繼的命令和狀態(tài)變量進行比較。
18.根據(jù)權(quán)利要求17所述的設備，其特征在于，它包括裝置，用于以組合方式顯示利用該兩個控制及命令邏輯程序獲得的裝備狀態(tài)條件的圖形圖像。
19.根據(jù)權(quán)利要求18所述的設備，其特征在于，它包括裝置，用于根據(jù)該兩個控制及命令邏輯程序，以重疊方式顯示裝備布局圖像，其中通過重疊裝備狀態(tài)條件圖像，可以按有關(guān)可視的方式在圖形上使可能的差別醒目。
20.根據(jù)上述權(quán)利要求15至19中的一個或多個所述的設備，其特征在于，順序執(zhí)行對布爾方程組和對具有虛擬裝備的控制及命令邏輯程序的測試報告文件的兩種比較模式，第一比較的結(jié)果用于識別其中已經(jīng)通知了差別的操作單元和/或裝備區(qū)域和/或布爾方程，而且必須對它進行第二比較步驟。
21.根據(jù)權(quán)利要求20所述的設備，其特征在于，首先進行與利用該兩個控制及命令邏輯程序獲得的裝備條件有關(guān)的比較，因此，根據(jù)布爾方程組，可以識別比較動作局限在該程序的哪些部分上，以確定校正該程序或者進行調(diào)試的可能動作。
22.根據(jù)上述權(quán)利要求15至21中的一個或多個所述的設備，其特征在于，根據(jù)相異性，布爾檢驗器甚至還分析用于模擬單個操作單元和/或裝備區(qū)域和/或裝備的邏輯程序和/或者用于模擬各中繼或者中繼網(wǎng)的邏輯程序，基于相異性，甚至將生成程序的這種檢驗動作擴展到利用圖形表示操作單元或中繼的程序。
23.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，它包括網(wǎng)絡接口，而且它可以構(gòu)成鐵路裝備的非重要節(jié)點，用于快速修改控制及命令邏輯程序并實際確認該控制及命令邏輯程序，例如，在通過刪除或者添加裝備元素的結(jié)構(gòu)修改的情況。
24.根據(jù)權(quán)利要求23所述的設備，其特征在于，所述設備或者是實際站場裝備的校正操作的診斷工具，或者是其監(jiān)管工具，或者是二者的結(jié)合，它設置了在利用實際裝備設定的狀態(tài)條件與利用模擬裝備設定的狀態(tài)條件之間進行比較的比較器。
25.根據(jù)權(quán)利要求23或24所述的設備，其特征在于，它是在對實際裝備進行緊急干預之前，模擬該緊急干預的設備，在緊急事件中，它可以模擬該裝備的幾種干預或者命令的可能性，以在可能的選擇中對該裝備本身執(zhí)行最佳選擇方案。
26.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，它包括利用用于執(zhí)行模擬功能的工具，其用戶接口是微軟公司W(wǎng)indows程序所使用類型的用戶接口，因此，其包括操作窗口，具有功能按鈕、快捷選擇菜單和所述接口的其他典型功能，顯然，除了使用鼠標和其他點擊裝置來選擇和輸入命令，也可用鍵盤輸入數(shù)值數(shù)字、字母數(shù)字數(shù)據(jù)和/或者數(shù)字或字母數(shù)字命令，例如可建立或者修改操作單元和/或各中繼或裝備結(jié)構(gòu)其它部分的圖形圖像。
27.根據(jù)上述權(quán)利要求中的一個或多個所述的設備，其特征在于，它提供裝置，用于設置裝備的或者異常情況的特定操作條件，并用于參考幾個運行環(huán)境檢驗裝備的反應。
28.根據(jù)權(quán)利要求27所述的設備，其特征在于，專門提供手動設置裝置，在啟動執(zhí)行控制及命令邏輯程序的循環(huán)時，對幾個操作單元施加特定狀態(tài)條件，通過進行適當安排，該裝置甚至還可以提供其中一個或者多個操作單元在異常方式下不工作或者工作的條件。
29.一種用于檢驗軟件邏輯引擎的方法，該軟件邏輯引擎用于控制和命令諸如鐵路裝備的裝備，特別是站場裝備，其至少包括具有至少一個中央處理單元和至少一個存儲器、用于加載和執(zhí)行程序的計算機邏輯引擎，用于命令裝備，特別是站場裝備，為了其執(zhí)行，被加載或可加載到所述存儲器內(nèi)，該裝備包括多個被稱作路旁器具的操作單元，用于致動和/或檢測和/或測量和/或發(fā)信，提供這些單元用于接收命令信號并發(fā)送關(guān)于操作條件的控制信號，而且，根據(jù)該系統(tǒng)本身的操作協(xié)議，該邏輯軟件引擎讀取操作單元給出的用于致動和/或檢測和/或測量和/或發(fā)信的控制信號，并且它處理所述操作單元的命令信號，其特征在于，在計算機存儲器內(nèi)，加載或者可以加載要由控制及命令邏輯程序來控制和命令的裝備軟件模擬程序，而且該計算機本身可執(zhí)行它，該模擬程序精確再現(xiàn)裝備結(jié)構(gòu)和設置在所述裝備內(nèi)的操作單元的操作模式。
30.根據(jù)權(quán)利要求29所述的方法，其特征在于，模擬裝備結(jié)構(gòu)和與其關(guān)聯(lián)的操作單元，例如用于通知是否存在火車的跟蹤電路、道岔致動器、發(fā)信致動器和其他不同的單元，該模擬通過布爾算法被表示成模擬程序，單義定義與所述算法相關(guān)聯(lián)的變量，以表示各操作單元的各種狀態(tài)或者操作條件下的控制信號以及用于轉(zhuǎn)換和/或保持所述幾個操作單元的狀態(tài)或操作條件的命令信號。
31.根據(jù)權(quán)利要求29或30所述的方法，其特征在于，顯示在控制及命令邏輯程序控制下的虛擬裝備行為的圖像，利用作為報告文件的與各種操作單元單義關(guān)聯(lián)的變量列表，在其中列出各種操作單元和相關(guān)聯(lián)的狀態(tài)或命令變量。
32.根據(jù)上述權(quán)利要求29至31中的一個或多個所述的方法，其特征在于，它提供用戶設置的裝備的啟動操作條件和/或甚至裝備的操作單元的異常設置情況的設置，以對照這些條件檢驗該裝備的反應。
33.根據(jù)上述權(quán)利要求29至32中的一個或多個所述的設備，其特征在于，操作單元的和/或裝備結(jié)構(gòu)元素的虛擬圖像與每個裝備操作單元和/或每個有關(guān)結(jié)構(gòu)元素單義關(guān)聯(lián)，該圖像利用加載的或者可以加載的和/或者該設備的計算機可執(zhí)行的圖形程序產(chǎn)生，而且該虛擬圖像與用于模擬操作單元或者裝備結(jié)構(gòu)元素的邏輯程序單義相關(guān)，用于產(chǎn)生每個操作單元的虛擬圖像的圖形程序要產(chǎn)生操作單元的幾個圖形外觀條件，它們中的每個分別與和操作單元的操作條件有關(guān)的變量的預定值單義相關(guān)，和/或者與操作單元本身的操作狀態(tài)的轉(zhuǎn)換或保持命令變量的預定值單義相關(guān)。
34.根據(jù)權(quán)利要求33所述的方法，其特征在于，控制及命令邏輯程序的操作還并行地或者擇一地利用等效命令硬件邏輯各成份的行為來表現(xiàn)，該等效命令硬件邏輯由中繼網(wǎng)構(gòu)成，對該中繼網(wǎng)設置中繼操作的模擬程序和中繼網(wǎng)操作的模擬程序以及用于表示與每個中繼模擬程序和中繼網(wǎng)圖形表示程序單義關(guān)聯(lián)的各中繼的圖形程序。
35.根據(jù)權(quán)利要求34所述的方法，其特征在于，利用布爾型邏輯程序模擬每個中繼，利用狀態(tài)變量或者命令變量表示各中繼的和/或轉(zhuǎn)換命令的單個狀態(tài)條件，而圖形程序使幾個中繼圖形外觀與利用所述狀態(tài)或命令變量設定的值單義關(guān)聯(lián)。
36.根據(jù)上述權(quán)利要求中的一個或多個所述的方法，其特征在于，根據(jù)兩種模式，即，以用于顯示由程序產(chǎn)生的操作單元的模擬邏輯程序所處理的狀態(tài)變量值的報告文件的形式，以及以操作單元的操作條件的圖形表示的形式，來執(zhí)行裝備的功能行為的顯示，以便可以詳細檢驗裝備的操作單元，因此，其操作模式既是解析的方式又是實際操作條件的直觀方式。
37.根據(jù)上述權(quán)利要求中的一個或多個所述的方法，其特征在于，它提供裝置，用于設置裝備的或者異常情況的特定操作條件并用于參考幾個運行環(huán)境檢驗裝備反應。
38.根據(jù)權(quán)利要求37所述的方法，其特征在于，可以通過在啟動執(zhí)行控制及命令邏輯程序的循環(huán)時對幾個操作單元專門施加特定狀態(tài)條件來執(zhí)行各設置，通過進行適當編排，甚至可以提供其中一個或者多個操作單元在異常方式下不工作或者工作的條件。
39.根據(jù)權(quán)利要求37所述的方法，其特征在于，它編排和配置對應于該裝備的所要求的或者正確的操作或狀態(tài)條件連同預定操作狀況的虛擬操作單元的圖像和/或者狀態(tài)和命令變量列表，并根據(jù)對先前編排的名義圖像和所要求的狀態(tài)變量和命令變量的名義表或名義列表與在控制及命令邏輯操作期間利用站場裝備虛擬模型實際處理的圖像和狀態(tài)變量及命令變量進行的比較，直接可視地檢驗校正操作并自動進行檢驗，如果不相同，則發(fā)送錯誤消息。
40.根據(jù)權(quán)利要求39所述的方法，其特征在于，該自動檢驗利用圖形和/或解析方式顯示已設定不正確條件的操作單元以及相應的狀態(tài)或命令變量或者各變量，和/或者利用圖形和/或解析方式顯示所模擬的中繼網(wǎng)的狀態(tài)變量。
41.根據(jù)上述權(quán)利要求9至40中的一個或多個所述的方法，其特征在于，它提供自動工具，根據(jù)在利用中繼網(wǎng)絡虛擬模型構(gòu)造的相應命令邏輯電路中的虛擬操作單元或者中繼存在狀態(tài)或者命令錯誤時用戶對手動修改的狀態(tài)變量和命令變量進行的可能校正，該自動工具校正控制及命令邏輯程序。
42.根據(jù)權(quán)利要求41所述的方法，其特征在于，它既可以對狀態(tài)變量或命令變量的報告文件執(zhí)行字母數(shù)字類型的修改干預，或者可以對相應于所述操作單元或所述中繼的狀態(tài)的操作單元或中繼的外觀執(zhí)行圖形類型的修改干預，校正程序解釋所述數(shù)據(jù)，該校正程序分析手動設置的狀態(tài)變量值或者命令變量值，以校正這些錯誤，而且該校正程序分析控制及命令邏輯程序，在出現(xiàn)控制及命令邏輯程序先前已產(chǎn)生錯誤時，該校正程序修改顏色，以在正確狀態(tài)條件下，以同樣的操作條件，轉(zhuǎn)換操作單元或者中繼。
43.根據(jù)上述權(quán)利要求中的一個或多個所述的方法，其特征在于，它讀取虛擬站場裝備的各區(qū)域以及具有在各種站場裝備內(nèi)再現(xiàn)的典型裝備結(jié)構(gòu)的控制及命令邏輯程序的相應部分，以便在具有同樣站場區(qū)域的新站場裝備內(nèi)加載并重用的布爾模擬程序、圖形顯示程序以及控制及命令邏輯程序的各部分。
44.根據(jù)上述權(quán)利要求中的一個或多個所述的方法，其特征在于，在測試步驟期間，通過布爾檢驗器利用相異性原理產(chǎn)生的、或者在其內(nèi)存儲的利用相異性原理產(chǎn)生的控制及命令邏輯程序，利用裝備模擬器對控制及命令邏輯程序進行擇一的或者并行的檢驗，并且，將測試步驟期間利用虛擬裝備模擬的控制及命令邏輯程序與利用相異性判據(jù)產(chǎn)生的控制及命令邏輯程序進行比較。
45.根據(jù)權(quán)利要求44所述的方法，其特征在于，它提供另外的程序，用于生成通過裝備模擬的測試的控制及命令邏輯程序?qū)ο?，根?jù)與在采用虛擬裝備進行測試期間所利用的用于產(chǎn)生控制及命令邏輯程序的代碼不同的代碼，該生成程序運行，布爾檢驗器將這兩個控制及命令邏輯程序進行比較，以識別布爾方程組中的差別。
46.根據(jù)權(quán)利要求44所述的方法，其特征在于，除此之外，或者作為一種替換，通過虛擬裝備，將檢驗器產(chǎn)生的或者在其中存儲的控制及命令邏輯程序用于測試步驟，對利用兩個控制及命令邏輯程序獲得的結(jié)果進行比較。
47.根據(jù)上述權(quán)利要求44或46中的一個或多個所述的方法，其特征在于，既可以按變量比較表的方式，又可以按圖形比較方式，顯示根據(jù)相異性判據(jù)產(chǎn)生的該兩個控制及命令邏輯程序的操作差別和/或者對應于這兩個布爾方程組的兩個中繼網(wǎng)的操作差別，分別使在變量比較和圖形比較中互相不同的變量和圖形狀態(tài)醒目。
48.根據(jù)權(quán)利要求47所述的方法，其特征在于，它提供利用該兩個控制及命令邏輯程序得到的裝備狀態(tài)條件的圖形圖像重疊，利用圖形方法使裝備狀態(tài)條件的圖像重疊中的可能差別醒目。
49.根據(jù)上述權(quán)利要求44至48中的一個或多個所述的方法，其特征在于，它擇一地或者順序地執(zhí)行兩種比較模式，在布爾方程組上比較兩個控制及命令邏輯程序，以及在所模擬的虛擬裝備上執(zhí)行的測試結(jié)果上比較兩個控制及命令邏輯程序，還可以改變這兩種不同比較模式的序列順序。
50.根據(jù)權(quán)利要求49所述的方法，其特征在于，它提供下面的比較步驟首先，對由兩個控制及命令邏輯程序獲得的裝備條件進行比較；根據(jù)所述比較，識別后續(xù)比較動作可以局限于該程序的哪個部分；僅對導致在第一比較步驟中發(fā)現(xiàn)的功能差異的各方程執(zhí)行有關(guān)兩個控制及命令邏輯程序的布爾方程的比較；因此，執(zhí)行其可能的校正動作，或者在所識別的對應于裝備的不同行為的所述布爾方程上進行調(diào)試查詢(錯誤檢測)。
51.根據(jù)上述權(quán)利要求44至50中的一個或多個所述的方法，其特征在于，與根據(jù)不同生成代碼所產(chǎn)生程序比較的動作，還對用于模擬個別操作單元和裝備結(jié)構(gòu)的邏輯程序以及用于模擬各中繼和中繼網(wǎng)的邏輯程序執(zhí)行，并且，這種檢驗動作還可擴展到操作單元的或中繼的圖形表示程序。
52.根據(jù)上述權(quán)利要求44至51中的一個或多個所述的方法，其特征在于，它包括用于驗證控制及命令邏輯程序的并行裝置，其具有對構(gòu)成該控制及命令邏輯程序的同一個布爾方程組執(zhí)行并行測試的另外獨立程序，以執(zhí)行通過鐵路裝備模擬的雙測試，將在兩個獨立的并行檢驗測試中的、在控制及命令邏輯程序的控制下獲得的所模擬裝備的行為進行比較，而且如果存在差別，則產(chǎn)生告警文件或者錯誤文件。
53.根據(jù)上述權(quán)利要求44至52中的一個或多個所述的方法，其特征在于，它包括步驟，用于連接到各設備或遠程網(wǎng)絡，以命令來自遠程工作站的測試功能，和/或執(zhí)行作為鐵路裝備的非重要節(jié)點功能的替換功能。
54.根據(jù)權(quán)利要求53所述的方法，其特征在于，對于進行了結(jié)構(gòu)修改的裝備，它用于進行修改，以更新控制及命令邏輯程序，并用于進行其虛擬功能測試。
55.根據(jù)權(quán)利要求51至54所述的方法，其特征在于，其用于，通過在實際裝備設定的狀態(tài)條件與所模擬裝備設定的狀態(tài)條件進行比較，監(jiān)管或者診斷實際站場裝備的校正操作。
56.根據(jù)上述權(quán)利要求50至55中的一個或多個所述的方法，其特征在于，它用作虛擬緊急模擬器，能夠干預或者命令實際裝備，以在可能的選擇中僅對該裝備本身執(zhí)行最佳選擇方案。
57.根據(jù)上述權(quán)利要求29至55中的一個或多個所述的方法，其特征在于，它包括用于執(zhí)行模擬功能的程序，其用戶接口是微軟公司的Windows程序型的用戶接口，因此，其包括操作窗口，具有功能按鈕、快捷選擇菜單和所述接口的其他典型功能，顯然，除了使用鼠標和其他點擊裝置來選擇和輸入命令，也可用鍵盤輸入數(shù)值數(shù)字、字母數(shù)字數(shù)據(jù)和/或者數(shù)字或字母數(shù)字命令，例如可建立或者修改操作單元和/或各中繼或裝備結(jié)構(gòu)其它部分的圖形圖像。
58.一種計算機程序，用于驗證邏輯程序，該邏輯程序用于利用所模擬的鐵路裝備上的應用程序來控制和命令裝備，特別是鐵路裝備，提供該計算機程序，以執(zhí)行根據(jù)上述權(quán)利要求29至57中的一個或多個的方法步驟，或者將該計算機程序加載到計算機上，以構(gòu)成根據(jù)上述權(quán)利要求1至28中的一個或多個所述的設備。
全文摘要
用于檢驗邏輯軟件引擎的設備和方法，該邏輯軟件引擎用于命令鐵路裝備，特別是站場裝備，該裝備至少包括具有至少一個中央處理單元和至少一個存儲器、用于加載和執(zhí)行程序的計算機邏輯引擎，用于命令裝備，特別是站場裝備，為了其執(zhí)行，被加載或可加載到所述存儲器內(nèi)，該裝備包括多個稱作路旁器具的操作單元，用于致動和/或檢測和/或測量和/或發(fā)信，提供這些單元以接收命令信號并發(fā)送關(guān)于操作條件的控制信號，而且根據(jù)該裝備本身的操作協(xié)議，該邏輯軟件引擎讀取用于致動和/或檢測和/或測量和/或發(fā)信的操作單元給出的控制信號，并且它的處理所述操作單元的命令信號。根據(jù)本發(fā)明，在計算機存儲器內(nèi)，加載或者可以加載裝備的軟件模擬程序，而且計算機本身可以執(zhí)行該軟件模擬程序，必須利用控制及命令邏輯程序來控制和命令的該裝備軟件模擬程序，而且該模擬程序精確再現(xiàn)裝備結(jié)構(gòu)和設置在所述裝備內(nèi)的操作單元的操作模式。
文檔編號B61L27/00GK1703703SQ200380100946
公開日2005年11月30日 申請日期2003年10月16日 優(yōu)先權(quán)日2002年11月14日
發(fā)明者弗朗切斯科·特拉蒙塔納 申請人:阿爾斯通鐵路公開有限公司