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

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

繼電電路中，箭頭向上的含義為常態(tài)吸起，箭頭向下表示常態(tài)落下。

鎖閉繼電器（SJ）：反映進(jìn)路的鎖閉與解鎖狀態(tài)。

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

繼電器的供電要求一般應(yīng)該供電滿足吸起值的要求。

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

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

6502繼電器電路是符合故障安全設(shè)計(jì)的。

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