基于AADL的民用无人机飞控软件时间/堆栈分析

为满足民用无人机飞行控制系统的高可靠性、实时性等要求,解决传统的设计方法缺乏对系统非功能属性描述的问题,研究并扩展AADL语言(体系结构分析与设计语言),将其应用于民用无人机飞行控制系统建模与分析。通过完成对飞控系统模型的堆栈、数据延迟和调度分析,验证使用AADL对关键安全嵌入式实时系统建模与分析,可减小后期系统发生错误的概率,提高系统可靠性及研发效率。

嵌入式软件堆栈使用分析方法研究

嵌入式软件堆栈使用分析是高安全性嵌入式软件开发工作中的一项重要任务,用于评估和优化嵌入式软件的内存使用情况。通过对堆栈使用情况的分析,开发人员可以确定软件运行期间所需的最大栈空间大小,以避免堆栈溢出等问题。鉴于此,首先研究堆栈的相关概念和工作原理,然后探讨嵌入式软件堆栈使用分析的目的和相关技术,最后结合现有技术提供了一种嵌入式软件堆栈使用分析方法,旨在为高安全性嵌入式软件开展堆栈使用分析工作提供参考。

一种用于分析MCS-51目标码堆栈深度的方法

在嵌入式软件中,针对目标码的堆栈分析是堆栈检查的常用手段.提出了一种用于MCS-51系列处理器目标码的堆栈深度分析方法,该方法可分析最坏情况下的堆栈深度,并考虑了不同优先级下中断服务程序对堆栈的影响.利用该方法可开发出分析MCS-51目标码的堆栈分析工具,其分析结果对堆栈安全检查和优化具有参考意义.