张建伟
- 作品数:2 被引量:7H指数:2
- 供职机构:中国航天科工集团公司更多>>
- 发文基金:国防基础科研计划更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于AADL的民用无人机飞控软件时间/堆栈分析被引量:4
- 2017年
- 为满足民用无人机飞行控制系统的高可靠性、实时性等要求,解决传统的设计方法缺乏对系统非功能属性描述的问题,研究并扩展AADL语言(体系结构分析与设计语言),将其应用于民用无人机飞行控制系统建模与分析。通过完成对飞控系统模型的堆栈、数据延迟和调度分析,验证使用AADL对关键安全嵌入式实时系统建模与分析,可减小后期系统发生错误的概率,提高系统可靠性及研发效率。
- 杨雨婷张建伟王泊涵柯文俊
- 关键词:飞行控制系统
- 改进的实时操作系统内存分配性能测试模型被引量:3
- 2009年
- 针对实时操作系统内存分配的性能,分析了一个现有的测试模型,提出了模型中存在的问题,并给出了改进方法。改进后的模型比原模型可以产生更多的内存碎片,这样可以更充分地反映内存碎片对内存分配性能的影响。改进后的模型也更符合真实环境下的内存分配规律,且考虑了内存分配失败的情况对内存分配整体性能的影响。最后通过实验结果表明了改进方法的有效性和正确性。
- 裴宝庆叶东升张建伟
- 关键词:实时操作系统内存分配内存碎片