聯(lián)鎖邏輯軟件在聯(lián)鎖計(jì)算機(jī)中執(zhí)行。

計(jì)算機(jī)聯(lián)鎖系統(tǒng)是是以計(jì)算機(jī)或微處理器實(shí)現(xiàn)聯(lián)鎖邏輯運(yùn)算功能的車站聯(lián)鎖控制系統(tǒng)。

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

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

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

雙機(jī)熱備技術(shù)屬于設(shè)備級的安全保障技術(shù)。

計(jì)算機(jī)聯(lián)鎖系統(tǒng)與外部接口要防止系統(tǒng)間混電的措施一般采用光電隔離技術(shù)。

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

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

進(jìn)路選擇繼電器（JXJ）：與進(jìn)路始端按鈕相對應(yīng)進(jìn)路選擇繼電器，檢查進(jìn)路在解鎖狀態(tài)。對應(yīng)終端按鈕，檢查進(jìn)路已全部選出。