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

四線制道岔接口電路中要求表示電路有有防混線設(shè)計。

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

用來表示道岔的位置狀態(tài)的數(shù)據(jù)屬于動態(tài)數(shù)據(jù)。

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

雙機熱備系統(tǒng)的聯(lián)鎖主機雙套互為冷備。

道岔表示繼電器（DBJ/FBJ）：表明操縱時選擇道岔位置。

聯(lián)鎖表中的道岔欄，只寫進路中的約束道岔關(guān)系即可。

聯(lián)鎖技術(shù)是提高系統(tǒng)故障安全度的一種有效方法。

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