硬件的可靠性保障技術(shù)中的避錯(cuò)技術(shù)，其中質(zhì)量控制指的是老化實(shí)驗(yàn)和篩選。

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

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

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

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