论文部分内容阅读
为满足民用无人机飞行控制系统的高可靠性、实时性等要求,解决传统的设计方法缺乏对系统非功能属性描述的问题,研究并扩展AADL语言(体系结构分析与设计语言),将其应用于民用无人机飞行控制系统建模与分析。通过完成对飞控系统模型的堆栈、数据延迟和调度分析,验证使用AADL对关键安全嵌入式实时系统建模与分析,可减小后期系统发生错误的概率,提高系统可靠性及研发效率。
In order to meet the requirements of high reliability and real-time of UAV flight control system, the traditional design method is lack of the problem of describing the non-functional attributes of the system. The AADL language (architecture analysis and design language) is studied and expanded, Application in Civil UAV Flight Control System Modeling and Analysis. By completing the stack, data delay and scheduling analysis of flight control system model and validating the modeling and analysis of key security embedded real-time system using AADL, the probability of error in the latter system can be reduced and the system reliability and development efficiency can be improved.