【摘要】 在资源受限的嵌入式系统中,为了降低嵌入式软件最大堆栈深度(Worst-Case-StackDepth,WCSD)的检测误差,从而确定系统内存容量,通过详细分析堆栈使用原因和中断类型,建立中断调度模型,提出基于遗传算法的WCSD动态检测方法以更加准确地指导嵌入式硬件设计和软件开发。基于嵌入式软件全数字仿真平台完成实验,对该模型和方法加以验证。实验结果表明该方法可测得较准确的软件堆栈深度上限,有助于降低内存开销和提高系统的可信度。更多还原

【Abstract】 To lessen the measurement error of software’s Worst-Case-Stack Depth(WCSD)and determine the system’s memory requirement in resource-constrained embedded systems,an interrupt schedule model is constructed and a dynamic approach of embedded software WCSD test based on Genetic Algorithm(GA)is proposed to guide hardware design and software development efficiently.In addition,an experiment is conducted on an embedded software digital simulation platform;its results show that the model and approach can give a more accurate WCSD value,and can be conducive to reduce the total memory cost and improve reliability of the embedded software.更多还原