论文部分内容阅读
对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果,提出基于静态分析技术的C51语言软件资源访问冲突分析方法,并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题,也可以推广到其他处理器.
This paper summarizes the common access conflicts of three kinds of interrupt resources in spacecraft C51 language software.According to the comparison results of the current software resource conflict analysis methods, this paper proposes a method to analyze access conflicts of C51 language software resources based on static analysis technology, The situation is given a specific analysis of the process.This method can solve a variety of C51 language software interrupt resource access conflicts can also be extended to other processors.