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