航空电子安全关键系统BUFFER空间分析

• 作者: 殷锋社 汤小明
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: BUFFER空间分析 安全关键系统 系统排队 消息等待时间 最大消息数
• 年，卷（期）: 2013,（5）
• 所属期刊栏目: 信息处理与网络安全
• 页码范围: 775-776,850
• 页数: 3页
• 分类号: TP393
• 字数: 1310字
• 语种: 中文

摘要

BUFFER空间分析是安全关键系统验证的重要组成部分,涉及到系统排队理论.通过对一般Buffer队列和周期任务Buffer进行了分析,并对BUFFER空间实例进行了验证,可缩短Buffer消息等待时问,增大Buffer共享的最大消息数,为航空电子安全关键系统BUFFER空间分析提供了可供参考的依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	殷锋社		45	155	6.0	10.0
2	汤小明		7	7	2.0	2.0