基于ANBD碼的循環控制錯誤檢測算法

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