摘要
BUFFER空间分析是安全关键系统验证的重要组成部分,涉及到系统排队理论。通过对一般Buffer队列和周期任务Buffer进行了分析,并对BUFFER空间实例进行了验证,可缩短Buffer消息等待时间,增大Buffer共享的最大消息数,为航空电子安全关键系统BUFFER空间分析提供了可供参考的依据。
Stack analysis is safety critical system validation is an important part of security stack,maximum use stack is an important way of calculation analysis.Based on interrupt preemption diagram,interrupt process,function and interface of APEX FCOS_domain_get_id stack stack is analyzed,and improve the system of stack space for avionics reliability,safety critical system stack space analysis can provide reference.
出处
《计算机与数字工程》
2013年第5期775-776,850,共3页
Computer & Digital Engineering
基金
航空基金(编号:20100718004)资助
