| 航天器C51语言软件中断资源冲突分析方法 |
| |
| 引用本文： | 航天器C语言软件中断资源冲突分析方法.航天器C51语言软件中断资源冲突分析方法[J].空间控制技术与应用,2015,41(4):58-62. |
| |
| 作者姓名： | 航天器C语言软件中断资源冲突分析方法 |
| |
| 摘 要： | 对航天器C51语言软件中常见的3种中断资源访问冲突情况进行了归纳总结.由目前软件资源冲突分析方法的比较结果，提出基于静态分析技术的C51语言软件资源访问冲突分析方法，并针对上述情况给出了具体分析流程.该方法可以解决多种C51语言软件中断资源访问冲突问题，也可以推广到其他处理器.
|
| 关 键 词： | 航天器软件 C51语言 中断 资源冲突 静态分析 |
Interrupt Resource Conflict Analysis for Spacecraft C51 Language Software |
| |
| HOU,Cheng-Jie.Interrupt Resource Conflict Analysis for Spacecraft C51 Language Software[J].Aerospace Contrd and Application,2015,41(4):58-62. |
| |
| Authors: | HOU Cheng-Jie |
| |
| Abstract: | Three interrupt resource conflict instances of spacecraft software in C51 language are summarized. The existing methods of software resource conflict analysis are summarized and analyzed. Based on static analysis technique, a new resource conflict analysis method is advanced on C51 language software, and the solutions for above 3 instances are given. |
| |
| Keywords: | spacecraft software C51 language interrupt resource conflict static analysis |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《空间控制技术与应用》浏览原始摘要信息 |
| 点击此处可从《空间控制技术与应用》下载免费的PDF全文 |
