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

摘要：

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

关键词：飞行控制系统、体系结构分析与设计语言、属性集扩展、堆栈分析、建模

所属期刊栏目：38

分类号：TP311.52(计算技术、计算机技术)

资助基金：国防基础科研计划基金项目JCKY2016603C008

在线出版日期：2017-12-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：2703-2711