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

作     者：杨雨婷 张建伟 王泊涵 柯文俊 YANG Yu-ting;ZHANG Jian-wei;WANG Bo-han;KE Wen-jun

作者机构：中国航天科工集团第二研究院706所北京100854 

基　　金：国防基础科研计划基金项目(JCKY2016603C008) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2017年第38卷第10期

页      码：2703-2711页

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

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.16208/j.issn1000-7024.2017.10.020

馆 藏 号：203273057...