作者:杨雨婷; 张建伟; 王泊涵; 柯文俊飞行控制系统体系结构分析与设计语言属性集扩展堆栈分析建模
摘要:为满足民用无人机飞行控制系统的高可靠性、实时性等要求,解决传统的设计方法缺乏对系统非功能属性描述的问题,研究并扩展AADL语言(体系结构分析与设计语言),将其应用于民用无人机飞行控制系统建模与分析。通过完成对飞控系统模型的堆栈、数据延迟和调度分析,验证使用AADL对关键安全嵌入式实时系统建模与分析,可减小后期系统发生错误的概率,提高系统可靠性及研发效率。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社