Research And Implementation Of Configurable And Automatic Fault Tolerance Conversion Tool Based On COTS DSP

In the field of aerospace applications,the Digital Signal Processor(DSP)has been widely used.However,a singal particle of high energy particle radiation generated by the space environment,severely affected the reliability and service life of the DSP.Therefore,in order to improve the reliability of spacecraft systems,fault-tolerant technology to expand the domestic and international research.By different implementations,fault-tolerant technologies can be classified into two main types,hardware-implemented technology and software-implemented technology.Although the hardware-implemented technology can effectively resist the impact of the high energy particle irradiation,but at the same time,it will introduce huge cost in power consumption and performance.Compared with the hardware-implemented technology,improving the reliability of Commercial Off-The-Shelf(COTS)DSP by using software fault tolerance technologies has obvious advantages in terms of performance,power consumption and cost.So it is important to promote the development of China's aerospace industry.Currently,the study for linear assembly language's software fault tolerance techniques of COTS DSP is less,and most stay on the algorithm research stage,not to convert the f fault tolerance automatically.Aiming at this problem,based on the COTS DSP linear assembly program,we design and implement a Configurable and Automatic Fault Tolerance Conversion Tool(CAFTCT).The Configurable and Automatic Fault Tolerance Conversion Tool to implement a linear assembly program analysis functions,it can obtain the instructions',the virtual registers' and basic blocks' information of linear assembly program.At the same time,also implements the fault-tolerant conversion function,according to the different fault-tolerant algorithm to convert the fault tolerance,in order to satisfy user requirements of performance constraints,the configured and optimized conversion process is designed.Configurable fault-tolerant convert is mainly based on users' demand for performance constraints,in the process of data flow convert,based on the life cycle of program variables and dependency of the static analysis method,selecting important variable to reinforce;In the process of control flow reinforcement,re-dividing the basic blocks,and selecting the preferable control flow reinforcement algorithm.We use the Fault Tolerance Automatic Conversion Tool to convert the COTS DSP image compression program.To verify the correctness of fault tolerance automatic conversion tool,by comparing the source application's and reinforcement program's performance results and the compression of image.In addition,the simulated fault injection experiments are used to verify the effectiveness of the reinforcement program.