| 航空电子安全关键系统BUFFER空间分析 |
| |
| 引用本文： | 殷锋社,汤小明. 航空电子安全关键系统BUFFER空间分析[J]. 计算机与数字工程, 2013, 41(5) |
| |
| 作者姓名： | 殷锋社 汤小明 |
| |
| 作者单位： | 1. 陕西工业职业技术学院 咸阳 712000
2. 中航工业西安飞行自动控制研究所 西安 710075 |
| |
| 摘 要： | BUFFER空间分析是安全关键系统验证的重要组成部分,涉及到系统排队理论.通过对一般Buffer队列和周期任务Buffer进行了分析,并对BUFFER空间实例进行了验证,可缩短Buffer消息等待时问,增大Buffer共享的最大消息数,为航空电子安全关键系统BUFFER空间分析提供了可供参考的依据.
|
| 关 键 词： | BUFFER空间分析 安全关键系统 系统排队 消息等待时间 最大消息数 |
Analysis of Aviation Electronic Safety Critical System Stack Space |
| |
| YIN Fengshe , TANG Xiaoming. Analysis of Aviation Electronic Safety Critical System Stack Space[J]. Computer and Digital Engineering, 2013, 41(5) |
| |
| Authors: | YIN Fengshe TANG Xiaoming |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
|
