Journal of Computer Applications ›› 2017, Vol. 37 ›› Issue (4): 975-979.

### Improved algorithm for multiplication and division error detection based on delta code

1. 1. College of Electronics and Information Engineering, Tongji University, Shanghai 201804, China;
2. College of Computer Engineering, Jiangsu University of Technology, Changzhou Jiangsu 213001, China
• Received:2016-09-22 Revised:2016-12-27 Online:2017-04-10 Published:2017-04-19
• Supported by:
This work is partially supported by the National Science and Technology Support Program (2015BAG13B01).

### 基于delta码的乘除法运算错误检测改进算法

1. 1. 同济大学 电子与信息工程学院, 上海 201804;
2. 江苏理工学院 计算机工程学院, 江苏 常州 213001
• 通讯作者: 臧海娟
• 作者简介:孙宗奇(1992-),男,辽宁大连人,硕士研究生,主要研究方向:可信计算;臧海娟(1965-),女,江苏常州人,副教授,博士,主要研究方向:网络安全、信息安全;张春花(1989-),女,山东莒县人,博士研究生,主要研究方向:信息安全、隐私保护;潘勇(1963-),男,浙江慈溪人,副教授,博士,主要研究方向:信息安全、可信计算。
• 基金资助:
国家科技支撑计划项目（2015BAG13B01）。

Abstract: In order to ensure the correctness of program execution in the safety critical system, the error control theory is used to encode the computer instructions, but the algorithm involves the modular operation, resulting in high additional complexity and difficulty to use in real-time systems. Aiming at reducing the additional complexity, delta code's multiplication and division algorithm was improved. The idea of redundancy encoding and differentiated ideology was introduced to ensure security, while the inverse element was introduced into division to transform division into multiplication, thus avoiding the overhead of the modular operation and reducing the additional complexity while improving the security of the algorithm. Theoretical analysis shows that the undetected error rate is proved to be 2.3*10-10. Simulation results show that the undetected error rate of the proposed algorithm is consistent with the theoretical value, and the complexity is 6.4-7.2 times of the original algorithm, but 7%-19% lower than original delta code. The proposed algorithm satisfies the requirements of safety critical application systems in terms of error detection rate and complexity.

CLC Number: