Design And Implementation Of Interrupt Bugs Analysis Tool In Safety-critical Software

Aerospace system software belongs to the Safety-critical software which usuallyuses the embedded real-time operating system as the platform, there are highrequirements to the software of real-time, reliability and efficiency, at the same time,and it’s not allowed to have any security and hidden danger there. How to get the highefficient and reliable software testing method to detection and eliminate various defectswhich existing in the safety-critical software as soon as possible is the focus in the fieldof software testing.Interrupt program for the synchronization, real-time processing, and handlingemergencies to provide more efficient and convenient solution, so the interrupt programis indispensable in the embedded system development process.The background of this paper is the interrupt program test which is used inimportant system. The paper deeply studied the TI’s C6X series chip interruptsprogramming methods、 COFF format file parse and real-time interrupt routine test. Itadopts a way of static analysis to design and complete the safety-critical softwareinterrupts defects analysis tool especially proposes the interrupt real-time test modulemethod. This tool can detect the interrupt system resource conflicts and interruptfunctions to respond to real-time and other debugs by analyzing the combination ofsource code and the target file. The experimental results proved that the tool improvedthe efficiency of safe-critical software interrupt debugs test vastly.