基于delta碼的乘除法運(yùn)算錯(cuò)誤檢測改進(jìn)算法

　　為確保安全苛求系統(tǒng)中程序執(zhí)行的正確性，研究人員將差錯(cuò)控制理論用于對計(jì)算機(jī)指令進(jìn)行編碼，但由于編碼大多涉及模運(yùn)算，導(dǎo)致復(fù)雜度大量增加，應(yīng)用于實(shí)時(shí)系統(tǒng)有困難。針對復(fù)雜度問題對delta碼的乘除法運(yùn)算算法進(jìn)行改進(jìn)。算法在乘法運(yùn)算中引入冗余編碼及差異化思想，從而確保安全性；在除法運(yùn)算中引入逆元，將除法運(yùn)算轉(zhuǎn)化為低復(fù)雜度的乘法運(yùn)算，避免了模運(yùn)算帶來的開銷，降低了復(fù)雜度并提高了算法安全性，并對安全性進(jìn)行理論論證。理論分析表明：所提算法漏檢率可達(dá)2.3×10 -10。測試結(jié)果表明，所提算法的漏檢率與理論值相符，且復(fù)雜度是未編碼運(yùn)算6.4 -7.2倍，比原delta碼降低了7%~19%，在漏檢率與復(fù)雜度方面均滿足安全苛求系統(tǒng)的應(yīng)用要求。