摘要
栈的分析是安全关键系统验证的重要组成部分,安全栈最大使用计算是栈分析的重要方式。为提高栈最大使用量,通过对中断抢占图、中断过程、函数FCOS_domain_get_id的栈及APEX接口栈进行了分析,提高了系统栈空间的可靠性,为航空电子安全关键系统栈空间分析提供了可供参考的依据。
Stack analysis is an important part of security stack of safety critical system validation, stack maximum using is a important way of calculation analysis. In order to improve the stack maximum usage, analyze to interrupt preemption di- agram,interrupt process, function of FCOS_domain_get_id stack and APEX interface,improved the reliability on system of stack space,provided reference for stack space analysis of safety critical system.
出处
《国外电子测量技术》
2013年第3期21-24,共4页
Foreign Electronic Measurement Technology
基金
航空基金(20100718004)资助项目
关键词
安全关键系统
安全栈
最大使用
栈空间
分析
Safety critical system ~ security stack
maximum use
stack space ~ analysis