軟件的安全性研究的內(nèi)容包括軟件安全性驗證和確認及軟件安全性評估。

進站信號點亮雙黃燈時，要求檢查第2燈先點亮后，再點亮第1燈。

無極繼電器對輸入的電流的方向沒有要求。

聯(lián)鎖軟件的進路控制邏輯可以模擬6502電氣集中十五條網(wǎng)絡(luò)線的設(shè)計思路。

進路與軌道區(qū)段的聯(lián)鎖關(guān)系，除了區(qū)段屬于進路中的區(qū)段外，還有不是進路中的區(qū)段但存在侵限關(guān)系的區(qū)段。

二乘二取二計算機聯(lián)鎖系統(tǒng)中每一系采用雙處理器進行二取二表決運算。

雙機熱備系統(tǒng)的基本思想是“單機保證安全，雙機提高可靠性”。

方向組合中主要有方向繼電器，用于區(qū)分本咽喉進路的性質(zhì)和運行方向，每一咽喉共用一套。

電路中繼電器通常呈現(xiàn)的狀態(tài)，稱為定位或常態(tài)。

進路選排功能模塊要檢查進路處于未鎖閉狀態(tài)。