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

摘要

栈的分析是安全关键系统验证的重要组成部分,安全栈最大使用计算是栈分析的重要方式。为提高栈最大使用量,通过对中断抢占图、中断过程、函数FCOS_domain_get_id的栈及APEX接口栈进行了分析,提高了系统栈空间的可靠性,为航空电子安全关键系统栈空间分析提供了可供参考的依据。