基于ANBD碼的循環(huán)控制錯誤檢測算法

　　為確保安全苛求系統(tǒng)中程序執(zhí)行的正確性，針對程序循環(huán)控制中內(nèi)存未更新、循環(huán)提前結(jié)束和循環(huán)滯后結(jié)束的問題，提出一種基于含簽名和時間戳的算術(shù)（ ANBD）碼的循環(huán)控制錯誤檢測算法。該算法通過ANBD碼，將程序變量編碼為含簽名的碼字。通過校驗碼字簽名，檢測循環(huán)控制錯誤。運用ANBD碼中的時間標簽，可檢測內(nèi)存未更新錯誤。另外，在ANBD碼基礎上，通過采用在線語句塊簽名分配算法、語句塊簽名函數(shù)和變量簽名補償函數(shù)，檢測循環(huán)提前結(jié)束錯誤和循環(huán)滯后結(jié)束錯誤。該算法理論錯誤漏檢概率為1/A，其中A為編碼素數(shù)，選取97 - 10 993的素數(shù)進行錯誤漏檢概率測試，得到理論模型與測試結(jié)果的歸一化均方誤差（ NMSE）約為- 30 dB。測試結(jié)果表明，該算法可檢測循環(huán)控制中出現(xiàn)的各類錯誤，且編碼素數(shù)A接近2-32時，錯誤漏檢概率可達10-9，能夠滿足安全苛求系統(tǒng)的應用要求。